tech-userlevel archive

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

Re: KASSERT and clang static analyzer

> But as Taylor Campbell noted, if KASSERT sometimes does not return but
> other times *does* return, then it's problematic for the analyzer since
> it considers an assertion handler to be a function that does not return.
Isn't analyzer_noreturn made for this?

Home | Main Index | Thread Index | Old Index