mirror of
https://github.com/google/pebble.git
synced 2025-03-15 16:51:21 +00:00
40 lines
590 B
Text
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
|