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


Reply via email to