diff options
| author |   Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2014-04-02 20:59:01 +0300 |
|---|---|---|
| committer | Petteri Aimonen <jpa@git.mail.kapsi.fi> | 2014-04-02 21:07:30 +0300 |
| commit | 99434724d0375280abe44944b0c39f45991f26df (patch) | |
| tree | 687d5e7a8771f09dacd08dfc433259bfb59a15f7 /tests/splint | |
| parent | 6c90e824c4e8f54c71645b63b1ea33b1e028cb97 (diff) | |
Fix splint warnings, add splint test case
Diffstat (limited to 'tests/splint')
| -rw-r--r-- | tests/splint/SConscript | 13 | ||||
| -rw-r--r-- | tests/splint/splint.rc | 36 |
2 files changed, 49 insertions, 0 deletions
diff --git a/tests/splint/SConscript b/tests/splint/SConscript new file mode 100644 index 00000000..c1432dde --- /dev/null +++ b/tests/splint/SConscript @@ -0,0 +1,13 @@ +# Check the nanopb core using splint + +Import('env') + +p = env.WhereIs('splint') + +if p: + env.Command('pb_decode.splint', '$NANOPB/pb_decode.c', + 'splint -f splint/splint.rc $SOURCE 2> $TARGET') + + env.Command('pb_encode.splint', '$NANOPB/pb_encode.c', + 'splint -f splint/splint.rc $SOURCE 2> $TARGET') + diff --git a/tests/splint/splint.rc b/tests/splint/splint.rc new file mode 100644 index 00000000..c77e210f --- /dev/null +++ b/tests/splint/splint.rc @@ -0,0 +1,36 @@ ++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 + +# These tests give false positives, compiler typically has +# better warnings for these. +-noret +-noeffect +-usedef + |