Decision #1125 — binary_reader.rs:1853
Status: unreached
Truth table
| row | c0 br 7395 | c1 br 7396 | c2 br 7398 | c3 br 7515 | c4 br 7516 | c5 br 7518 | c6 br 7519 | c7 br 7521 | c8 br 7522 | c9 br 7524 | c10 br 7525 | c11 br 7527 | c12 br 7528 | outcome |
|---|
Independent-effect pairs
All 13 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_0xfe_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 13 br_if
c0(branch7395): DEAD view gap →c1(branch7396): DEAD view gap →c2(branch7398): DEAD view gap →c3(branch7515): DEAD view gap →c4(branch7516): DEAD view gap →c5(branch7518): DEAD view gap →c6(branch7519): DEAD view gap →c7(branch7521): DEAD view gap →c8(branch7522): DEAD view gap →c9(branch7524): DEAD view gap →c10(branch7525): DEAD view gap →c11(branch7527): DEAD view gap →c12(branch7528): DEAD view gap →