Since bi->metadata_size is an unsigned char, it's not practically possible for it to be > PAGE_SIZE / 2.
Thus, remove the corresponding if statement. Found by Linux Verification Center (linuxtesting.org) with SVACE. Signed-off-by: Ivan Abramov <i.abra...@mt-integration.ru> --- drivers/md/dm-integrity.c | 5 ----- 1 file changed, 5 deletions(-) diff --git a/drivers/md/dm-integrity.c b/drivers/md/dm-integrity.c index efeee0a873c0..b7ad7a5adb56 100644 --- a/drivers/md/dm-integrity.c +++ b/drivers/md/dm-integrity.c @@ -4752,11 +4752,6 @@ static int dm_integrity_ctr(struct dm_target *ti, unsigned int argc, char **argv ti->error = "The integrity profile is smaller than tag size"; goto bad; } - if ((unsigned long)bi->metadata_size > PAGE_SIZE / 2) { - r = -EINVAL; - ti->error = "Too big tuple size"; - goto bad; - } ic->tuple_size = bi->metadata_size; if (1 << bi->interval_exp != ic->sectors_per_block << SECTOR_SHIFT) { r = -EINVAL; -- 2.39.5