Re: KASSERT and clang static analyzer

[Taylor R Campbell <campbell+netbsd-tech-userlevel%mumble.net@localhost>]

> Date: Tue, 18 Apr 2017 09:39:36 +0000
> From: coypu%sdf.org@localhost
> 
> I'm trying clang static analyzer.
> It seems to assume that KASSERT(a != 0) => test what happens if a == 0 in the rest of the function
> any idea how to convince it to stop doing that?
> 
> example output: http://i.imgur.com/AqTm9mq.png
> I'm building kernel with 'scan-build make -j20'

The usual way to do this is to mark kern_assert as __dead, so that
clang knows it can't return.

Except if we're already panicking, kern_assert *does* return.  Not
really clear on why -- ad@ put that in a long time ago.