From 014976ee109e90dec11591118a4ab0d88c00118f Mon Sep 17 00:00:00 2001 From: Giovanni Di Sirio Date: Tue, 10 Mar 2015 10:24:19 +0000 Subject: 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 --- test/rt/testbuild/pclint/waivers.lnt | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) (limited to 'test/rt/testbuild/pclint/waivers.lnt') 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 -- cgit v1.2.3