> 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?
On 04/19, Edgar Fuß wrote:
> > 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?
