]> git.ipfire.org Git - thirdparty/bird.git/commitdiff
Static check: Don't report dead code
authorMaria Matejka <mq@ucw.cz>
Fri, 16 Aug 2019 19:15:49 +0000 (21:15 +0200)
committerMaria Matejka <mq@ucw.cz>
Sat, 17 Aug 2019 11:50:40 +0000 (13:50 +0200)
Makefile.in

index ccefb3cd653e05edbb052c77c0026a5e919081a7..b90038d22ac017ab318b836da6bc732d4d0c1747 100644 (file)
@@ -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