diff options
| author | Maria Matejka <mq@ucw.cz> | 2019-08-16 21:15:49 +0200 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2020-05-01 15:19:12 +0200 |
| commit | b7482209065a03c3186d74e5e4129539ce7a3ce4 (patch) | |
| tree | e3306c5a1559cd6663907c81f9cf52414768d20e /Makefile.in | |
| parent | 9e64ac4b7c23aa3b8b9149794c05305315cf31e5 (diff) | |
Static check: Don't report dead code
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in index cf94e352..2698e34d 100644 --- a/Makefile.in +++ b/Makefile.in @@ -184,8 +184,9 @@ check: tests tests_run tests: $(tests_targets) tests_run: $(tests_targets_ok) -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: $(E)echo Running static code analysis |