Decision #1009 — binary_reader.rs:93
Status: no_witness
Truth table
| row | c0 br 7197 | c1 br 7198 | outcome |
|---|---|---|---|
| 2140 | * | T | T |
| 2141 | * | T | T |
| 2142 | * | T | T |
| 2143 | * | T | T |
| 2144 | * | T | T |
| 5931 | * | T | T |
| 5932 | * | T | T |
| 5933 | * | T | T |
| 5934 | * | T | T |
| 5935 | * | T | T |
| 9712 | * | T | T |
| 9713 | * | T | T |
| 9714 | * | T | T |
| 9715 | * | T | T |
| 9716 | * | T | T |
| 12466 | * | T | T |
| 13840 | * | T | T |
| 15167 | * | T | T |
| 22598 | * | T | T |
| 32076 | * | T | T |
| 38395 | * | T | T |
| 44608 | * | T | T |
| 49263 | * | T | T |
| 49264 | * | T | T |
| 49265 | * | T | T |
| 53464 | * | T | T |
| 53465 | * | T | T |
| 53466 | * | T | T |
| 57994 | * | T | T |
| 57995 | * | T | T |
| 57996 | * | T | T |
| 62187 | * | T | T |
| 62188 | * | T | T |
| 62189 | * | T | T |
| 72718 | * | T | T |
| 84231 | * | T | T |
| 89784 | * | T | T |
| 89785 | * | T | T |
| 89786 | * | T | T |
| 89787 | * | T | T |
| 89788 | * | T | T |
| 89789 | * | T | T |
| 94052 | * | T | T |
| 94053 | * | T | T |
| 94054 | * | T | T |
| 94055 | * | T | T |
| 94056 | * | T | T |
| 94057 | * | T | T |
| 96780 | * | T | T |
| 96781 | * | T | T |
| 96782 | * | T | T |
| 98545 | * | T | T |
| 100060 | * | T | T |
| 101478 | * | T | T |
| 103564 | * | T | T |
| 107280 | * | T | T |
| 107281 | * | T | T |
| 107282 | * | T | T |
| 109737 | * | T | T |
| 112759 | * | T | T |
| 112760 | * | T | T |
| 115639 | * | T | T |
| 135434 | * | T | T |
| 158370 | * | T | T |
| 163791 | * | T | T |
| 165372 | * | T | T |
| 167092 | * | T | T |
Independent-effect pairs
c0(branch7197): DEAD view gap →<wasmparser::readers::core::code::FunctionBody>::get_locals_reader· br_ifc1(branch7198): GAP view gap →<wasmparser::readers::core::code::FunctionBody>::get_locals_reader· br_if