Decision #891 — binary_reader.rs:1896
Status: unreached
Truth table
| row | c0 br 6390 | c1 br 6391 | c2 br 6392 | c3 br 6393 | c4 br 6394 | c5 br 6395 | c6 br 6397 | c7 br 6398 | c8 br 6400 | c9 br 6401 | c10 br 6403 | c11 br 6404 | c12 br 6406 | c13 br 6407 | c14 br 6409 | c15 br 6410 | c16 br 6412 | c17 br 6413 | c18 br 6415 | c19 br 6417 | outcome |
|---|
Independent-effect pairs
All 20 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_0xfe_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 20 br_if
c0(branch6390): DEAD view gap →c1(branch6391): DEAD view gap →c2(branch6392): DEAD view gap →c3(branch6393): DEAD view gap →c4(branch6394): DEAD view gap →c5(branch6395): DEAD view gap →c6(branch6397): DEAD view gap →c7(branch6398): DEAD view gap →c8(branch6400): DEAD view gap →c9(branch6401): DEAD view gap →c10(branch6403): DEAD view gap →c11(branch6404): DEAD view gap →c12(branch6406): DEAD view gap →c13(branch6407): DEAD view gap →c14(branch6409): DEAD view gap →c15(branch6410): DEAD view gap →c16(branch6412): DEAD view gap →c17(branch6413): DEAD view gap →c18(branch6415): DEAD view gap →c19(branch6417): DEAD view gap →