CAN-binder/libs/nanopb/tests/splint/splint.rc

   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