Decision #1037 — binary_reader.rs:285
Status: no_witness
Truth table
| row | c0 br 7329 | c1 br 7330 | outcome |
|---|---|---|---|
| 2165 | T | * | T |
| 2166 | T | * | T |
| 5956 | T | * | T |
| 5957 | T | * | T |
| 9737 | T | * | T |
| 9738 | T | * | T |
| 12472 | T | * | T |
| 13846 | T | * | T |
| 15173 | T | * | T |
| 22608 | T | * | T |
| 32086 | T | * | T |
| 38405 | T | * | T |
| 44618 | T | * | T |
| 49278 | T | * | T |
| 49279 | T | * | T |
| 53479 | T | * | T |
| 53480 | T | * | T |
| 58009 | T | * | T |
| 58010 | T | * | T |
| 62202 | T | * | T |
| 62203 | T | * | T |
| 72728 | T | * | T |
| 84241 | T | * | T |
| 89825 | T | * | T |
| 94093 | T | * | T |
| 96792 | T | * | T |
| 98552 | T | * | T |
| 100067 | T | * | T |
| 101485 | T | * | T |
| 103573 | T | * | T |
| 107295 | T | * | T |
| 109746 | T | * | T |
| 112774 | T | * | T |
| 115648 | T | * | T |
| 135444 | T | * | T |
| 158380 | T | * | T |
| 163797 | T | * | T |
| 165378 | T | * | T |
| 167098 | T | * | T |
Independent-effect pairs
c0(branch7329): GAP view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: tables.rs:68c1(branch7330): DEAD view gap →<wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader· br_if
inlined: tables.rs:68