New Coverity Scan Results for RTEMS Available

[Sebastian Huber]

How can we teach Coverity that

rtems_task_delete(RTEMS_SELF);

is a function call which doesn't return?

Maybe we should add a

void rtems_task_delete_self() RTEMS_NORETURN;

this would also help the compiler.

-- 
Sebastian Huber, embedded brains GmbH

Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone   : +49 89 189 47 41-16
Fax     : +49 89 189 47 41-09
E-Mail  : sebastian.huber at embedded-brains.de
PGP     : Public key available on request.

Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG.