Decision #596 — library/alloc/src/alloc.rs:128
Status: no_witness
Truth table
| row | c0 br 4504 | c1 br 4505 | outcome |
|---|---|---|---|
| 1151 | F | F | F |
| 1152 | F | F | F |
| 4191 | F | F | F |
| 4192 | F | F | F |
| 7140 | F | F | F |
| 7141 | F | F | F |
Independent-effect pairs
c0(branch4504): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_ifc1(branch4505): GAP view gap →wasmparser::binary_reader::BinaryReader::skip· br_if