Decision #1195 — binary_reader.rs:838
Status: no_witness
Truth table
| row | c0 br 8164 | c1 br 8170 | outcome |
|---|---|---|---|
| 2371 | T | * | T |
| 2372 | T | * | T |
| 9330 | T | * | T |
| 9331 | T | * | T |
| 16136 | T | * | T |
| 16137 | T | * | T |
| 22152 | T | * | T |
| 22153 | T | * | T |
| 24894 | T | * | T |
| 24895 | T | * | T |
| 27538 | T | * | T |
| 27539 | T | * | T |
| 38906 | T | * | T |
| 38907 | T | * | T |
| 59760 | T | * | T |
| 59761 | T | * | T |
| 75281 | T | * | T |
| 75282 | T | * | T |
| 85164 | T | * | T |
| 85165 | T | * | T |
| 93388 | T | * | T |
| 93389 | T | * | T |
| 101219 | T | * | T |
| 101220 | T | * | T |
| 109707 | T | * | T |
| 109708 | T | * | T |
| 117732 | T | * | T |
| 117733 | T | * | T |
| 132267 | T | * | T |
| 132268 | T | * | T |
| 148986 | T | * | T |
| 148987 | T | * | T |
| 159920 | T | * | T |
| 159921 | T | * | T |
| 169778 | T | * | T |
| 169779 | T | * | T |
| 177084 | T | * | T |
| 177085 | T | * | T |
| 181633 | T | * | T |
| 181634 | T | * | T |
| 184951 | T | * | T |
| 184952 | T | * | T |
| 188060 | T | * | T |
| 188061 | T | * | T |
| 192114 | T | * | T |
| 192115 | T | * | T |
| 198075 | T | * | T |
| 198076 | T | * | T |
| 203970 | T | * | T |
| 203971 | T | * | T |
| 209195 | T | * | T |
| 209196 | T | * | T |
| 216876 | T | * | T |
| 216877 | T | * | T |
| 252698 | T | * | T |
| 252699 | T | * | T |
| 330075 | T | * | T |
| 330076 | T | * | T |
| 377583 | T | * | T |
| 377584 | T | * | T |
| 380240 | T | * | T |
| 380241 | T | * | T |
| 383123 | T | * | T |
| 383124 | T | * | T |
Independent-effect pairs
c0(branch8164): GAP view gap →wasmparser::parser::section::<wasmparser::readers::SectionLimited<u32>>· br_ifc1(branch8170): DEAD view gap →wasmparser::parser::section::<wasmparser::readers::SectionLimited<u32>>· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:43 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← binary_reader.rs:861