1234567891011121314151617181920212223242526272829303132333435363738 |
- +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
|