Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 2f7d77c in mainline for HelenOS.config


Ignore:
Timestamp:
2018-06-14T19:02:26Z (3 years ago)
Author:
Jiří Zárevúcky <jiri.zarevucky@…>
Branches:
master
Children:
587478b
Parents:
abf8bd8
git-author:
Jiří Zárevúcky <jiri.zarevucky@…> (2018-06-14 17:48:39)
git-committer:
Jiří Zárevúcky <jiri.zarevucky@…> (2018-06-14 19:02:26)
Message:

Add rudimentary support for undefined behavior sanitizer.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • HelenOS.config

    rabf8bd8 r2f7d77c  
    379379! CONFIG_DEBUG (y/n)
    380380
     381% Sanitize undefined behavior (userspace)
     382! CONFIG_UBSAN (n/y)
     383
     384% Sanitize undefined behavior (kernel)
     385! CONFIG_UBSAN_KERNEL (n/y)
     386
    381387% Deadlock detection support for spinlocks
    382388! [CONFIG_DEBUG=y&CONFIG_SMP=y] CONFIG_DEBUG_SPINLOCK (y/n)
Note: See TracChangeset for help on using the changeset viewer.