Decision #856 — library/core/src/result.rs:2173
Status: no_witness
Truth table
| row | c0 br 5917 | c1 br 5918 | c2 br 5920 | c3 br 5921 | outcome |
|---|---|---|---|---|---|
| 98383 | * | * | F | F | F |
| 99898 | * | * | F | F | F |
| 101316 | * | * | F | F | F |
Independent-effect pairs
All 4 conditions live in <wasmparser::binary_reader::BinaryReader>::read_memarg — 4 br_if
c0(branch5917): DEAD view gap →c1(branch5918): DEAD view gap →c2(branch5920): GAP view gap →c3(branch5921): GAP view gap →