Linus Torvalds writes: (Summary)
Honestly, this seems completely bogus.
Honestly, this seems completely bogus.
The description is pure garbage afaik.
The description is pure garbage afaik.
The fact is, we have to stop speculating when access_ok() does *not* fail - because that's when we'll actually do the access. And it's that access that needs to be non-speculative.
access that needs to be non-speculative.
That actually seems to be what the code does (it stops speculation when __range_not_ok() returns false, but access_ok() is !__range_not_ok()).
Honestly, this seems completely bogus.
The description is pure garbage afaik.
The description is pure garbage afaik.
The fact is, we have to stop speculating when access_ok() does *not* fail - because that's when we'll actually do the access. And it's that access that needs to be non-speculative.
access that needs to be non-speculative.
That actually seems to be what the code does (it stops speculation when __range_not_ok() returns false, but access_ok() is !__range_not_ok()).