Decision #890 — binary_reader.rs:1885
Status: unreached
Truth table
| row | c0 br 6359 | c1 br 6360 | c2 br 6362 | c3 br 6363 | c4 br 6364 | c5 br 6365 | c6 br 6366 | c7 br 6367 | c8 br 6368 | c9 br 6369 | c10 br 6370 | c11 br 6371 | c12 br 6372 | c13 br 6373 | c14 br 6374 | c15 br 6375 | c16 br 6376 | c17 br 6377 | c18 br 6378 | c19 br 6379 | c20 br 6380 | c21 br 6381 | c22 br 6382 | c23 br 6383 | c24 br 6384 | c25 br 6385 | c26 br 6386 | c27 br 6387 | c28 br 6388 | c29 br 6389 | outcome |
|---|
Independent-effect pairs
All 30 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_0xfe_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 30 br_if
c0(branch6359): DEAD view gap →c1(branch6360): DEAD view gap →c2(branch6362): DEAD view gap →c3(branch6363): DEAD view gap →c4(branch6364): DEAD view gap →c5(branch6365): DEAD view gap →c6(branch6366): DEAD view gap →c7(branch6367): DEAD view gap →c8(branch6368): DEAD view gap →c9(branch6369): DEAD view gap →c10(branch6370): DEAD view gap →c11(branch6371): DEAD view gap →c12(branch6372): DEAD view gap →c13(branch6373): DEAD view gap →c14(branch6374): DEAD view gap →c15(branch6375): DEAD view gap →c16(branch6376): DEAD view gap →c17(branch6377): DEAD view gap →c18(branch6378): DEAD view gap →c19(branch6379): DEAD view gap →c20(branch6380): DEAD view gap →c21(branch6381): DEAD view gap →c22(branch6382): DEAD view gap →c23(branch6383): DEAD view gap →c24(branch6384): DEAD view gap →c25(branch6385): DEAD view gap →c26(branch6386): DEAD view gap →c27(branch6387): DEAD view gap →c28(branch6388): DEAD view gap →c29(branch6389): DEAD view gap →