Decision #214 — `library/core/src/cmp.rs:1877`

Status: unreached

Truth table

row	c0 br 1742	c1 br 1749	c2 br 1756	outcome

Independent-effect pairs

c0 (branch 1742): DEAD view gap →
scry_analyze_core::recursive_flags_from_sccs · br_if
inlined: lib.rs:3308 ← library/alloc/src/vec/mod.rs:3664 ← library/alloc/src/vec/mod.rs:2635 ← library/alloc/src/vec/mod.rs:3664 ← library/core/src/cmp.rs:2197
c1 (branch 1749): DEAD view gap →
scry_analyze_core::recursive_flags_from_sccs · br_if
c2 (branch 1756): DEAD view gap →
scry_analyze_core::recursive_flags_from_sccs · br_if

← back to scry-mcdc