Decision #899 — binary_reader.rs:1990
Status: unreached
Truth table
| row | c0 br 6487 | c1 br 6488 | c2 br 6489 | c3 br 6490 | c4 br 6491 | c5 br 6492 | c6 br 6493 | c7 br 6494 | c8 br 6495 | c9 br 6496 | c10 br 6497 | c11 br 6498 | c12 br 6499 | c13 br 6500 | c14 br 6501 | c15 br 6502 | c16 br 6503 | c17 br 6504 | c18 br 6505 | c19 br 6506 | c20 br 6507 | outcome |
|---|
Independent-effect pairs
All 21 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_0xfe_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 21 br_if
c0(branch6487): DEAD view gap →c1(branch6488): DEAD view gap →c2(branch6489): DEAD view gap →c3(branch6490): DEAD view gap →c4(branch6491): DEAD view gap →c5(branch6492): DEAD view gap →c6(branch6493): DEAD view gap →c7(branch6494): DEAD view gap →c8(branch6495): DEAD view gap →c9(branch6496): DEAD view gap →c10(branch6497): DEAD view gap →c11(branch6498): DEAD view gap →c12(branch6499): DEAD view gap →c13(branch6500): DEAD view gap →c14(branch6501): DEAD view gap →c15(branch6502): DEAD view gap →c16(branch6503): DEAD view gap →c17(branch6504): DEAD view gap →c18(branch6505): DEAD view gap →c19(branch6506): DEAD view gap →c20(branch6507): DEAD view gap →