Try to make coverity see annotations in SBUFF_PARSE_*INT_DEF() (#4631)

I asked whether coverity sees annotations in invocations of
macro definitions containing annotations, and got the suggestion
to add the "--preprocess-first" option to the cov-build command,
and if it made no difference, submit a support case with more info.

diff --git a/.github/workflows/coverity.yml b/.github/workflows/coverity.yml
index d3d0c538e1da800204a0e6f6ba217aa93aaf666d..00e5db1b9c334ed8cdbc74608efa0f8439d81bf5 100644 (file)
--- a/.github/workflows/coverity.yml
+++ b/.github/workflows/coverity.yml
@@ -67,7 +67,7 @@ jobs:
           export PATH=`pwd`/coverity_tool/bin:$PATH
           ./configure -with-rlm-python-bin=/usr/bin/python2.7
           cov-configure --template --compiler clang --comptype clangcc
-          cov-build --dir cov-int make
+          cov-build --dir cov-int make --preprocess-first
 
       - name: Display build result
         run: |