Decision #561 — library/core/src/ptr/mod.rs:823
Status: unreached
Truth table
| row | c0 br 3890 | c1 br 3891 | c2 br 3892 | outcome |
|---|
Independent-effect pairs
c0(branch3890): DEAD view gap →scry_analyze_core::strip_rust_disambiguator· br_if
inlined: lib.rs:2974 ← library/core/src/ptr/mod.rs:823c1(branch3891): DEAD view gap →scry_analyze_core::strip_rust_disambiguator· br_if
inlined: lib.rs:2974 ← library/core/src/ptr/mod.rs:823c2(branch3892): DEAD view gap →scry_analyze_core::strip_rust_disambiguator· br_if
inlined: lib.rs:2974 ← library/core/src/ptr/mod.rs:823