Decision #1001 — binary_reader.rs:421
Status: unreached
Truth table
| row | c0 br 7165 | c1 br 7166 | outcome |
|---|
Independent-effect pairs
c0(branch7165): DEAD view gap →alloc::fmt::format· br_if
inlined: code.rs:62 ← code.rs:42 ← binary_reader.rs:447c1(branch7166): DEAD view gap →alloc::fmt::format· br_if
inlined: code.rs:62 ← code.rs:42 ← binary_reader.rs:447