splint.rc 538 B

1234567891011121314151617181920212223242526272829303132333435363738
  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. # splint's memory checks don't quite work without annotations
  14. -mustfreeonly
  15. -compmempass
  16. -nullret
  17. -observertrans
  18. -statictrans
  19. -compdestroy
  20. -nullpass
  21. -nullstate
  22. -compdef
  23. -usereleased
  24. -temptrans
  25. -dependenttrans
  26. -kepttrans
  27. -branchstate
  28. -immediatetrans
  29. -mustfreefresh
  30. -allimponly
  31. # These tests give false positives, compiler typically has
  32. # better warnings for these.
  33. -noret
  34. -noeffect
  35. -usedef