Decision #1267 — binary_reader.rs:93
Status: no_witness
Truth table
| row | c0 br 8560 | c1 br 8561 | outcome |
|---|---|---|---|
| 3249 | T | * | T |
| 3250 | T | * | T |
| 10206 | T | * | T |
| 10207 | T | * | T |
| 17059 | T | * | T |
| 17060 | T | * | T |
| 22527 | T | * | T |
| 25267 | T | * | T |
| 27913 | T | * | T |
| 39510 | T | * | T |
| 60362 | T | * | T |
| 75971 | T | * | T |
| 85854 | T | * | T |
| 94164 | T | * | T |
| 94165 | T | * | T |
| 102025 | T | * | T |
| 102026 | T | * | T |
| 110506 | T | * | T |
| 110507 | T | * | T |
| 118508 | T | * | T |
| 118509 | T | * | T |
| 132899 | T | * | T |
| 149618 | T | * | T |
| 161010 | T | * | T |
| 170868 | T | * | T |
| 177617 | T | * | T |
| 182032 | T | * | T |
| 185348 | T | * | T |
| 188459 | T | * | T |
| 192615 | T | * | T |
| 199097 | T | * | T |
| 204404 | T | * | T |
| 210018 | T | * | T |
| 217495 | T | * | T |
| 253500 | T | * | T |
| 330877 | T | * | T |
| 377928 | T | * | T |
| 380595 | T | * | T |
| 383476 | T | * | T |
Independent-effect pairs
c0(branch8560): GAP view gap →wasmparser::readers::core::types::read_composite_type· br_if
inlined: names.rs:35 ← binary_reader.rs:443 ← binary_reader.rs:422c1(branch8561): DEAD view gap →wasmparser::readers::core::types::read_composite_type· br_if