diff options
-rwxr-xr-x[-rw-r--r--] | scripts/test/scan-build.sh | 21 |
1 files changed, 12 insertions, 9 deletions
diff --git a/scripts/test/scan-build.sh b/scripts/test/scan-build.sh index 36e69e6d00..765297ee69 100644..100755 --- a/scripts/test/scan-build.sh +++ b/scripts/test/scan-build.sh @@ -5,6 +5,18 @@ # This script is used for running a bunch of clang scan-build checkers # on Tor. +CHECKERS="" + +scan-build \ + $CHECKERS \ + ./configure + +make clean + +scan-build \ + $CHECKERS \ + make -j5 -k + CHECKERS="\ -disable-checker deadcode.DeadStores \ -enable-checker alpha.core.CastSize \ @@ -25,15 +37,6 @@ CHECKERS="\ -enable-checker alpha.core.TestAfterDivZero \ " -scan-build \ - $CHECKERS \ - ./configure - -scan-build \ - $CHECKERS \ - make -j2 -k - - # This one gives a false positive on every strcmp. # -enable-checker alpha.core.PointerSub |