Decision #1008 — binary_reader.rs:1853
Status: unreached
Truth table
| row | c0 br 3996 | c1 br 3997 | c2 br 3998 | c3 br 3999 | c4 br 4000 | c5 br 4001 | c6 br 4002 | c7 br 4003 | c8 br 4004 | c9 br 4005 | c10 br 4006 | c11 br 4007 | c12 br 4008 | c13 br 4009 | c14 br 4010 | c15 br 4011 | c16 br 4012 | c17 br 4013 | c18 br 4014 | c19 br 4015 | c20 br 4016 | c21 br 4017 | c22 br 4018 | c23 br 4019 | c24 br 4020 | c25 br 4021 | c26 br 4022 | c27 br 4023 | c28 br 4024 | c29 br 4025 | c30 br 4026 | c31 br 4027 | c32 br 4028 | c33 br 4029 | c34 br 4030 | c35 br 4031 | c36 br 4032 | c37 br 4033 | c38 br 4034 | c39 br 4035 | c40 br 4036 | c41 br 4037 | c42 br 4038 | c43 br 4039 | c44 br 4040 | c45 br 4041 | c46 br 4042 | c47 br 4043 | c48 br 4044 | c49 br 4045 | c50 br 4046 | c51 br 4047 | c52 br 4048 | c53 br 4049 | c54 br 4050 | c55 br 4051 | c56 br 4052 | c57 br 4053 | c58 br 4054 | c59 br 4055 | c60 br 4056 | c61 br 4057 | c62 br 4058 | c63 br 4059 | c64 br 4060 | c65 br 4061 | c66 br 4062 | c67 br 4063 | c68 br 4064 | c69 br 4065 | c70 br 4066 | c71 br 4067 | c72 br 4068 | c73 br 4069 | c74 br 4070 | c75 br 4071 | c76 br 4072 | c77 br 4073 | c78 br 4074 | c79 br 4075 | c80 br 4076 | c81 br 4077 | c82 br 4078 | c83 br 4079 | c84 br 4080 | c85 br 4081 | c86 br 4082 | c87 br 4083 | c88 br 4084 | c89 br 4085 | c90 br 4086 | c91 br 4087 | c92 br 4088 | c93 br 4089 | c94 br 4090 | c95 br 4091 | c96 br 4092 | c97 br 4093 | c98 br 4094 | c99 br 4095 | c100 br 4096 | c101 br 4097 | c102 br 4098 | c103 br 4099 | c104 br 4100 | c105 br 4101 | c106 br 4102 | c107 br 4103 | c108 br 4104 | c109 br 4105 | c110 br 4106 | c111 br 4107 | c112 br 4108 | c113 br 4109 | c114 br 4110 | c115 br 4111 | outcome |
|---|
Independent-effect pairs
All 116 conditions live in wasmparser::binary_reader::BinaryReader::visit_0xfe_operator — 1 br_table_default + 115 br_table_target
c0(branch3996): DEAD view gap →c1(branch3997): DEAD view gap →c2(branch3998): DEAD view gap →c3(branch3999): DEAD view gap →c4(branch4000): DEAD view gap →c5(branch4001): DEAD view gap →c6(branch4002): DEAD view gap →c7(branch4003): DEAD view gap →c8(branch4004): DEAD view gap →c9(branch4005): DEAD view gap →c10(branch4006): DEAD view gap →c11(branch4007): DEAD view gap →c12(branch4008): DEAD view gap →c13(branch4009): DEAD view gap →c14(branch4010): DEAD view gap →c15(branch4011): DEAD view gap →c16(branch4012): DEAD view gap →c17(branch4013): DEAD view gap →c18(branch4014): DEAD view gap →c19(branch4015): DEAD view gap →c20(branch4016): DEAD view gap →c21(branch4017): DEAD view gap →c22(branch4018): DEAD view gap →c23(branch4019): DEAD view gap →c24(branch4020): DEAD view gap →c25(branch4021): DEAD view gap →c26(branch4022): DEAD view gap →c27(branch4023): DEAD view gap →c28(branch4024): DEAD view gap →c29(branch4025): DEAD view gap →c30(branch4026): DEAD view gap →c31(branch4027): DEAD view gap →c32(branch4028): DEAD view gap →c33(branch4029): DEAD view gap →c34(branch4030): DEAD view gap →c35(branch4031): DEAD view gap →c36(branch4032): DEAD view gap →c37(branch4033): DEAD view gap →c38(branch4034): DEAD view gap →c39(branch4035): DEAD view gap →c40(branch4036): DEAD view gap →c41(branch4037): DEAD view gap →c42(branch4038): DEAD view gap →c43(branch4039): DEAD view gap →c44(branch4040): DEAD view gap →c45(branch4041): DEAD view gap →c46(branch4042): DEAD view gap →c47(branch4043): DEAD view gap →c48(branch4044): DEAD view gap →c49(branch4045): DEAD view gap →c50(branch4046): DEAD view gap →c51(branch4047): DEAD view gap →c52(branch4048): DEAD view gap →c53(branch4049): DEAD view gap →c54(branch4050): DEAD view gap →c55(branch4051): DEAD view gap →c56(branch4052): DEAD view gap →c57(branch4053): DEAD view gap →c58(branch4054): DEAD view gap →c59(branch4055): DEAD view gap →c60(branch4056): DEAD view gap →c61(branch4057): DEAD view gap →c62(branch4058): DEAD view gap →c63(branch4059): DEAD view gap →c64(branch4060): DEAD view gap →c65(branch4061): DEAD view gap →c66(branch4062): DEAD view gap →c67(branch4063): DEAD view gap →c68(branch4064): DEAD view gap →c69(branch4065): DEAD view gap →c70(branch4066): DEAD view gap →c71(branch4067): DEAD view gap →c72(branch4068): DEAD view gap →c73(branch4069): DEAD view gap →c74(branch4070): DEAD view gap →c75(branch4071): DEAD view gap →c76(branch4072): DEAD view gap →c77(branch4073): DEAD view gap →c78(branch4074): DEAD view gap →c79(branch4075): DEAD view gap →c80(branch4076): DEAD view gap →c81(branch4077): DEAD view gap →c82(branch4078): DEAD view gap →c83(branch4079): DEAD view gap →c84(branch4080): DEAD view gap →c85(branch4081): DEAD view gap →c86(branch4082): DEAD view gap →c87(branch4083): DEAD view gap →c88(branch4084): DEAD view gap →c89(branch4085): DEAD view gap →c90(branch4086): DEAD view gap →c91(branch4087): DEAD view gap →c92(branch4088): DEAD view gap →c93(branch4089): DEAD view gap →c94(branch4090): DEAD view gap →c95(branch4091): DEAD view gap →c96(branch4092): DEAD view gap →c97(branch4093): DEAD view gap →c98(branch4094): DEAD view gap →c99(branch4095): DEAD view gap →c100(branch4096): DEAD view gap →c101(branch4097): DEAD view gap →c102(branch4098): DEAD view gap →c103(branch4099): DEAD view gap →c104(branch4100): DEAD view gap →c105(branch4101): DEAD view gap →c106(branch4102): DEAD view gap →c107(branch4103): DEAD view gap →c108(branch4104): DEAD view gap →c109(branch4105): DEAD view gap →c110(branch4106): DEAD view gap →c111(branch4107): DEAD view gap →c112(branch4108): DEAD view gap →c113(branch4109): DEAD view gap →c114(branch4110): DEAD view gap →c115(branch4111): DEAD view gap →