diff options
Diffstat (limited to 'demos/STM32/RT-STM32F407-DISCOVERY/pclint/co-gcc.h')
| -rw-r--r-- | demos/STM32/RT-STM32F407-DISCOVERY/pclint/co-gcc.h | 129 |
1 files changed, 0 insertions, 129 deletions
diff --git a/demos/STM32/RT-STM32F407-DISCOVERY/pclint/co-gcc.h b/demos/STM32/RT-STM32F407-DISCOVERY/pclint/co-gcc.h deleted file mode 100644 index d18d71e57..000000000 --- a/demos/STM32/RT-STM32F407-DISCOVERY/pclint/co-gcc.h +++ /dev/null @@ -1,129 +0,0 @@ -// ---------------------------------------------------------------------
-// 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_ */
|