From dfad0881376d390611268e10e134dd0a9dcbea26 Mon Sep 17 00:00:00 2001 From: Dennis Jackson Date: Fri, 5 May 2023 09:19:27 +0000 Subject: Bug 1790763 - Enable default UBSan Checks. r=mt The two exceptions will require a bit of work to remediate. Differential Revision: https://phabricator.services.mozilla.com/D167650 --- coreconf/sanitizers.py | 3 ++- coreconf/sanitizers.sh | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) (limited to 'coreconf') 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" } -- cgit v1.2.1