Decision #826 — library/alloc/src/vec/mod.rs:2844
Status: no_witness
Truth table
| row | c0 br 5476 | c1 br 5477 | outcome |
|---|---|---|---|
| 1859 | T | * | T |
| 1860 | F | T | T |
| 5650 | T | * | T |
| 5651 | F | T | T |
| 9431 | T | * | T |
| 9432 | F | T | T |
| 103344 | T | * | T |
| 103345 | F | T | T |
| 107000 | T | * | T |
| 107001 | F | T | T |
| 109525 | T | * | T |
| 109526 | F | T | T |
| 112464 | T | * | T |
| 112465 | F | T | T |
| 112466 | T | * | T |
| 112467 | F | T | T |
| 115398 | T | * | T |
| 115399 | F | T | T |
Independent-effect pairs
c0(branch5476): GAP view gap →<wasmparser::readers::core::operators::OperatorsReader>::skip_const_expr· br_if
inlined: binary_reader.rs:951 ← operators.rs:1058 ← operators.rs:388c1(branch5477): GAP view gap →<wasmparser::readers::core::operators::OperatorsReader>::skip_const_expr· br_if
inlined: binary_reader.rs:951 ← operators.rs:1058 ← operators.rs:388