Dan Carpenter <dan.carpen...@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