aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorGiovanni Di Sirio <gdisirio@gmail.com>2015-03-10 10:24:19 +0000
committerGiovanni Di Sirio <gdisirio@gmail.com>2015-03-10 10:24:19 +0000
commit014976ee109e90dec11591118a4ab0d88c00118f (patch)
tree7d53cbc697223e7603430157cb1976f3573ac7e1 /test
parente801a6adb4c12d337963398fa63867aae98f7630 (diff)
downloadChibiOS-014976ee109e90dec11591118a4ab0d88c00118f.tar.gz
ChibiOS-014976ee109e90dec11591118a4ab0d88c00118f.tar.bz2
ChibiOS-014976ee109e90dec11591118a4ab0d88c00118f.zip
Added strong type checks to the code rules.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@7746 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'test')
-rw-r--r--test/rt/testbuild/pclint/waivers.lnt18
1 files changed, 18 insertions, 0 deletions
diff --git a/test/rt/testbuild/pclint/waivers.lnt b/test/rt/testbuild/pclint/waivers.lnt
index 1acdaf818..03ccb7a09 100644
--- a/test/rt/testbuild/pclint/waivers.lnt
+++ b/test/rt/testbuild/pclint/waivers.lnt
@@ -7,6 +7,24 @@
+libh(stm32f4xx.h)
+libh(*_lld.h)
+/* Reinforcing type checking for some critical types even if not required by
+ MISRA.*/
+-strong(AJX, systime_t)
+-strong(AJX, rtcnt_t)
+-strong(AJX, rttime_t)
+-strong(AJX, syssts_t)
+-strong(AJX, msg_t)
+-strong(AJX, tmode_t)
+-strong(AJX, tstate_t)
+-strong(AJX, trefs_t)
+-strong(AJX, tslices_t)
+-strong(AJX, tprio_t)
+-strong(AJX, cnt_t)
+-strong(AJX, ucnt_t)
+-strong(AJX, eventid_t)
+-strong(AJX, eventmask_t)
+-strong(AJX, eventflags_t)
+
/* Permitting anonymous unions.*/
+fan