summaryrefslogtreecommitdiff
path: root/tools/ci/jobs/gcc6_sanitize.sh
diff options
context:
space:
mode:
Diffstat (limited to 'tools/ci/jobs/gcc6_sanitize.sh')
-rwxr-xr-xtools/ci/jobs/gcc6_sanitize.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ci/jobs/gcc6_sanitize.sh b/tools/ci/jobs/gcc6_sanitize.sh
index db805c2e6..a0f02ed7d 100755
--- a/tools/ci/jobs/gcc6_sanitize.sh
+++ b/tools/ci/jobs/gcc6_sanitize.sh
@@ -15,6 +15,7 @@ export LOGFILE=gcc6.log
source ./tools/ci/scripts/init.sh
export CXXFLAGS="$CXXFLAGS -pedantic -ggdb3 -O2 -pipe -Wstrict-aliasing=2 \
+-D_GLIBCXX_SANITIZE_VECTOR \
-Wstrict-overflow=1 -Wformat=1 -D_FORTIFY_SOURCE=2 \
-fsanitize=address -fsanitize=undefined \
-fsanitize=shift -fsanitize=integer-divide-by-zero -fsanitize=unreachable \