On 04/21/16 19:59, Pedro Giffuni wrote:
On 21/04/2016 12:52, Juli Mallett wrote:
On Thu, Apr 21, 2016 at 10:22 AM, Hans Petter Selasky
<h...@selasky.org> wrote:
On 04/21/16 19:12, Ngie Cooper wrote:
Hi,
Then there should be an assertion or something else of that sort (I
forget if we have a __builtin_unreachable()-alike macro in the kernel;
the lint(1)y NOTREACHED isn't as nice as actual code) so that it is
apparent to a human that this case cannot be reached. The presence of
a do-nothing default case is not typically indicative of unreachable
code.
We do have __unreachable() in cdefs.h
It should work with both GCC and clang.
Pedro.
I don't see anyone using __unreachable() yet in the kernel. Do you
recommend it over a KASSERT() ?
--HPS
_______________________________________________
svn-src-head@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/svn-src-head
To unsubscribe, send any mail to "svn-src-head-unsubscr...@freebsd.org"
