From: Ilia Shipitsin Date: Sat, 5 Jul 2025 15:18:42 +0000 (+0200) Subject: CI: set DEBUG_STRICT=2 for coverity scan X-Git-Tag: v3.3-dev3~38 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=198d422a312102e3081b504839e0586b38d2448d;p=thirdparty%2Fhaproxy.git CI: set DEBUG_STRICT=2 for coverity scan enabling DEBUG_STRICT=2 will enable BUG_ON_HOT() and help coverity in bug detection for the reference: https://github.com/haproxy/haproxy/issues/3008 --- diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml index bbea42eda..06df6eef1 100644 --- a/.github/workflows/coverity.yml +++ b/.github/workflows/coverity.yml @@ -38,7 +38,7 @@ jobs: - name: Build with Coverity build tool run: | export PATH=`pwd`/coverity_tool/bin:$PATH - cov-build --dir cov-int make CC=clang TARGET=linux-glibc USE_ZLIB=1 USE_PCRE2=1 USE_PCRE2_JIT=1 USE_LUA=1 USE_OPENSSL=1 USE_QUIC=1 USE_WURFL=1 WURFL_INC=addons/wurfl/dummy WURFL_LIB=addons/wurfl/dummy USE_DEVICEATLAS=1 DEVICEATLAS_SRC=addons/deviceatlas/dummy USE_51DEGREES=1 51DEGREES_SRC=addons/51degrees/dummy/pattern ADDLIB=\"-Wl,-rpath,$HOME/opt/lib/\" SSL_LIB=${HOME}/opt/lib SSL_INC=${HOME}/opt/include DEBUG+=-DDEBUG_STRICT=1 DEBUG+=-DDEBUG_USE_ABORT=1 + cov-build --dir cov-int make CC=clang TARGET=linux-glibc USE_ZLIB=1 USE_PCRE2=1 USE_PCRE2_JIT=1 USE_LUA=1 USE_OPENSSL=1 USE_QUIC=1 USE_WURFL=1 WURFL_INC=addons/wurfl/dummy WURFL_LIB=addons/wurfl/dummy USE_DEVICEATLAS=1 DEVICEATLAS_SRC=addons/deviceatlas/dummy USE_51DEGREES=1 51DEGREES_SRC=addons/51degrees/dummy/pattern ADDLIB=\"-Wl,-rpath,$HOME/opt/lib/\" SSL_LIB=${HOME}/opt/lib SSL_INC=${HOME}/opt/include DEBUG+=-DDEBUG_STRICT=2 DEBUG+=-DDEBUG_USE_ABORT=1 - name: Submit build result to Coverity Scan run: | tar czvf cov.tar.gz cov-int