]> git.ipfire.org Git - thirdparty/haproxy.git/commitdiff
CI: travis-ci: help Coverity to recognize abort()
authorIlya Shipitsin <chipitsine@gmail.com>
Sat, 12 Sep 2020 06:27:51 +0000 (11:27 +0500)
committerWilly Tarreau <w@1wt.eu>
Sat, 12 Sep 2020 11:11:31 +0000 (13:11 +0200)
generally haproxy uses (*(volatile int*)1=0) for abort. It is not recognized
by static analyzers, e.g. Coverity scan as abort, so fallback to abort() was
introduced in previous commit for code analysis purpose. Let us explicitely
use it for Coverity build job

.travis.yml

index ca867d967260979963dbd823beea7ae9fb2c1e59..8850850ecb4dca32cdcec9f41a21695f2df816a6 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 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"
     script:
       - |
         if [ ! -z ${COVERITY_SCAN_TOKEN+x} ]; then