diff options
Diffstat (limited to 'coreconf')
| -rw-r--r-- | coreconf/sanitizers.py | 3 | ||||
| -rw-r--r-- | coreconf/sanitizers.sh | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/coreconf/sanitizers.py b/coreconf/sanitizers.py index a166715e2..48fd148c4 100644 --- a/coreconf/sanitizers.py +++ b/coreconf/sanitizers.py @@ -11,7 +11,8 @@ def main(): if sanitizer == "ubsan": if len(sys.argv) < 3: raise Exception('ubsan requires another argument.') - print('-fsanitize='+sys.argv[2]+' -fno-sanitize-recover=undefined ', end='') + print('-fsanitize='+sys.argv[2]+' -fno-sanitize-recover='+sys.argv[2] + ' ', end='') + print('-fno-sanitize=nonnull-attribute -fno-sanitize=enum ', end='') return if sanitizer == "asan": print('-fsanitize=address -fsanitize-address-use-after-scope ', end='') diff --git a/coreconf/sanitizers.sh b/coreconf/sanitizers.sh index 739f831c0..6d7b61773 100644 --- a/coreconf/sanitizers.sh +++ b/coreconf/sanitizers.sh @@ -53,7 +53,7 @@ enable_ubsan() if [ -n "$1" ]; then ubsan="$1" else - ubsan=bool,signed-integer-overflow,shift,vptr + ubsan=undefined,local-bounds fi enable_sanitizer ubsan "$ubsan" } |