Decision #1006 — binary_reader.rs:1297
Status: unreached
Truth table
| row | c0 br 3788 | c1 br 3789 | c2 br 3790 | c3 br 3791 | c4 br 3792 | c5 br 3793 | c6 br 3794 | c7 br 3795 | c8 br 3796 | c9 br 3797 | c10 br 3798 | c11 br 3799 | c12 br 3800 | c13 br 3801 | c14 br 3802 | c15 br 3803 | c16 br 3804 | c17 br 3805 | c18 br 3806 | c19 br 3807 | c20 br 3808 | c21 br 3809 | c22 br 3810 | c23 br 3811 | c24 br 3812 | c25 br 3813 | c26 br 3814 | c27 br 3815 | c28 br 3816 | c29 br 3817 | c30 br 3818 | c31 br 3819 | c32 br 3820 | c33 br 3821 | c34 br 3822 | c35 br 3823 | c36 br 3824 | c37 br 3825 | c38 br 3826 | c39 br 3827 | outcome |
|---|
Independent-effect pairs
All 40 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfb_operator — 1 br_table_default + 39 br_table_target
c0(branch3788): DEAD view gap →c1(branch3789): DEAD view gap →c2(branch3790): DEAD view gap →c3(branch3791): DEAD view gap →c4(branch3792): DEAD view gap →c5(branch3793): DEAD view gap →c6(branch3794): DEAD view gap →c7(branch3795): DEAD view gap →c8(branch3796): DEAD view gap →c9(branch3797): DEAD view gap →c10(branch3798): DEAD view gap →c11(branch3799): DEAD view gap →c12(branch3800): DEAD view gap →c13(branch3801): DEAD view gap →c14(branch3802): DEAD view gap →c15(branch3803): DEAD view gap →c16(branch3804): DEAD view gap →c17(branch3805): DEAD view gap →c18(branch3806): DEAD view gap →c19(branch3807): DEAD view gap →c20(branch3808): DEAD view gap →c21(branch3809): DEAD view gap →c22(branch3810): DEAD view gap →c23(branch3811): DEAD view gap →c24(branch3812): DEAD view gap →c25(branch3813): DEAD view gap →c26(branch3814): DEAD view gap →c27(branch3815): DEAD view gap →c28(branch3816): DEAD view gap →c29(branch3817): DEAD view gap →c30(branch3818): DEAD view gap →c31(branch3819): DEAD view gap →c32(branch3820): DEAD view gap →c33(branch3821): DEAD view gap →c34(branch3822): DEAD view gap →c35(branch3823): DEAD view gap →c36(branch3824): DEAD view gap →c37(branch3825): DEAD view gap →c38(branch3826): DEAD view gap →c39(branch3827): DEAD view gap →