Decision #1257 — library/alloc/src/raw_vec/mod.rs:493
Status: no_witness
Truth table
| row | c0 br 8493 | c1 br 8495 | outcome |
|---|---|---|---|
| 2719 | F | * | F |
| 9676 | F | * | F |
| 16497 | F | * | F |
Independent-effect pairs
c0(branch8493): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_var_s33· br_if
inlined: library/alloc/src/raw_vec/mod.rs:188c1(branch8495): DEAD view gap →<wasmparser::binary_reader::BinaryReader>::read_var_s33· br_if