suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add precise annotations to improve scanbuild (#3170)

Browse Source 
This enables `noreturn` attributes which should improve static analysis results.
This commit is contained in:
Paulo Matos 2020-05-09 23:00:10 +02:00 committed by GitHub
parent b476f39f67
commit 7fc0dc36d1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
.github/workflows/scanbuild_static-analysis.yml vendored
View File

@ -25,6 +25,7 @@ jobs:
run: >
./configure
CFLAGS="-O0 -g"
CPPFLAGS="-DMZ_PRECISE_RETURN_SPEC"
--disable-strip
--prefix=${{ runner.temp }}/racketcgc
--enable-werror
@ -77,6 +78,7 @@ jobs:
run: >
./configure
CFLAGS="-O0 -g"
CPPFLAGS="-DMZ_PRECISE_RETURN_SPEC"
--disable-strip
--enable-racket=/usr/bin/racket
--enable-werror
@ -133,6 +135,7 @@ jobs:
run: >
./configure
CFLAGS="-O0 -g"
CPPFLAGS="-DMZ_PRECISE_RETURN_SPEC"
--enable-racket=/usr/bin/racket
--enable-compress
--disable-docs