From: Maria Matejka <mq@ucw.cz>
Date: Fri, 16 Aug 2019 19:15:49 +0000 (+0200)
Subject: Static check: Don't report dead code
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=64bad8e71b5cbc7127b747f38c7ebfb7a904c6b5;p=thirdparty%2Fbird.git

Static check: Don't report dead code
---

diff --git a/Makefile.in b/Makefile.in
index ccefb3cd6..b90038d22 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -159,8 +159,9 @@ ifeq ($(MAKECMDGOALS),)
 -include $(shell find $(objdir) -name "*.d")
 endif
 
-STATIC_CHECKERS := nullability.NullableDereferenced nullability.NullablePassedToNonnull nullability.NullableReturnedFromNonnull optin.portability.UnixAPI valist.CopyToSelf valist.Uninitialized valist.Unterminated
-STATIC_SCAN_FLAGS := --force-analyze-debug-code -o $(objdir)/static-scan/ $(addprefix -enable-checker ,$(STATIC_CHECKERS))
+STATIC_CHECKERS_ENABLE := nullability.NullableDereferenced nullability.NullablePassedToNonnull nullability.NullableReturnedFromNonnull optin.portability.UnixAPI valist.CopyToSelf valist.Uninitialized valist.Unterminated
+STATIC_CHECKERS_DISABLE := deadcode.DeadStores
+STATIC_SCAN_FLAGS := --force-analyze-debug-code -o $(objdir)/static-scan/ $(addprefix -enable-checker ,$(STATIC_CHECKERS_ENABLE)) $(addprefix -disable-checker ,$(STATIC_CHECKERS_DISABLE))
 
 static-scan:
 	$(MAKE) clean