38 lines
526 B
Text
38 lines
526 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
|
||
|
|
|
||
|
|
# These tests give false positives, compiler typically has
|
||
|
|
# better warnings for these.
|
||
|
|
-noret
|
||
|
|
-noeffect
|
||
|
|
-usedef
|
||
|
|
|