[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-Id: <20241022-fix-missing-cond-bcachefs-v1-1-064a40e55610@iiitd.ac.in>
Date: Tue, 22 Oct 2024 20:55:32 +0530
From: Manas via B4 Relay <devnull+manas18244.iiitd.ac.in@...nel.org>
To: Kent Overstreet <kent.overstreet@...ux.dev>
Cc: Hongbo Li <lihongbo22@...wei.com>, linux-bcachefs@...r.kernel.org,
linux-kernel@...r.kernel.org, Anup Sharma <anupnewsmail@...il.com>,
Shuah Khan <skhan@...uxfoundation.org>,
linux-kernel-mentees@...ts.linuxfoundation.org,
syzbot+e8eff054face85d7ea41@...kaller.appspotmail.com,
Manas <manas18244@...td.ac.in>
Subject: [PATCH] bcachefs: Add missing btree_bitmap_shift check in
bch2_dev_btree_bitmap_marked_sectors
From: Manas <manas18244@...td.ac.in>
The syzkaller bug triggers BUG_ON assertions in
__bch2_dev_btree_bitmap_mark. btree_bitmap_shift is checked in
bch2_dev_btree_bitmap_marked_sectors prior to this. But only one out of
two assertions is checked. This patch adds the other as conditional.
Reported-by: syzbot+e8eff054face85d7ea41@...kaller.appspotmail.com
Closes: https://syzkaller.appspot.com/bug?extid=e8eff054face85d7ea41
Signed-off-by: Manas <manas18244@...td.ac.in>
---
The syzkaller bug[1] triggers BUG_ON assertions in
__bch2_dev_btree_bitmap_mark.
btree_bitmap_shift is checked in bch2_dev_btree_bitmap_marked_sectors
prior to this. But only one out of two assertions is checked. This patch
adds the other as conditional.
A previous discussion about adding conditional in
bch2_dev_btree_bitmap_marked_sectors is here[2].
[1] https://syzkaller.appspot.com/bug?extid=e8eff054face85d7ea41
[2] https://lore.kernel.org/all/9ec25394-3d89-41b3-b62e-2d522cdc7319@huawei.com/
---
fs/bcachefs/sb-members.h | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/fs/bcachefs/sb-members.h b/fs/bcachefs/sb-members.h
index 762083b564ee5909071eb4235c3d5cd6e72ee519..3141791491928930a707a6a16579c6d2e11e3700 100644
--- a/fs/bcachefs/sb-members.h
+++ b/fs/bcachefs/sb-members.h
@@ -347,12 +347,16 @@ void bch2_dev_errors_reset(struct bch_dev *);
static inline bool bch2_dev_btree_bitmap_marked_sectors(struct bch_dev *ca, u64 start, unsigned sectors)
{
u64 end = start + sectors;
+ u8 bitmap_shift = ca->mi.btree_bitmap_shift;
- if (end > 64ULL << ca->mi.btree_bitmap_shift)
+ if (bitmap_shift > 57)
+ return true;
+
+ if (end > 64ULL << bitmap_shift)
return false;
- for (unsigned bit = start >> ca->mi.btree_bitmap_shift;
- (u64) bit << ca->mi.btree_bitmap_shift < end;
+ for (unsigned bit = start >> bitmap_shift;
+ (u64) bit << bitmap_shift < end;
bit++)
if (!(ca->mi.btree_allocated_bitmap & BIT_ULL(bit)))
return false;
---
base-commit: 42f7652d3eb527d03665b09edac47f85fb600924
change-id: 20241022-fix-missing-cond-bcachefs-a889f51e8aa2
Best regards,
--
Manas <manas18244@...td.ac.in>
Powered by blists - more mailing lists