On Thu, 2025-07-17 at 20:35 +0100, Matthew Wilcox wrote:
> On Fri, Jul 18, 2025 at 12:32:46AM +0900, Tetsuo Handa wrote:
> > +++ b/fs/hfs/inode.c
> > @@ -81,7 +81,8 @@ static bool hfs_release_folio(struct folio *folio, gfp_t mask)
> > tree = HFS_SB(sb)->cat_tree;
> > break;
> > default:
> > - BUG();
> > + pr_err("detected unknown inode %lu, running fsck.hfs is recommended.\n",
> > + inode->i_ino);
>
> As I asked the first time, how can we get here? In order to release a
> folio, we have to first populate the pagecache of the inode with folios.
> How did we manage to do that for an inode with a bogus i_ino?
>
Probably, we have not checked the inode ID at first place in hfs_read_inode()
[1]. So, it makes sense to rework the logic here.
> > @@ -441,7 +442,8 @@ int hfs_write_inode(struct inode *inode, struct writeback_control *wbc)
> > hfs_btree_write(HFS_SB(inode->i_sb)->cat_tree);
> > return 0;
> > default:
> > - BUG();
> > + pr_err("detected unknown inode %lu, running fsck.hfs is recommended.\n",
> > + inode->i_ino);
>
> Similarly here, how did we manage to mark a bad inode as dirty?
I assume if we created the inode as normal with i_ino == 0, then we can make it
as a dirty. Because, inode will be made as bad inode here [2] only if rec->type
is invalid. But if it is valid, then we can create the normal inode even with
i_ino == 0.
It is my current understanding of the situation here. Tetsuo, please, correct me
if I am wrong.
Thanks,
Slava.
[1] https://elixir.bootlin.com/linux/v6.16-rc6/source/fs/hfs/inode.c#L350
[2] https://elixir.bootlin.com/linux/v6.16-rc6/source/fs/hfs/inode.c#L373
