diff options
| -rw-r--r-- | cpukit/include/rtems/score/assert.h | 4 | ||||
| -rw-r--r-- | cpukit/include/rtems/score/basedefs.h | 11 |
2 files changed, 13 insertions, 2 deletions
diff --git a/cpukit/include/rtems/score/assert.h b/cpukit/include/rtems/score/assert.h index 2bf1703f19..cc3244844c 100644 --- a/cpukit/include/rtems/score/assert.h +++ b/cpukit/include/rtems/score/assert.h @@ -46,9 +46,9 @@ extern "C" { /** * @brief Assertion similar to assert() controlled via RTEMS_DEBUG instead of - * NDEBUG. + * NDEBUG and static analysis runs. */ -#if defined( RTEMS_DEBUG ) +#if defined( RTEMS_DEBUG ) || defined( RTEMS_STATIC_ANALYSIS ) /** * @brief Macro with method name used in assert output 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 */ /** |