From 1795bcb924c2eb633f2f4022bf80d2080ffd922b Mon Sep 17 00:00:00 2001 From: Paulo Matos Date: Wed, 3 Apr 2019 18:35:30 +0200 Subject: [PATCH] Move -DMZ_DECLARE_NORETURN to CPPFLAGS With this change, the generation of C files in xform will carry the declaration as well. This means that we will have less false positives on the files. --- .gitlab-ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 505ce09578..5f465a4cf0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -59,7 +59,7 @@ scan-build:racket: script: - export PATH=$INSTALL_DIR/bin:$PATH - export LD_LIBRARY_PATH=$INSTALL_DIR/bin:$LD_LIBRARY_PATH - - scan-build -o scan-report_cc -analyzer-config 'crosscheck-with-z3=true' make PKGS="" CPUS=5 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g -DMZ_DECLARE_NORETURN" --disable-strip' + - scan-build -o scan-report_cc -analyzer-config 'crosscheck-with-z3=true' make PKGS="" CPUS=5 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g" CPPFLAGS="-DMZ_DECLARE_NORETURN" --disable-strip' dependencies: - prepare-cache:llvm artifacts: @@ -81,7 +81,7 @@ scan-build:racketcs: script: - export PATH=$INSTALL_DIR/bin:$PATH - export LD_LIBRARY_PATH=$INSTALL_DIR/bin:$LD_LIBRARY_PATH - - scan-build -o scan-report-cs_cc -analyzer-config 'crosscheck-with-z3=true' make PKGS="" CPUS=5 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g -DMZ_DECLARE_NORETURN" --disable-strip' cs + - scan-build -o scan-report-cs_cc -analyzer-config 'crosscheck-with-z3=true' make PKGS="" CPUS=5 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g" CPPFLAGS="-DMZ_DECLARE_NORETURN" --disable-strip' cs dependencies: - prepare-cache:llvm artifacts: