From 32e25cbca210a359b09768537b6f443fe90a3070 Mon Sep 17 00:00:00 2001
From: Romain Forlot <romain.forlot@iot.bzh>
Date: Tue, 20 Jun 2017 10:24:05 +0000
Subject: Separation Generator to a dedicated repo

Change-Id: Id94831651c3266861435272a6e36c7884bef2c45
Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
---
 CAN-binder/libs/nanopb/tests/splint/SConscript | 16 -----------
 CAN-binder/libs/nanopb/tests/splint/splint.rc  | 37 --------------------------
 2 files changed, 53 deletions(-)
 delete mode 100644 CAN-binder/libs/nanopb/tests/splint/SConscript
 delete mode 100644 CAN-binder/libs/nanopb/tests/splint/splint.rc

(limited to 'CAN-binder/libs/nanopb/tests/splint')

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
-
-- 
cgit 1.2.3-korg