svn commit: r274086 - head/sbin/route

David Chisnall theraven at FreeBSD.org
Tue Nov 4 10:55:02 UTC 2014


On 4 Nov 2014, at 10:28, Stefan Farfeleder <stefanf at FreeBSD.org> wrote:

> Shouldn't Coverity understand that err doesn't return?

err() is marked as __dead2, which expands to __attribute__((__noreturn__)).  If Coverity doesn't know that __attribute__((__noreturn__)) functions don't return, then that's a Coverity bug and they should fix it (if we're not expanding __dead3 to __attribute__((__noreturn__)) for Coverity, then that's a sys/cdefs.h bug and should be fixed there).  

Putting a break after a noreturn function makes the code less readable and will cause errors in non-buggy static analysers (dead code warning - why do you have a break on an unreachable line?).

David



More information about the svn-src-all mailing list