ext4: make sanity check in mballoc more strict
authorJan Kara <jack@suse.cz>
Sat, 6 Apr 2019 22:33:06 +0000 (18:33 -0400)
committerTheodore Ts'o <tytso@mit.edu>
Sat, 6 Apr 2019 22:33:06 +0000 (18:33 -0400)
The sanity check in mb_find_extent() only checked that returned extent
does not extend past blocksize * 8, however it should not extend past
EXT4_CLUSTERS_PER_GROUP(sb). This can happen when clusters_per_group <
blocksize * 8 and the tail of the bitmap is not properly filled by 1s
which happened e.g. when ancient kernels have grown the filesystem.

Signed-off-by: Jan Kara <jack@suse.cz>
Signed-off-by: Theodore Ts'o <tytso@mit.edu>
Cc: stable@kernel.org
fs/ext4/mballoc.c

index 6fb76d408093022dfd44bf4375af1acebaedf4bf..8ef5f12bbee2a44f54680e9e3dd49a75dc816bb8 100644 (file)
@@ -1539,7 +1539,7 @@ static int mb_find_extent(struct ext4_buddy *e4b, int block,
                ex->fe_len += 1 << order;
        }
 
-       if (ex->fe_start + ex->fe_len > (1 << (e4b->bd_blkbits + 3))) {
+       if (ex->fe_start + ex->fe_len > EXT4_CLUSTERS_PER_GROUP(e4b->bd_sb)) {
                /* Should never happen! (but apparently sometimes does?!?) */
                WARN_ON(1);
                ext4_error(e4b->bd_sb, "corruption or bug in mb_find_extent "