diff options
author | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-06 10:13:59 +0000 |
---|---|---|
committer | Giovanni Di Sirio <gdisirio@gmail.com> | 2015-03-06 10:13:59 +0000 |
commit | a380d9ad03f2fcf950dad0f08652a03b738dc0e8 (patch) | |
tree | 78dfbd7a271ba17cbb8cd7383a5c7edcb87f448b /demos/STM32 | |
parent | b53489d0e4252aafe5ada7466e0b3b7c4ad5aaaf (diff) | |
download | ChibiOS-a380d9ad03f2fcf950dad0f08652a03b738dc0e8.tar.gz ChibiOS-a380d9ad03f2fcf950dad0f08652a03b738dc0e8.tar.bz2 ChibiOS-a380d9ad03f2fcf950dad0f08652a03b738dc0e8.zip |
More MISRA.
git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@7716 35acf78f-673a-0410-8e92-d51de3d6d3f4
Diffstat (limited to 'demos/STM32')
-rw-r--r-- | demos/STM32/RT-STM32F407-DISCOVERY/pclint/gcc-include-path.lnt | 12 | ||||
-rw-r--r-- | demos/STM32/RT-STM32F407-DISCOVERY/pclint/waivers.lnt | 22 |
2 files changed, 20 insertions, 14 deletions
diff --git a/demos/STM32/RT-STM32F407-DISCOVERY/pclint/gcc-include-path.lnt b/demos/STM32/RT-STM32F407-DISCOVERY/pclint/gcc-include-path.lnt index 2f5b335c1..8bd8f249b 100644 --- a/demos/STM32/RT-STM32F407-DISCOVERY/pclint/gcc-include-path.lnt +++ b/demos/STM32/RT-STM32F407-DISCOVERY/pclint/gcc-include-path.lnt @@ -1,6 +1,6 @@ ---i"c:\programmi\gnu tools arm embedded\4.7 2013q3\bin\../lib/gcc/arm-none-eabi/4.7.4/../../../../arm-none-eabi/include/c++/4.7.4" ---i"c:\programmi\gnu tools arm embedded\4.7 2013q3\bin\../lib/gcc/arm-none-eabi/4.7.4/../../../../arm-none-eabi/include/c++/4.7.4/arm-none-eabi" ---i"c:\programmi\gnu tools arm embedded\4.7 2013q3\bin\../lib/gcc/arm-none-eabi/4.7.4/../../../../arm-none-eabi/include/c++/4.7.4/backward" ---i"c:\programmi\gnu tools arm embedded\4.7 2013q3\bin\../lib/gcc/arm-none-eabi/4.7.4/include" ---i"c:\programmi\gnu tools arm embedded\4.7 2013q3\bin\../lib/gcc/arm-none-eabi/4.7.4/include-fixed" ---i"c:\programmi\gnu tools arm embedded\4.7 2013q3\bin\../lib/gcc/arm-none-eabi/4.7.4/../../../../arm-none-eabi/include" +--i"C:/ChibiStudio/tools/GNU Tools ARM Embedded/4.9 2014q4/arm-none-eabi/include" +--i"C:/ChibiStudio/tools/GNU Tools ARM Embedded/4.9 2014q4/arm-none-eabi/include/c++/4.9.3" +--i"C:/ChibiStudio/tools/GNU Tools ARM Embedded/4.9 2014q4/arm-none-eabi/include/c++/4.9.3/arm-none-eabi" +--i"C:/ChibiStudio/tools/GNU Tools ARM Embedded/4.9 2014q4/arm-none-eabi/include/c++/4.9.3/backward" +--i"C:/ChibiStudio/tools/GNU Tools ARM Embedded/4.9 2014q4/lib/gcc/arm-none-eabi/4.9.3/include" +--i"C:/ChibiStudio/tools/GNU Tools ARM Embedded/4.9 2014q4/lib/gcc/arm-none-eabi/4.9.3/include-fixed" diff --git a/demos/STM32/RT-STM32F407-DISCOVERY/pclint/waivers.lnt b/demos/STM32/RT-STM32F407-DISCOVERY/pclint/waivers.lnt index fa5e71a23..1b2e843b8 100644 --- a/demos/STM32/RT-STM32F407-DISCOVERY/pclint/waivers.lnt +++ b/demos/STM32/RT-STM32F407-DISCOVERY/pclint/waivers.lnt @@ -8,14 +8,16 @@ /* Removing *advisory* directives and rules that would negatively impact
code clarity or are very common.*/
--e970 /* Dir-4.6 */
--e9026 /* Dir-4.9 */
--e818 /* Rule 8.13 */
--e9078 /* Rule-11.4 */
--e9079 /* Rule-11.5 */
--e904 /* Rule-15.5 */
--e9044 /* Rule-17.8 */
--e9024 /* Rule-20.10 */
+-e970 /* Dir-4.6 */
+-e9026 /* Dir-4.9 */
+-e756 /* Rule-2.3 */
+-e755 /* Rule-2.5 */
+-e818 -e844 -e954 /* Rule 8.13 */
+-e9078 /* Rule-11.4 */
+-e9079 /* Rule-11.5 */
+-e904 /* Rule-15.5 */
+-e9044 /* Rule-17.8 */
+-e9024 /* Rule-20.10 */
/* Waiver Directive 4.10, PCLint is confused by the guard used in the CMSIS
header files, the guard is present, suppressing the noise.*/
@@ -26,6 +28,10 @@ license URL and cannot be removed.*/
-e9059
+/* Waiver Rule 8.7, the static analyzer has no visibility of functions called
+ from asm modules.*/
+-e765
+
/* Waiver Rule 11.6, cast from integer to pointer is very commonly used
when accessing peripherals where the numeric address of the registers
block is cast to a structure pointer.*/
|