Dan Carpenter <dan.carpenter at oracle.com> wrote: > Ideally static analyzers should know that nr_slots is 0-9, but right now > that seems pretty tricky to figure out... 1-9, actually, but, yeah. Maybe the addition of "assertions" that aren't actually evaluated at runtime? David