Decision #1064 — binary_reader.rs:1009
Status: no_witness
Truth table
| row | c0 br 6716 | c1 br 6717 | c2 br 6718 | c3 br 6719 | c4 br 6720 | c5 br 6721 | outcome |
|---|---|---|---|---|---|---|---|
| 2312 | T | * | T | T | F | F | T |
| 9271 | T | * | T | T | F | F | T |
| 16077 | T | * | T | T | F | F | T |
| 192064 | T | * | T | T | F | F | T |
| 197973 | T | * | T | T | F | F | T |
| 203930 | T | * | T | T | F | F | T |
| 209063 | T | * | T | T | F | F | T |
| 209064 | T | * | T | T | F | F | T |
| 216795 | T | * | T | T | F | F | T |
Independent-effect pairs
All 6 conditions live in <wasmparser::binary_reader::BinaryReader>::skip::<<wasmparser::readers::core::init::ConstExpr as wasmparser::readers::FromReader>::from_reader::{closure#0}> — 6 br_if
c0(branch6716): GAP view gap →c1(branch6717): DEAD view gap →c2(branch6718): GAP view gap →c3(branch6719): GAP view gap →c4(branch6720): GAP view gap →c5(branch6721): GAP view gap →