Stream: git-wasmtime

Topic: wasmtime / issue #1362 Cranelift: build_value_labels_rang...

Wasmtime GitHub notifications bot (May 04 2022 at 22:41):

cfallin labeled issue #1362:

• It assumes only one new ValueLabel introduced at each SourceLoc. (build_value_labels_index)
• It assumes SourceLoc is strictly ascending. (Checking for last_srcloc.unwrap() > srcloc instead of last_srcloc.unwrap() != srcloc)
• It assumes that a ValueLabel is only alive for a continuous range of SourceLoc. (values_labels.range(range))

All of those assumptions are broken by cg_clif, meaning that build_value_labels_ranges often misses values in the output.

Last updated: Dec 23 2024 at 12:05 UTC