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