Decision #840 — binary_reader.rs:1186
Status: no_witness
Truth table
| row | c0 br 5849 | c1 br 5852 | c2 br 5853 | c3 br 5854 | outcome |
|---|---|---|---|---|---|
| 22428 | F | * | * | * | F |
| 22429 | F | * | * | * | F |
| 31906 | F | * | * | * | F |
| 31907 | F | * | * | * | F |
| 38227 | F | * | * | * | F |
| 44440 | F | * | * | * | F |
| 72548 | F | * | * | * | F |
| 72549 | F | * | * | * | F |
| 84061 | F | * | * | * | F |
| 84062 | F | * | * | * | F |
| 103350 | * | F | * | * | F |
| 103351 | * | F | * | * | F |
| 107007 | * | F | * | * | F |
| 107008 | * | F | * | * | F |
| 107009 | * | F | * | * | F |
| 107010 | * | F | * | * | F |
| 107011 | * | F | * | * | F |
| 107012 | * | F | * | * | F |
| 109531 | * | F | * | * | F |
| 112473 | * | F | * | * | F |
| 112474 | * | F | * | * | F |
| 112475 | * | F | * | * | F |
| 112476 | * | F | * | * | F |
| 112477 | * | F | * | * | F |
| 112478 | * | F | * | * | F |
| 115406 | * | F | * | * | F |
| 115407 | * | F | * | * | F |
| 135261 | F | * | * | * | F |
| 135262 | F | * | * | * | F |
| 158197 | F | * | * | * | F |
| 158198 | F | * | * | * | F |
Independent-effect pairs
All 4 conditions live in <wasmparser::binary_reader::BinaryReader>::visit_operator::<wasmparser::readers::core::operators::FrameStackAdapter<wasmparser::readers::core::operators::OperatorFactory>> — 4 br_if
c0(branch5849): GAP view gap →c1(branch5852): GAP view gap →c2(branch5853): DEAD view gap →c3(branch5854): DEAD view gap →