Decision #905 — library/alloc/src/vec/mod.rs:1037
Status: no_witness
Truth table
| row | c0 br 6559 | c1 br 6561 | outcome |
|---|---|---|---|
| 22449 | F | F | F |
| 22450 | F | F | F |
| 31927 | F | F | F |
| 31928 | F | F | F |
| 38246 | F | F | F |
| 38247 | F | F | F |
| 44459 | F | F | F |
| 44460 | F | F | F |
| 72569 | F | F | F |
| 72570 | F | F | F |
| 84082 | F | F | F |
| 84083 | F | F | F |
| 115442 | F | F | F |
| 135283 | F | F | F |
| 135284 | F | F | F |
| 158219 | F | F | F |
| 158220 | F | F | F |
Independent-effect pairs
c0(branch6559): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_block_type· br_if
inlined: operators.rs:1048 ← operators.rs:382 ← library/alloc/src/vec/mod.rs:1004c1(branch6561): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_block_type· br_if