Decision #500 — binary_reader.rs:1098
Status: partial
Truth table
| row | c0 br 3611 | c1 br 3613 | outcome |
|---|---|---|---|
| 1115 | F | * | F |
| 1116 | F | * | F |
| 1117 | F | * | F |
| 1118 | F | * | F |
| 1119 | F | * | F |
| 1120 | F | * | F |
| 4155 | F | * | F |
| 4156 | F | * | F |
| 4157 | F | * | F |
| 4158 | F | * | F |
| 4159 | F | * | F |
| 4160 | F | * | F |
| 7104 | F | * | F |
| 7105 | F | * | F |
| 7106 | F | * | F |
| 7107 | F | * | F |
| 7108 | F | * | F |
| 7109 | F | * | F |
| 9797 | F | * | F |
| 10945 | F | * | F |
| 12036 | F | * | F |
| 18158 | T | * | T |
| 18159 | T | * | T |
| 18160 | F | * | F |
| 25876 | T | * | T |
| 25877 | T | * | T |
| 25878 | F | * | F |
| 31604 | T | * | T |
| 31605 | T | * | T |
| 31606 | F | * | F |
| 37542 | T | * | T |
| 37543 | T | * | T |
| 37544 | F | * | F |
| 41136 | F | * | F |
| 41137 | F | * | F |
| 41138 | F | * | F |
| 44149 | F | * | F |
| 44150 | F | * | F |
| 44151 | F | * | F |
| 47601 | F | * | F |
| 47602 | F | * | F |
| 47603 | F | * | F |
| 50676 | F | * | F |
| 50677 | F | * | F |
| 50678 | F | * | F |
| 59617 | T | * | T |
| 59618 | T | * | T |
| 59619 | F | * | F |
| 69389 | T | * | T |
| 69390 | T | * | T |
| 69391 | F | * | F |
| 73577 | F | * | F |
| 73578 | F | * | F |
| 73579 | F | * | F |
| 73580 | F | * | F |
| 73581 | F | * | F |
| 73582 | F | * | F |
| 77052 | F | * | F |
| 77053 | F | * | F |
| 77054 | F | * | F |
| 77055 | F | * | F |
| 77056 | F | * | F |
| 77057 | F | * | F |
| 79573 | F | * | F |
| 79574 | F | * | F |
| 79575 | F | * | F |
| 81004 | F | * | F |
| 82191 | F | * | F |
| 83253 | F | * | F |
| 84499 | F | * | F |
| 84500 | F | * | F |
| 84501 | F | * | F |
| 84502 | F | * | F |
| 86317 | F | * | F |
| 86318 | F | * | F |
| 86319 | F | * | F |
| 86320 | F | * | F |
| 86321 | F | * | F |
| 86322 | F | * | F |
| 87836 | F | * | F |
| 87837 | F | * | F |
| 87838 | F | * | F |
| 87839 | F | * | F |
| 89632 | F | * | F |
| 89633 | F | * | F |
| 89634 | F | * | F |
| 89635 | F | * | F |
| 89636 | F | * | F |
| 89637 | F | * | F |
| 89638 | F | * | F |
| 89639 | F | * | F |
| 91215 | F | * | F |
| 91216 | F | * | F |
| 91217 | F | * | F |
| 91218 | T | * | T |
| 91219 | F | * | F |
| 107283 | T | * | T |
| 107284 | T | * | T |
| 107285 | F | * | F |
| 126146 | T | * | T |
| 126147 | T | * | T |
| 126148 | F | * | F |
| 130203 | F | * | F |
| 131378 | F | * | F |
| 132705 | F | * | F |
Independent-effect pairs
c0(branch3611): PROVED — pair rows1115,18158(masking)wasmparser::binary_reader::BinaryReader::visit_operator· br_ifc1(branch3613): DEAD view gap →wasmparser::binary_reader::BinaryReader::visit_operator· br_if