Decision #1670 — lib.rs:110
Status: unreached
Truth table
| row | c0 br 5434 | c1 br 5435 | c2 br 5436 | c3 br 5437 | outcome |
|---|
Independent-effect pairs
c0(branch5434): DEAD view gap →<&wasmparser::readers::core::operators::BlockType as core::fmt::Debug>::fmt· br_table_target
inlined: lib.rs:254 ← lib.rs:242c1(branch5435): DEAD view gap →<&wasmparser::readers::core::operators::BlockType as core::fmt::Debug>::fmt· br_table_target
inlined: lib.rs:254 ← lib.rs:242c2(branch5436): DEAD view gap →<&wasmparser::readers::core::operators::BlockType as core::fmt::Debug>::fmt· br_table_target
inlined: lib.rs:254 ← lib.rs:242c3(branch5437): DEAD view gap →<&wasmparser::readers::core::operators::BlockType as core::fmt::Debug>::fmt· br_table_default
inlined: lib.rs:254 ← lib.rs:242