]> git.ipfire.org Git - thirdparty/haproxy.git/commitdiff
CI: travis-ci: help Coverity to detect BUG_ON() as a real stop
authorIlya Shipitsin <chipitsine@gmail.com>
Thu, 8 Oct 2020 22:05:11 +0000 (03:05 +0500)
committerWilly Tarreau <w@1wt.eu>
Fri, 9 Oct 2020 07:55:53 +0000 (09:55 +0200)
Let's add DEBUG_STRICT=1 to coverity build definition. Hopefully,
it will resolve 1 coverity issue.

.travis.yml

index a8aaccba531468de7f877926cdd59e32afdf93ff..e73d40c3303ebcf77f77b1cc3c5223e8f93bf643 100644 (file)
@@ -55,7 +55,7 @@ matrix:
   - os: linux
     if: type == cron
     compiler: clang
-    env: TARGET=linux-glibc COVERITY_SCAN_PROJECT_NAME="Haproxy" COVERITY_SCAN_BRANCH_PATTERN="*" COVERITY_SCAN_NOTIFICATION_EMAIL="chipitsine@gmail.com" COVERITY_SCAN_BUILD_COMMAND="make CC=clang DEFINE=-DDEBUG_USE_ABORT TARGET=$TARGET $FLAGS 51DEGREES_SRC=$FIFTYONEDEGREES_SRC"
+    env: TARGET=linux-glibc COVERITY_SCAN_PROJECT_NAME="Haproxy" COVERITY_SCAN_BRANCH_PATTERN="*" COVERITY_SCAN_NOTIFICATION_EMAIL="chipitsine@gmail.com" COVERITY_SCAN_BUILD_COMMAND="make CC=clang DEFINE=-DDEBUG_USE_ABORT TARGET=$TARGET $FLAGS 51DEGREES_SRC=$FIFTYONEDEGREES_SRC DEBUG_STRICT=1"
     script:
       - |
         if [ ! -z ${COVERITY_SCAN_TOKEN+x} ]; then