• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1+checks
2+partial
3+matchanyintegral
4+strictlib
5-nullassign
6-predboolint
7-predboolptr
8+ptrnegate
9-switchloopbreak
10+ignoresigns
11-infloopsuncon
12-type
13
14# splint's memory checks don't quite work without annotations
15-mustfreeonly
16-compmempass
17-nullret
18-observertrans
19-statictrans
20-compdestroy
21-nullpass
22-nullstate
23-compdef
24-usereleased
25-temptrans
26-dependenttrans
27-kepttrans
28-branchstate
29-immediatetrans
30-mustfreefresh
31
32# These tests give false positives, compiler typically has
33# better warnings for these.
34-noret
35-noeffect
36-usedef
37
38