Decision #411 — library/core/src/option.rs:1651
Status: unreached
Truth table
| row | c0 br 2804 | c1 br 2805 | c2 br 2806 | outcome |
|---|
Independent-effect pairs
c0(branch2804): DEAD view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:3237c1(branch2805): DEAD view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:3237c2(branch2806): DEAD view gap →scry_analyze_core::run_taint_analysis· br_if
inlined: lib.rs:3238