Zero out corrupted L1 table entry, which reference L2 table out of underlying file. Zero L1 table entry means that "the L2 table and all clusters described by this L2 table are unallocated."
Signed-off-by: Vladimir Sementsov-Ogievskiy <vsement...@virtuozzo.com> --- block/qcow2-refcount.c | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) diff --git a/block/qcow2-refcount.c b/block/qcow2-refcount.c index d993252fb6..3c9e2da39e 100644 --- a/block/qcow2-refcount.c +++ b/block/qcow2-refcount.c @@ -1641,6 +1641,29 @@ static int fix_l2_entry_to_zero(BlockDriverState *bs, BdrvCheckResult *res, return ret; } +/* Zero out L1 entry + * + * Returns: -errno if overlap check failed + * 0 if write failed + * 1 on success + */ +static int fix_l1_entry_to_zero(BlockDriverState *bs, BdrvCheckResult *res, + BdrvCheckMode fix, int64_t l1_offset, + int l1_index, bool active, + const char *fmt, ...) +{ + int ret; + int ign = active ? QCOW2_OL_ACTIVE_L2 : QCOW2_OL_INACTIVE_L2; + va_list args; + + va_start(args, fmt); + ret = fix_table_entry(bs, res, fix, "L1", l1_offset, l1_index, 0, ign, + fmt, args); + va_end(args); + + return ret; +} + /* * Increases the refcount in the given refcount table for the all clusters * referenced in the L2 table. While doing so, performs some checks on L2 @@ -1837,6 +1860,20 @@ static int check_refcounts_l1(BlockDriverState *bs, if (l2_offset) { /* Mark L2 table as used */ l2_offset &= L1E_OFFSET_MASK; + if (l2_offset >= bdrv_getlength(bs->file->bs)) { + ret = fix_l1_entry_to_zero( + bs, res, fix, l1_table_offset, i, active, + "l2 table offset out of file: offset 0x%" PRIx64, + l2_offset); + if (ret < 0) { + /* Something is seriously wrong, so abort checking + * this L1 table */ + goto fail; + } + + continue; + } + ret = qcow2_inc_refcounts_imrt(bs, res, refcount_table, refcount_table_size, l2_offset, s->cluster_size); -- 2.11.1