Decision #27 — library/core/src/cmp.rs:1916

Status: unreached

Truth table

Independent-effect pairs

• c0 (branch 155): DEAD view gap →
  <alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, u32, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::LeafOrInternal>>::fix_node_through_parent::<alloc::alloc::Global> · br_if
  inlined: library/alloc/src/collections/btree/node.rs:1645
• c1 (branch 156): DEAD view gap →
  <alloc::collections::btree::node::NodeRef<alloc::collections::btree::node::marker::Mut, u32, alloc::collections::btree::set_val::SetValZST, alloc::collections::btree::node::marker::LeafOrInternal>>::fix_node_through_parent::<alloc::alloc::Global> · br_if
  inlined: library/alloc/src/collections/btree/node.rs:1645

← back to scry-mcdc