Commit a08853a2 authored by Maria Matejka's avatar Maria Matejka
Browse files

Static scanner and expensive debugging setup fix

parent 5f60d14e

Makefile.in

+1 −1
Original line number Diff line number Diff line
@@ -186,7 +186,7 @@ tests_run: $(tests_targets_ok) 


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_FLAGS := -o $(objdir)/static-scan/ $(addprefix -enable-checker ,$(STATIC_CHECKERS_ENABLE)) $(addprefix -disable-checker ,$(STATIC_CHECKERS_DISABLE))



static-scan:

	$(E)echo Running static code analysis

configure.ac

+1 −1

File changed.

Contains only whitespace changes.

CRA Git | Maintained and supported by SUSTech CRA and CCSE