<div dir="ltr">Just as a curiosity, it would be good to know what the private version picks up that the public one does not. </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">Not all issues are related to:<br>
<br>
<a href="https://scan.coverity.com/projects/rtems" rel="noreferrer" target="_blank">https://scan.coverity.com/projects/rtems</a><br>
<br>
Some are obtained by a private Coverity instance.<br>
<br>
Sebastian Huber (11):<br>
  score: Add comments and asserts for clarification<br>
  kern_tc.c: Remove unused code<br>
  bsp/leon3: Fix incompatible function types<br>
  score: Fix implicit type conversion<br>
  score: Simplify _MRSP_Wait_for_ownership()<br>
  bsp/leon3: Improve printk() support<br>
  score: Simplify _CORE_message_queue_Broadcast()<br>
  score: Remove superfluous type qualifier<br>
  libtest: Check return values with RTEMS_DEBUG<br>
  score: Remove double assignment<br>
  rtems: Mark value as used<br>
<br>
 bsps/sparc/leon3/clock/ckinit.c           | 10 ++-<br>
 bsps/sparc/leon3/console/printk_support.c | 92 +++++++++++++----------<br>
 cpukit/include/rtems/rtems/timerimpl.h    |  2 +-<br>
 cpukit/include/rtems/score/mrspimpl.h     | 13 ++--<br>
 cpukit/include/rtems/score/priorityimpl.h |  7 ++<br>
 cpukit/include/rtems/score/smpimpl.h      |  2 +-<br>
 cpukit/libtest/t-test-rtems-measure.c     | 60 +++++++++++----<br>
 cpukit/rtems/src/semrelease.c             |  1 +<br>
 cpukit/score/src/coremsgbroadcast.c       | 19 ++---<br>
 cpukit/score/src/kern_tc.c                |  6 --<br>
 cpukit/score/src/scheduleredfsmp.c        |  3 +-<br>
 11 files changed, 130 insertions(+), 85 deletions(-)<br>
<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>