Decision #162 — library/alloc/src/fmt.rs:659
Status: unreached
Truth table
| row | c0 br 1111 | c1 br 1112 | outcome |
|---|
Independent-effect pairs
c0(branch1111): DEAD view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:5019 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1278c1(branch1112): DEAD view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:5019 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1278