Messages in this thread | | | Date | Wed, 26 Nov 2014 12:55:18 -0500 | From | Sasha Levin <> | Subject | Re: [RFC 2/2] kvm: eventfd: detect integer overflow using check_*_overflow |
| |
On 11/26/2014 12:50 PM, Andrey Ryabinin wrote: > 2014-11-26 17:00 GMT+03:00 Sasha Levin <sasha.levin@oracle.com>: >> > Detect integer overflows using safe operations rather than relying on >> > undefined behaviour. >> > > Unsigned overflow is defined. > args->addr and args->len both unsigned, so there is no UB here. >
Good point. Do you think there's an advantage in using GCC's overflow checker in this case?
Thanks, Sasha
| |