Decision #644 — library/core/src/intrinsics/mod.rs:459
Status: unreached
Truth table
| row | c0 br 4565 | c1 br 4578 | outcome |
|---|
Independent-effect pairs
c0(branch4565): DEAD view gap →<scry_float::FloatAbstract>::mul· br_if
inlined: library/alloc/src/raw_vec/mod.rs:434 ← library/alloc/src/raw_vec/mod.rs:454 ← library/alloc/src/raw_vec/mod.rs:901 ← library/core/src/alloc/layout.rs:527 ← library/core/src/num/uint_macros.rs:1289c1(branch4578): DEAD view gap →<scry_float::FloatAbstract>::mul· br_if
inlined: library/alloc/src/raw_vec/mod.rs:590 ← library/alloc/src/raw_vec/mod.rs:454 ← library/alloc/src/raw_vec/mod.rs:901 ← library/core/src/alloc/layout.rs:527 ← library/core/src/num/uint_macros.rs:1289