Decision #683 — library/core/src/option.rs:1367
Status: no_witness
Truth table
| row | c0 br 4911 | c1 br 4925 | outcome |
|---|---|---|---|
| 18290 | * | F | F |
| 26008 | * | F | F |
| 31734 | * | F | F |
| 37672 | * | F | F |
| 59749 | * | F | F |
| 69521 | * | F | F |
| 107417 | * | F | F |
| 126280 | * | F | F |
Independent-effect pairs
c0(branch4911): DEAD view gap →wasmparser::readers::core::code::FunctionBody::get_binary_reader_for_operators· br_if
inlined: types.rs:2109c1(branch4925): GAP view gap →wasmparser::readers::core::code::FunctionBody::get_binary_reader_for_operators· br_if
inlined: types.rs:2123 ← binary_reader.rs:285 ← types.rs:2256