cfallin labeled issue #1362:
- It assumes only one new
ValueLabelintroduced at eachSourceLoc. (build_value_labels_index)- It assumes
SourceLocis strictly ascending. (Checking forlast_srcloc.unwrap() > srclocinstead oflast_srcloc.unwrap() != srcloc)- It assumes that a
ValueLabelis only alive for a continuous range ofSourceLoc. (values_labels.range(range))All of those assumptions are broken by cg_clif, meaning that
build_value_labels_rangesoften misses values in the output.
Last updated: Jan 09 2026 at 13:15 UTC