diff options
| author | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-10 10:24:19 +0000 |
|---|---|---|
| committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-10 10:24:19 +0000 |
| commit | 014976ee109e90dec11591118a4ab0d88c00118f (patch) | |
| tree | 7d53cbc697223e7603430157cb1976f3573ac7e1 /test/rt/testbuild/pclint/waivers.lnt | |
| parent | e801a6adb4c12d337963398fa63867aae98f7630 (diff) | |
| download | ChibiOS-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/rt/testbuild/pclint/waivers.lnt')
| -rw-r--r-- | test/rt/testbuild/pclint/waivers.lnt | 18 |
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
|