[PATCH 09/37] bcachefs: better __bch2_snapshot_is_ancestor() assert

[Kent Overstreet]

Previously, we weren't checking the result of the skiplist walk, just
the is_ancestor bitmap.

Signed-off-by: Kent Overstreet <kent.overstr...@linux.dev>
---
 fs/bcachefs/snapshot.c | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/fs/bcachefs/snapshot.c b/fs/bcachefs/snapshot.c
index 23a332d76b32..38aeaa128d27 100644
--- a/fs/bcachefs/snapshot.c
+++ b/fs/bcachefs/snapshot.c
@@ -135,7 +135,9 @@ static bool test_ancestor_bitmap(struct snapshot_table *t, 
u32 id, u32 ancestor)
 
 bool __bch2_snapshot_is_ancestor(struct bch_fs *c, u32 id, u32 ancestor)
 {
-       bool ret;
+#ifdef CONFIG_BCACHEFS_DEBUG
+       u32 orig_id = id;
+#endif
 
        guard(rcu)();
        struct snapshot_table *t = rcu_dereference(c->snapshots);
@@ -147,11 +149,11 @@ bool __bch2_snapshot_is_ancestor(struct bch_fs *c, u32 
id, u32 ancestor)
                while (id && id < ancestor - IS_ANCESTOR_BITMAP)
                        id = get_ancestor_below(t, id, ancestor);
 
-       ret = id && id < ancestor
+       bool ret = id && id < ancestor
                ? test_ancestor_bitmap(t, id, ancestor)
                : id == ancestor;
 
-       EBUG_ON(ret != __bch2_snapshot_is_ancestor_early(t, id, ancestor));
+       EBUG_ON(ret != __bch2_snapshot_is_ancestor_early(t, orig_id, ancestor));
        return ret;
 }
 
-- 
2.50.0