[rtems commit] Add macros to assert status and use it

[Joel Sherrill]

Module:    rtems
Branch:    master
Commit:    cc273ec10f00a7ed39bc8b768bf030e4812e01a7
Changeset: http://git.rtems.org/rtems/commit/?id=cc273ec10f00a7ed39bc8b768bf030e4812e01a7

Author:    Ryan Long <ryan.long at oarcorp.com>
Date:      Fri Feb 12 13:39:54 2021 -0500

Add macros to assert status and use it

These macros are to be used to check the status from calls that are flagged
by Coverity as 'Unchecked return value'.

Fix file assert.h

---

 cpukit/include/rtems/score/assert.h | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)

diff --git a/cpukit/include/rtems/score/assert.h b/cpukit/include/rtems/score/assert.h
index cc32448..6bdb01e 100644
--- a/cpukit/include/rtems/score/assert.h
+++ b/cpukit/include/rtems/score/assert.h
@@ -99,6 +99,36 @@ extern "C" {
 #endif
 
 /**
+ * @brief Assert if unused return value is equal.
+ *
+ * Assert whether @a _var and @a _val are equal and ensure @a _var is
+ * marked as used when not building for debug.
+ *
+ * @param _var The return value to be checked.
+ * @param _val Indicates what @a _var is supposed to be.
+ */
+#define _Assert_Unused_variable_equals(_var,_val) \
+        do { \
+          _Assert((_var) == (_val)); \
+          (void) (_var); \
+        } while (0)
+
+/**
+ * @brief Assert if unused return value is not equal.
+ *
+ * Assert whether @a _var and @a _val are not equal and ensure @a _var
+ * is marked as used when not building for debug.
+ *
+ * @param _var The return value to be checked.
+ * @param _val Indicates what @a _var is not supposed to be.
+ */
+#define _Assert_Unused_variable_unequal(_var,_val) \
+         do { \
+          _Assert((_var) != (_val)); \
+           (void) (_var); \
+        } while (0)
+
+/**
  * @brief Returns true if thread dispatching is allowed.
  *
  * Thread dispatching can be repressed via _Thread_Disable_dispatch() or