kernel.git/fs/bcachefs/bkey_methods.c, branch linux-6.10.y

bcachefs: Fix array-index-out-of-bounds

2024-06-19T22:27:23Z

We use 0 size arrays as markers, but ubsan doesn't know that - cast them to a pointer to fix the splat. Also, make sure this code gets tested a bit more. Signed-off-by: Kent Overstreet

bcachefs: add no_invalid_checks flag

2024-05-09T20:24:30Z

Setting this flag on a filesystem results in validity checks being skipped when writing bkeys. This flag will be used by tooling that deliberately injects corruption into a filesystem in order to exercise fsck. It shouldn't be set outside of testing/debugging code. Signed-off-by: Thomas Bertschinger Signed-off-by: Kent Overstreet

bcachefs: s/bkey_invalid_flags/bch_validate_flags

2024-05-09T20:23:36Z

We're about to start using bch_validate_flags for superblock section validation - it's no longer bkey specific. Signed-off-by: Kent Overstreet

bcachefs: Guard against unknown k.k->type in __bkey_invalid()

2024-05-06T14:58:17Z

For forwards compatibility we have to allow unknown key types, and only run the checks that make sense against them. Fix a missing guard on k.k->type being known. Reported-by: syzbot+ae4dc916da3ce51f284f@syzkaller.appspotmail.com Signed-off-by: Kent Overstreet

bcachefs: Interior known are required to have known key types

2024-04-14T22:01:12Z

For forwards compatibilyt, we allow bkeys of unknown type in leaf nodes; we can simply ignore metadata we don't understand. Pointers to btree nodes must always be of known types, howwever. Signed-off-by: Kent Overstreet

bcachefs: add missing bounds check in __bch2_bkey_val_invalid()

2024-04-14T22:01:12Z

Signed-off-by: Kent Overstreet

bcachefs: Add .val_to_text() for KEY_TYPE_cookie

2024-01-21T18:27:09Z

Signed-off-by: Kent Overstreet

bcachefs: rebalance_work btree is not a snapshots btree

2023-11-05T02:19:13Z

rebalance_work entries may refer to entries in the extents btree, which is a snapshots btree, or they may also refer to entries in the reflink btree, which is not. Hence rebalance_work keys may use the snapshot field but it's not required to be nonzero - add a new btree flag to reflect this. Signed-off-by: Kent Overstreet

bcachefs: Enumerate fsck errors

2023-11-02T01:11:08Z

This patch adds a superblock error counter for every distinct fsck error; this means that when analyzing filesystems out in the wild we'll be able to see what sorts of inconsistencies are being found and repair, and hence what bugs to look for. Errors validating bkeys are not yet considered distinct fsck errors, but this patch adds a new helper, bkey_fsck_err(), in order to add distinct error types for them as well. Signed-off-by: Kent Overstreet

bcachefs: Fix btree_node_type enum

2023-10-31T16:18:37Z

More forwards compatibility fixups: having BKEY_TYPE_btree at the end of the enum conflicts with unnkown btree IDs, this shifts BKEY_TYPE_btree to slot 0 and fixes things up accordingly. Signed-off-by: Kent Overstreet