Decision #494 — operators.rs:406
Status: no_witness
Truth table
| row | c0 br 3314 | c1 br 3315 | c2 br 3316 | outcome |
|---|---|---|---|---|
| 1099 | T | F | * | F |
| 4139 | T | F | * | F |
| 7088 | T | F | * | F |
Independent-effect pairs
c0(branch3314): GAP view gap →wasmparser::binary_reader::BinaryReader::read_var_s33· br_if
inlined: binary_reader.rs:908c1(branch3315): GAP view gap →wasmparser::binary_reader::BinaryReader::read_var_s33· br_if
inlined: binary_reader.rs:908c2(branch3316): DEAD view gap →wasmparser::binary_reader::BinaryReader::read_var_s33· br_if
inlined: binary_reader.rs:908