Lots of MISRA-related changes in RT. Not finished yet.

git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@7715 35acf78f-673a-0410-8e92-d51de3d6d3f4

1 files changed, 129 insertions, 0 deletions

diff --git a/demos/STM32/RT-STM32F407-DISCOVERY/pclint/co-gcc.h b/demos/STM32/RT-STM32F407-DISCOVERY/pclint/co-gcc.h
new file mode 100644
index 000000000..d18d71e57
--- /dev/null
+++ b/demos/STM32/RT-STM32F407-DISCOVERY/pclint/co-gcc.h
@@ -0,0 +1,129 @@
+// ---------------------------------------------------------------------

+// This file is provided by Gimpel Software (www.gimpel.com) for use with

+// its products PC-lint and FlexeLint.

+//

+// Redistribution and use of this file, with or without modification, is

+// permitted provided that any such redistribution retains this notice.

+// ---------------------------------------------------------------------

+

+#ifndef CO_GCC_H_

+#define CO_GCC_H_

+/*lint -save -w1 */

+

+#ifdef _lint /* Make sure no compiler comes this way */

+#ifdef __cplusplus

+extern "C" {

+#endif

+

+/* Standard library headers typically define the assert macro so that it

+   expands to a complicated conditional expression that uses special

+   funtions that Lint does not know about by default.  For linting

+   purposes, we can simplify things a bit by forcing assert() to expand to

+   a call to a special function that has the appropriate 'assert'

+   semantics.

+ */

+//lint -function( __assert, __lint_assert )

+void __lint_assert( int );

+//lint ++d"assert(e)=__lint_assert(!!(e))"

+//(++d makes this definition permanently immutable for the Lint run.)

+//Now that we've made our own 'assert', we need to keep people from being

+//punished when the marco in 'assert.h' appears not to be used:

+//lint  -efile(766,*assert.h)

+

+typedef char            *__builtin_va_list;

+

+/*lint -e{171} */

+__builtin_va_list       __lint_init_va(...);

+

+void                    __builtin_va_end( __builtin_va_list );

+    /*lint

+++d"__builtin_va_start(ap,parmN)=((ap)=__lint_init_va(parmN))"

+++d"__builtin_va_arg(a,b)=(*( ((b) *) ( (((a) += sizeof(b)) - sizeof(b) )))"

+    */

+

+

+/*

+   The headers included below must be generated; For C++, generate

+   with:

+

+   g++ [usual build options] -E -dM t.cpp >lint_cppmac.h

+

+   For C, generate with:

+

+   gcc [usual build options] -E -dM t.c >lint_cmac.h

+

+   ...where "t.cpp" and "t.c" are empty source files.

+

+   It's important to use the same compiler options used when compiling

+   project code because they can affect the existence and precise

+   definitions of certain predefined macros.  See gcc-readme.txt for

+   details and a tutorial.

+ */

+#if defined(__cplusplus)

+#       include "lint_cppmac.h" // DO NOT COMMENT THIS OUT. DO NOT SUPPRESS ERROR 322. (If you see an error here, your Lint configuration is broken; check -i options and ensure that you have generated lint_cppmac.h as documented in gcc-readme.txt. Otherwise Gimpel Software cannot support your configuration.)

+#else

+#       include "lint_cmac.h" // DO NOT COMMENT THIS OUT. DO NOT SUPPRESS ERROR 322. (If you see an error here, your Lint configuration is broken; check -i options and ensure that you have generated lint_cmac.h as documented in gcc-readme.txt. Otherwise Gimpel Software cannot support your configuration.)

+#endif

+

+/* If the macro set given by the generated macro files must be adjusted in

+   order for Lint to cope, then you can make those adjustments here.

+ */

+

+#define LINT_CO_GCC_H_GCC_VERSION  ( __GNUC__     * 10000 +     \

+                                     __GNUC_MINOR__ * 100 +     \

+                                     __GNUC_PATCHLEVEL__ )

+

+/* The following is a workaround for versions of GCC with bug 25717, in

+   which the preprocessor does not dump a #define directive for __STDC__

+   when -dM is given:

+   http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25717

+

+   We know the unconditional definition of __STDC__ was introduced no

+   later than version 3.0; the preprocessor bug was fixed no later than

+   version 4.1.0.

+ */

+#if ( LINT_CO_GCC_H_GCC_VERSION >= 30000 &&                     \

+      LINT_CO_GCC_H_GCC_VERSION <  40100 )

+#        define __STDC__ 1

+#endif

+

+#if !__cplusplus && !__STRICT_ANSI__  && __STDC_VERSION__ < 199901L

+/* apparently, the code is compiled with -std=gnu89 (as opposed to -std=c89),

+   so: */

+/*lint -rw_asgn(inline,__inline) */

+#endif

+

+#if LINT_CO_GCC_H_GCC_VERSION >= 40300

+#        define __COUNTER__ __lint__COUNTER__

+//lint +rw( *type_traits ) // Enable type traits support

+#endif

+

+#ifdef __cplusplus

+} /* extern "C" */

+#endif

+

+#if _lint >= 909 // For 9.00i and later:

+        //// __attribute__ is GCC's __attribute__:

+        //

+        //lint -rw_asgn(__attribute__,__gcc_attribute__)

+        //lint -rw_asgn(__attribute,  __gcc_attribute__)

+        //

+        //// Prevent "__attribute__" from being defined as a macro:

+        //

+        //lint --u"__attribute__"

+        //lint --u"__attribute"

+        //

+        //// Because an attribute-specifier is a form of

+        //// declaration-modifier, and because it can appear at the

+        //// beginning of a decl-specifier-seq, we must enable "Early

+        //// Modifiers":

+        //

+        //lint +fem

+#else // for 9.00h and earlier:

+        //lint -d__attribute__()=

+        //lint -d__attribute()=

+#endif

+

+#endif /* _lint      */

+/*lint -restore */

+#endif /* CO_GCC_H_ */