Dan Carpenter <dan.carpenter@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'tactually evaluated at runtime?David