<div dir="ltr"><div dir="ltr"><div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Wed, Sep 26, 2018 at 7:04 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">On 26/09/2018 14:02, Sebastian Huber wrote:<br>
> void rtems_task_delete_self() RTEMS_NORETURN; <br>
<br>
Alternative would be<br>
<br>
void rtems_task_exit(void) RTEMS_NORETURN;<br></blockquote><div><br></div><div>I don't want to change APIs to make any static analysis tool happy. I used</div><div>Grammatech CodeSonar on RTEMS a few years ago and if we made it</div><div>happy, we would be very unhappy.</div><div><br></div><div>The best solution would be to figure out the Coverity modeling and annotation.</div><div>Then we could teach it our memory allocators, internal locks, etc..  I have a model</div><div>uploaded in our configuration but I admit to not having any confidence in making</div><div>Scan do anything with it. I found this:</div><div><br></div><div><a href="https://stackoverflow.com/questions/42197018/how-do-i-use-coverity-modelling-to-mark-a-method-as-non-returning">https://stackoverflow.com/questions/42197018/how-do-i-use-coverity-modelling-to-mark-a-method-as-non-returning</a><br></div><div><br></div><div>But that looks to modify the source. I don't want to do more than simple annotation.</div><div>I don't want hacks like that in the real source.</div><div><br></div><div>I have an attempt at a model here (<a href="https://git.rtems.org/rtems-testing/tree/coverity">https://git.rtems.org/rtems-testing/tree/coverity</a>)</div><div>and have uploaded it.</div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
-- <br>
Sebastian Huber, embedded brains GmbH<br>
<br>
Address : Dornierstr. 4, D-82178 Puchheim, Germany<br>
Phone   : +49 89 189 47 41-16<br>
Fax     : +49 89 189 47 41-09<br>
E-Mail  : <a href="mailto:sebastian.huber@embedded-brains.de" target="_blank">sebastian.huber@embedded-brains.de</a><br>
PGP     : Public key available on request.<br>
<br>
Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.<br>
<br>
</blockquote></div></div></div></div>