From 38f518a7aa66494bc87a80fafb4ad3d57c57ef8d Mon Sep 17 00:00:00 2001 From: Paulo Matos Date: Fri, 22 Feb 2019 16:50:18 +0100 Subject: [PATCH] Define MZ_DECLARE_NORETURN to use noreturn attribute This helps the static analyzer understand which functions don't return, and therefore improves the static analysis results greatly. --- .gitlab-ci.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b62266ab66..e431fa17b6 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -29,7 +29,7 @@ envinfo: scan-build:racket: extends: .prepare:llvm script: - - scan-build-9 -o scan-report make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g" --disable-strip' in-place + - scan-build-9 -o scan-report make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g -DMZ_DECLARE_NORETURN" --disable-strip' in-place artifacts: paths: - scan-report/ @@ -37,7 +37,7 @@ scan-build:racket: scan-build:racket:crosscheck: extends: .prepare:llvm script: - - scan-build-9 -o scan-report_cc -analyzer-config 'crosscheck-with-z3=true' make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g" --disable-strip' in-place + - scan-build-9 -o scan-report_cc -analyzer-config 'crosscheck-with-z3=true' make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g -DMZ_DECLARE_NORETURN" --disable-strip' in-place artifacts: paths: - scan-report_cc/ @@ -45,7 +45,7 @@ scan-build:racket:crosscheck: scan-build:racketcs: extends: .prepare:llvm script: - - scan-build-9 -o scan-report-cs make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g" --disable-strip' cs + - scan-build-9 -o scan-report-cs make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g -DMZ_DECLARE_NORETURN" --disable-strip' cs artifacts: paths: - scan-report-cs/ @@ -53,7 +53,7 @@ scan-build:racketcs: scan-build:racketcs:crosscheck: extends: .prepare:llvm script: - - scan-build-9 -o scan-report-cs_cc -analyzer-config 'crosscheck-with-z3=true' make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g" --disable-strip' cs + - scan-build-9 -o scan-report-cs_cc -analyzer-config 'crosscheck-with-z3=true' make PKGS="" CPUS=2 CONFIGURE_ARGS_qq='CFLAGS="-O0 -g -DMZ_DECLARE_NORETURN" --disable-strip' cs artifacts: paths: - scan-report-cs_cc/