diff options
Diffstat (limited to 'tools/ci/flags')
-rwxr-xr-x | tools/ci/flags/gccsnapshot.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/ci/flags/gccsnapshot.sh b/tools/ci/flags/gccsnapshot.sh index 72514c424..7c6542d50 100755 --- a/tools/ci/flags/gccsnapshot.sh +++ b/tools/ci/flags/gccsnapshot.sh @@ -194,6 +194,7 @@ export CXXFLAGS="${CXXFLAGS} -Wpragmas" # not for C++ #export CXXFLAGS="${CXXFLAGS} -Wproperty-assign-default" #export CXXFLAGS="${CXXFLAGS} -Wprotocol" +export CXXFLAGS="${CXXFLAGS} -Wpsabi" #export CXXFLAGS="${CXXFLAGS} -Wreal-q-constant" #export CXXFLAGS="${CXXFLAGS} -Wrealloc-lhs" #export CXXFLAGS="${CXXFLAGS} -Wrealloc-lhs-all" @@ -247,6 +248,7 @@ export CXXFLAGS="${CXXFLAGS} -Wswitch" export CXXFLAGS="${CXXFLAGS} -Wswitch-bool" export CXXFLAGS="${CXXFLAGS} -Wswitch-default" export CXXFLAGS="${CXXFLAGS} -Wswitch-enum" +export CXXFLAGS="${CXXFLAGS} -Wswitch-unreachable" export CXXFLAGS="${CXXFLAGS} -Wsync-nand" export CXXFLAGS="${CXXFLAGS} -Wsynth" # ignoring |