aboutsummaryrefslogtreecommitdiffstats
path: root/CAN-binder/libs/nanopb/tests/splint/splint.rc
diff options
context:
space:
mode:
authorRomain Forlot <romain.forlot@iot.bzh>2017-05-02 18:29:37 +0200
committerRomain Forlot <romain.forlot@iot.bzh>2017-05-02 18:29:37 +0200
commitb9e1b4435a406a8a27c078ea05dee1240e51704a (patch)
tree3bd5e75d001d0c1d57710c47375af5c8ba84c26c /CAN-binder/libs/nanopb/tests/splint/splint.rc
parent0242c26c2f5dc96387bca7efb118364c800f4ee7 (diff)
Added external libraries from openXC CMake files.
Now libraries are cleanly included and built. Change-Id: Iaa85639578b55b2da8357bc438426403e2cca8de Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to 'CAN-binder/libs/nanopb/tests/splint/splint.rc')
-rw-r--r--CAN-binder/libs/nanopb/tests/splint/splint.rc37
1 files changed, 0 insertions, 37 deletions
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
-