> Date: Tue, 18 Apr 2017 09:39:36 +0000 > From: co...@sdf.org > > 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.
