tests/splint/splint.rc

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