From 64bad8e71b5cbc7127b747f38c7ebfb7a904c6b5 Mon Sep 17 00:00:00 2001 From: Maria Matejka Date: Fri, 16 Aug 2019 21:15:49 +0200 Subject: [PATCH] Static check: Don't report dead code --- Makefile.in | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile.in b/Makefile.in index ccefb3cd..b90038d2 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