Re: [PATCH][next] afs: fix integer overflow when shifting 1 more than 32 places

From: David Howells
Date: Wed Apr 11 2018 - 12:03:55 EST


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