From 7772ea4579a45bcf63ebd5e68be66ba1a9c72dfa Mon Sep 17 00:00:00 2001
From: Clyne Sullivan <tullivan99@gmail.com>
Date: Fri, 11 Nov 2016 15:02:17 -0500
Subject: chibios!

---
 ChibiOS_16.1.5/test/nil/testbuild/pclint/co-gcc.h | 129 ++++++++++++++++++++++
 1 file changed, 129 insertions(+)
 create mode 100644 ChibiOS_16.1.5/test/nil/testbuild/pclint/co-gcc.h

(limited to 'ChibiOS_16.1.5/test/nil/testbuild/pclint/co-gcc.h')

diff --git a/ChibiOS_16.1.5/test/nil/testbuild/pclint/co-gcc.h b/ChibiOS_16.1.5/test/nil/testbuild/pclint/co-gcc.h
new file mode 100644
index 0000000..d18d71e
--- /dev/null
+++ b/ChibiOS_16.1.5/test/nil/testbuild/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_ */
-- 
cgit v1.2.3