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 /CAN-binder/libs/nanopb/tests/splint | |
| parent | 76c43dec62b2e21cd6446360c00d4fe6b437533f (diff) | |
Separation Generator to a dedicated repo
Change-Id: Id94831651c3266861435272a6e36c7884bef2c45
Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to 'CAN-binder/libs/nanopb/tests/splint')
| -rw-r--r-- | CAN-binder/libs/nanopb/tests/splint/SConscript | 16 | ||||
| -rw-r--r-- | CAN-binder/libs/nanopb/tests/splint/splint.rc | 37 |
2 files changed, 0 insertions, 53 deletions
diff --git a/CAN-binder/libs/nanopb/tests/splint/SConscript b/CAN-binder/libs/nanopb/tests/splint/SConscript deleted file mode 100644 index cd4b5b9d..00000000 --- a/CAN-binder/libs/nanopb/tests/splint/SConscript +++ /dev/null @@ -1,16 +0,0 @@ -# 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') - - env.Command('pb_common.splint', '$NANOPB/pb_common.c', - 'splint -f splint/splint.rc $SOURCE 2> $TARGET') - diff --git a/CAN-binder/libs/nanopb/tests/splint/splint.rc b/CAN-binder/libs/nanopb/tests/splint/splint.rc deleted file mode 100644 index e47d3c21..00000000 --- a/CAN-binder/libs/nanopb/tests/splint/splint.rc +++ /dev/null @@ -1,37 +0,0 @@ -+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 - |