diff options
Diffstat (limited to 'tests/splint/splint.rc')
| -rw-r--r-- | tests/splint/splint.rc | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/tests/splint/splint.rc b/tests/splint/splint.rc new file mode 100644 index 0000000..421f567 --- /dev/null +++ b/tests/splint/splint.rc @@ -0,0 +1,37 @@ ++checks ++partial ++matchanyintegral ++strictlib +-isoreserved # to be fixed in 0.3 +-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 + +# These tests give false positives, compiler typically has +# better warnings for these. +-noret +-noeffect +-usedef + |