Decision #1673 — operators.rs:589
Status: unreached
Truth table
| row | c0 br 6664 | c1 br 6665 | c2 br 6666 | c3 br 6667 | c4 br 6668 | c5 br 6669 | c6 br 6670 | outcome |
|---|
Independent-effect pairs
All 7 conditions live in <wasmparser::readers::core::imports::TypeRef as wasmparser::readers::FromReader>::from_reader — 1 br_table_default + 6 br_table_target
c0(branch6664): DEAD view gap →c1(branch6665): DEAD view gap →c2(branch6666): DEAD view gap →c3(branch6667): DEAD view gap →c4(branch6668): DEAD view gap →c5(branch6669): DEAD view gap →c6(branch6670): DEAD view gap →