<div dir="ltr"><div>I don't mind it, but if we end up needing to cater to more static analyzers, maybe we'll want to introduce one layer of abstraction in basedefs or something, RTEMS_STATIC_ANALYSIS (__COVERITY__ || __CLANG__ ) just an example that wouldn't work, but something to keep in mind :)</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jan 28, 2021 at 11:11 PM Sebastian Huber <<a href="mailto:sebastian.huber@embedded-brains.de">sebastian.huber@embedded-brains.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">The goal is to reduce false positive NULL_RETURNS,<br>
PW.NORETURN_FUNCTION_DOES_RETURN, PW.SET_BUT_NOT_USED,<br>
UNUSED_VALUE, etc. issues.<br>
---<br>
 cpukit/include/rtems/score/assert.h | 6 +++---<br>
 1 file changed, 3 insertions(+), 3 deletions(-)<br>
<br>
diff --git a/cpukit/include/rtems/score/assert.h b/cpukit/include/rtems/score/assert.h<br>
index 2bf1703f19..6c8916f2fc 100644<br>
--- a/cpukit/include/rtems/score/assert.h<br>
+++ b/cpukit/include/rtems/score/assert.h<br>
@@ -45,10 +45,10 @@ extern "C" {<br>
 #endif /* __cplusplus */<br>
<br>
 /**<br>
- * @brief Assertion similar to assert() controlled via RTEMS_DEBUG instead of<br>
- * NDEBUG.<br>
+ * @brief Assertion similar to assert() controlled via RTEMS_DEBUG or Coverity<br>
+ *   instead of NDEBUG.<br>
  */<br>
-#if defined( RTEMS_DEBUG )<br>
+#if defined( RTEMS_DEBUG ) || defined( __COVERITY__ )<br>
<br>
   /**<br>
    * @brief Macro with method name used in assert output<br>
-- <br>
2.26.2<br>
<br>
_______________________________________________<br>
devel mailing list<br>
<a href="mailto:devel@rtems.org" target="_blank">devel@rtems.org</a><br>
<a href="http://lists.rtems.org/mailman/listinfo/devel" rel="noreferrer" target="_blank">http://lists.rtems.org/mailman/listinfo/devel</a><br>
</blockquote></div></div>