On 18.04.2017 11:39, coypu%sdf.org@localhost wrote: > Hi, > > 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' > > Thanks. > Does disabling the diagnostics in the kernel help?
Attachment:
signature.asc
Description: OpenPGP digital signature