diff options
Diffstat (limited to 'tools/ci/jobs/gcc8_sanitize.sh')
| -rwxr-xr-x | tools/ci/jobs/gcc8_sanitize.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ci/jobs/gcc8_sanitize.sh b/tools/ci/jobs/gcc8_sanitize.sh index dca481380..2c9434e94 100755 --- a/tools/ci/jobs/gcc8_sanitize.sh +++ b/tools/ci/jobs/gcc8_sanitize.sh @@ -26,6 +26,7 @@ export CXXFLAGS="$CXXFLAGS -pedantic -ggdb3 -O2 -pipe -Wstrict-aliasing=2 \ -fsanitize=leak \ -fsanitize=shift-exponent -fsanitize=shift-base -fsanitize=bounds-strict \ -fsanitize-address-use-after-scope \ +-fsanitize=pointer-compare -fsanitize=pointer-subtract -fsanitize=builtin -fsanitize=pointer-overflow \ -std=gnu++2a -Wformat=1 \ -Wno-attributes -fno-omit-frame-pointer" |