Decision #1069 — types.rs:1254
Status: no_witness
Truth table
| row | c0 br 7475 | c1 br 7476 | c2 br 7477 | outcome |
|---|---|---|---|---|
| 2192 | F | F | F | F |
| 5983 | F | F | F | F |
| 9764 | F | F | F | F |
Independent-effect pairs
c0(branch7475): GAP view gap →<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader· br_if
inlined: types.rs:1272c1(branch7476): GAP view gap →<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader· br_ifc2(branch7477): GAP view gap →<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader· br_if