diff options
Diffstat (limited to 'tools/ci/jobs/gcc6_sanitize.sh')
| -rwxr-xr-x | tools/ci/jobs/gcc6_sanitize.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ci/jobs/gcc6_sanitize.sh b/tools/ci/jobs/gcc6_sanitize.sh index c03f7d324..db805c2e6 100755 --- a/tools/ci/jobs/gcc6_sanitize.sh +++ b/tools/ci/jobs/gcc6_sanitize.sh @@ -14,7 +14,7 @@ export LOGFILE=gcc6.log source ./tools/ci/scripts/init.sh -export CXXFLAGS="-pedantic -ggdb3 -O2 -pipe -Wstrict-aliasing=2 \ +export CXXFLAGS="$CXXFLAGS -pedantic -ggdb3 -O2 -pipe -Wstrict-aliasing=2 \ -Wstrict-overflow=1 -Wformat=1 -D_FORTIFY_SOURCE=2 \ -fsanitize=address -fsanitize=undefined \ -fsanitize=shift -fsanitize=integer-divide-by-zero -fsanitize=unreachable \ @@ -24,7 +24,7 @@ export CXXFLAGS="-pedantic -ggdb3 -O2 -pipe -Wstrict-aliasing=2 \ -fsanitize=nonnull-attribute -fsanitize=returns-nonnull-attribute -fsanitize=bool \ -fsanitize=enum -fsanitize=vptr -fsanitize=bounds-strict \ -std=gnu++1z -Wformat=1 \ --Wno-attributes" +-Wno-attributes -fno-omit-frame-pointer" source ./tools/ci/flags/gcc6.sh |