From 490e6e8809e296cbc6d6358e1382f4f8776ca4bb Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Fri, 29 Jan 2021 07:07:51 +0100 Subject: score: Define _Assert() for static analysis runs The goal is to reduce false positive NULL_RETURNS, PW.NORETURN_FUNCTION_DOES_RETURN, PW.SET_BUT_NOT_USED, UNUSED_VALUE, etc. issues produced by Coverity. Define RTEMS_STATIC_ANALYSIS if a static analysis run by Coverity is performed. --- cpukit/include/rtems/score/basedefs.h | 11 +++++++++++ 1 file changed, 11 insertions(+) (limited to 'cpukit/include/rtems/score/basedefs.h') diff --git a/cpukit/include/rtems/score/basedefs.h b/cpukit/include/rtems/score/basedefs.h index a98b80f0dd..fe5f4ab7c7 100644 --- a/cpukit/include/rtems/score/basedefs.h +++ b/cpukit/include/rtems/score/basedefs.h @@ -748,6 +748,17 @@ extern "C" { #define RTEMS_SECTION( _section ) #endif +/* Generated from spec:/rtems/basedefs/if/static-analysis */ + +/** + * @ingroup RTEMSAPIBaseDefs + * + * @brief It is defined if a static analysis run is performed. + */ +#if defined(__COVERITY__) + #define RTEMS_STATIC_ANALYSIS +#endif + /* Generated from spec:/rtems/basedefs/if/static-assert */ /** -- cgit v1.2.3