pebble/third_party/nanopb/tests/splint/splint.rc
2025-01-27 11:38:16 -08:00

40 lines
590 B
Text

+checks
+partial
+matchanyintegral
+strictlib
-nullassign
-predboolint
-predboolptr
+ptrnegate
-switchloopbreak
+ignoresigns
-infloopsuncon
-type
# splint's memory checks don't quite work without annotations
-mustfreeonly
-compmempass
-nullret
-observertrans
-statictrans
-compdestroy
-nullpass
-nullstate
-compdef
-usereleased
-temptrans
-dependenttrans
-kepttrans
-branchstate
-immediatetrans
-mustfreefresh
-allimponly
# These tests give false positives, compiler typically has
# better warnings for these.
-noret
-noeffect
-usedef
# Splint doesn't support C11
-DPB_C99_STATIC_ASSERT