Decision #301 — library/core/src/ptr/mod.rs:1939

Status: unreached

Truth table

Independent-effect pairs

All 5 conditions live in <alloc::collections::btree::map::BTreeMap<_, _, _> as core::clone::Clone>::clone::clone_subtree::<usize, alloc::collections::btree::set_val::SetValZST, alloc::alloc::Global> — 5 br_if

• c0 (branch 1598): DEAD view gap →
• c1 (branch 1599): DEAD view gap →
• c2 (branch 1600): DEAD view gap →
• c3 (branch 1601): DEAD view gap →
• c4 (branch 1602): DEAD view gap →

← back to scry-mcdc