summaryrefslogtreecommitdiff
path: root/tools/ci/jobs/gcc7_sanitize.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ci/jobs/gcc7_sanitize.sh')
-rwxr-xr-xtools/ci/jobs/gcc7_sanitize.sh3
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/ci/jobs/gcc7_sanitize.sh b/tools/ci/jobs/gcc7_sanitize.sh
index a6445d90e..f442ed53d 100755
--- a/tools/ci/jobs/gcc7_sanitize.sh
+++ b/tools/ci/jobs/gcc7_sanitize.sh
@@ -23,9 +23,8 @@ export CXXFLAGS="$CXXFLAGS -pedantic -ggdb3 -O2 -pipe -Wstrict-aliasing=2 \
-fsanitize=object-size -fsanitize=float-divide-by-zero -fsanitize=float-cast-overflow \
-fsanitize=nonnull-attribute -fsanitize=returns-nonnull-attribute -fsanitize=bool \
-fsanitize=enum -fsanitize=vptr -fsanitize=bounds-strict \
--fsanitize=pointer-compare -fsanitize=pointer-subtract -fsanitize=leak \
+-fsanitize=leak \
-fsanitize=shift-exponent -fsanitize=shift-base -fsanitize=bounds-strict \
--fsanitize=pointer-overflow -fsanitize=builtin \
-fsanitize-address-use-after-scope \
-std=gnu++1z -Wformat=1 \
-Wno-attributes -fno-omit-frame-pointer"