Decision #1650 — src/binary_reader.rs:232
Status: partial
Truth table
| row | c0 br 4438 | c1 br 4439 | c2 br 4440 | c3 br 4441 | outcome |
|---|
Independent-effect pairs
c0(branch4438): PROVEDscry_analyze_core::analyze· br_table_target
inlined: src/readers.rs:207c1(branch4439): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: src/readers.rs:207c2(branch4440): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: src/readers.rs:207c3(branch4441): DEAD view gap →scry_analyze_core::analyze· br_table_default
inlined: src/readers.rs:207