tech-userlevel archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

KASSERT and clang static analyzer


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:
I'm building kernel with 'scan-build make -j20'


Home | Main Index | Thread Index | Old Index