From 7fc0dc36d1a2b91f0eb0314387db367d75bb998c Mon Sep 17 00:00:00 2001
From: Paulo Matos <pmatos@linki.tools>
Date: Sat, 9 May 2020 23:00:10 +0200
Subject: [PATCH] Add precise annotations to improve scanbuild (#3170)

This enables `noreturn` attributes which should improve static analysis results.
---
 .github/workflows/scanbuild_static-analysis.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/scanbuild_static-analysis.yml b/.github/workflows/scanbuild_static-analysis.yml
index b0fef63006..5c4e149360 100644
--- a/.github/workflows/scanbuild_static-analysis.yml
+++ b/.github/workflows/scanbuild_static-analysis.yml
@@ -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