about summary refs log tree commit diff homepage
path: root/scripts
diff options
context:
space:
mode:
authorLukáš Zaoral <lzaoral@redhat.com>2022-01-22 21:27:43 +0100
committerCristian Cadar <c.cadar@imperial.ac.uk>2022-03-09 20:45:11 +0100
commit77980cd8b25d6bc97f4f019fb2491acb27e5fc76 (patch)
tree83c2eeba6a733806a8fe0b3c0b4fc69f0cade238 /scripts
parent034fd4486e753a3802e85e86c8baaac5b57c6ef6 (diff)
downloadklee-77980cd8b25d6bc97f4f019fb2491acb27e5fc76.tar.gz
CI: drop `-fsanitize=integer` from UBSAN flags
When combined with `-fsanitize=undefined`, this flag only enables extra checks
for unsigned integer overflow and (possibly bug-prone) implicit conversions
between integer types.  It was generating way too much noise (both for KLEE
and its dependencies) and the reported problems do not lead to an undefined
behaviour according to the C++ standard.
Diffstat (limited to 'scripts')
-rw-r--r--scripts/build/v-sanitizer.inc2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/v-sanitizer.inc b/scripts/build/v-sanitizer.inc
index 1224beb0..e92d6f69 100644
--- a/scripts/build/v-sanitizer.inc
+++ b/scripts/build/v-sanitizer.inc
@@ -70,7 +70,7 @@ setup_variables_sanitizer() {
     # Undefined Behaviour Sanitizer
     if [ "${sanitizer}" == "undefined" ]; then
       echo "Using UBSan"
-      flags=("-fsanitize=undefined" "-fno-omit-frame-pointer" "-g" "-fsanitize=integer")
+      flags=("-fsanitize=undefined" "-fno-omit-frame-pointer" "-g")
       SANITIZER_CXX_FLAGS+=("${flags[@]}")
       SANITIZER_C_FLAGS+=("${flags[@]}")
       SANITIZER_LD_FLAGS+=("${flags[@]}")