diff options
| author |   Romain Forlot <romain.forlot@iot.bzh> | 2017-06-20 10:24:05 +0000 |
|---|---|---|
| committer | Romain Forlot <romain.forlot@iot.bzh> | 2017-06-20 10:24:05 +0000 |
| commit | 32e25cbca210a359b09768537b6f443fe90a3070 (patch) | |
| tree | 3309794c15d8a8f8e9c1c08cad072ee1378813ba /libs/nanopb/tests/splint/splint.rc | |
| parent | 76c43dec62b2e21cd6446360c00d4fe6b437533f (diff) | |
Separation Generator to a dedicated repo
Change-Id: Id94831651c3266861435272a6e36c7884bef2c45
Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to 'libs/nanopb/tests/splint/splint.rc')
| -rw-r--r-- | libs/nanopb/tests/splint/splint.rc | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/libs/nanopb/tests/splint/splint.rc b/libs/nanopb/tests/splint/splint.rc new file mode 100644 index 00000000..e47d3c21 --- /dev/null +++ b/libs/nanopb/tests/splint/splint.rc @@ -0,0 +1,37 @@ ++checks ++partial ++matchanyintegral ++strictlib +-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 +-mustfreefresh + +# These tests give false positives, compiler typically has +# better warnings for these. +-noret +-noeffect +-usedef + |