diff options
| author | Lukáš Zaoral <lzaoral@redhat.com> | 2022-01-22 21:27:43 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-09 20:45:11 +0100 |
| commit | 77980cd8b25d6bc97f4f019fb2491acb27e5fc76 (patch) | |
| tree | 83c2eeba6a733806a8fe0b3c0b4fc69f0cade238 | |
| parent | 034fd4486e753a3802e85e86c8baaac5b57c6ef6 (diff) | |
| download | klee-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.
| -rw-r--r-- | scripts/build/v-sanitizer.inc | 2 |
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[@]}") |