<div dir="ltr">rest of these looked fine to me</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jan 28, 2021 at 8:28 AM 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">This fix relates to a Coverity issue (UNUSED_VALUE).<br>
---<br>
 cpukit/rtems/src/semrelease.c | 1 +<br>
 1 file changed, 1 insertion(+)<br>
<br>
diff --git a/cpukit/rtems/src/semrelease.c b/cpukit/rtems/src/semrelease.c<br>
index c31f242a98..3a1f9671fe 100644<br>
--- a/cpukit/rtems/src/semrelease.c<br>
+++ b/cpukit/rtems/src/semrelease.c<br>
@@ -86,6 +86,7 @@ rtems_status_code rtems_semaphore_release( rtems_id id )<br>
         status == STATUS_SUCCESSFUL<br>
           || status == STATUS_MAXIMUM_COUNT_EXCEEDED<br>
       );<br>
+      (void) status;<br>
       status = STATUS_SUCCESSFUL;<br>
       break;<br>
 #if defined(RTEMS_SMP)<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>