[PATCH] reftable/iter: fix undefined behavior in indexed_table_ref_iter_next
From: Tsahi Elkayam <hidden>
Date: 2026-01-02 19:17:01
The indexed_table_ref_iter_next() function accesses ref->value.val2
without first checking the ref's value_type. This is undefined behavior
when the ref is not of type REFTABLE_REF_VAL2.
The correct pattern is already used in filtering_ref_iterator_next()
which checks value_type before accessing the appropriate union member.
Apply the same pattern here:
- Check for REFTABLE_REF_VAL2 before accessing val2 members
- Add missing check for REFTABLE_REF_VAL1 to handle single-value refs
This was marked with a "/* BUG */" comment indicating the issue was
known but not yet fixed.
Signed-off-by: Tsahi Elkayam [off-list ref]
---
reftable/iter.c | 13 ++++++++-----
1 file changed, 8 insertions(+), 5 deletions(-)
diff --git a/reftable/iter.c b/reftable/iter.c
index 2ecc52b336..2eee65bb1e 100644
--- a/reftable/iter.c
+++ b/reftable/iter.c
@@ -171,12 +171,15 @@ static int indexed_table_ref_iter_next(void *p, struct reftable_record *rec)
}
continue;
}
- /* BUG */
- if (!memcmp(it->oid.buf, ref->value.val2.target_value,
- it->oid.len) ||
- !memcmp(it->oid.buf, ref->value.val2.value, it->oid.len)) {
+ if (ref->value_type == REFTABLE_REF_VAL2 &&
+ (!memcmp(it->oid.buf, ref->value.val2.target_value,
+ it->oid.len) ||
+ !memcmp(it->oid.buf, ref->value.val2.value, it->oid.len)))
+ return 0;
+
+ if (ref->value_type == REFTABLE_REF_VAL1 &&
+ !memcmp(it->oid.buf, ref->value.val1, it->oid.len))
return 0;
- }
}
}
--
2.37.1 (Apple Git-137.1)