From 272b51ba236d6636bda3ee961cba35eb489d30af Mon Sep 17 00:00:00 2001 From: Giovanni Di Sirio Date: Sat, 7 Mar 2015 11:07:31 +0000 Subject: MISRAs done for RT. git-svn-id: svn://svn.code.sf.net/p/chibios/svn/trunk@7727 35acf78f-673a-0410-8e92-d51de3d6d3f4 --- demos/STM32/RT-STM32F407-DISCOVERY/pclint/co-gcc.h | 129 --------------------- 1 file changed, 129 deletions(-) delete mode 100644 demos/STM32/RT-STM32F407-DISCOVERY/pclint/co-gcc.h (limited to 'demos/STM32/RT-STM32F407-DISCOVERY/pclint/co-gcc.h') 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_ */ -- cgit v1.2.3