commit 7aaadf5583b5a5be2433fae596e9838343f4c94d
author Ilya Shipitsin <chipitsine@gmail.com> Fri Oct 09 03:05:11 2020 +0500
committer Willy Tarreau <w@1wt.eu> Fri Oct 09 09:55:53 2020 +0200
tree 87f197d64cb639b1561a4f2935d9aa35a03a6c27
parent 0fdfe4179e33b2c2a30e8868c8ed6d7e5f88f72d

CI: travis-ci: help Coverity to detect BUG_ON() as a real stop

Let's add DEBUG_STRICT=1 to coverity build definition. Hopefully,
it will resolve 1 coverity issue.

.travis.yml

diff --git a/.travis.yml b/.travis.yml
index a8aaccb..e73d40c 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -55,7 +55,7 @@
   - 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