|
From: | Eric Blake |
Subject: | Re: [PATCH v3 05/17] block/io: support int64_t bytes in bdrv_co_do_pwrite_zeroes() |
Date: | Mon, 11 May 2020 13:34:01 -0500 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.7.0 |
On 5/11/20 12:17 PM, Alberto Garcia wrote:
On Thu 30 Apr 2020 01:10:21 PM CEST, Vladimir Sementsov-Ogievskiy wrote:compute 'int tail' via % 'int alignment' - safetail = (offset + bytes) % alignment; both are int64_t, no chance of overflow here?
Good question - I know several places check that offset+bytes does not overflow, but did not specifically audit if this one does. Adding an assert() in this function may be easier than trying to prove all callers pass in safe values.
-- Eric Blake, Principal Software Engineer Red Hat, Inc. +1-919-301-3226 Virtualization: qemu.org | libvirt.org
[Prev in Thread] | Current Thread | [Next in Thread] |