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 : [email protected] PGP : Public key available on request. Diese Nachricht ist keine geschäftliche Mitteilung im Sinne des EHUG. _______________________________________________ devel mailing list [email protected] http://lists.rtems.org/mailman/listinfo/devel
