On Wed, Mar 11, 2020 at 02:01:07PM +0100, Pavel Machek wrote:
We don't really need to do this computation on pa, it would work on va as well, right? It does not matter much, but old code worked that way.
Plus, strictly speaking, pa + size can overflow for huge sizes, and test will return false negatives.
This is 64-bit code, overflow would need pa + size to be bigger than 2^64, and even then a false negative would need size to be around 2^64.