Decision #886 — lib.rs:74

Status: unreached

Truth table

Independent-effect pairs

• c0 (branch 5884): DEAD view gap →
  <scry_segment::Segmentation>::strong_store · br_if
  inlined: lib.rs:159
• c1 (branch 5886): DEAD view gap →
  <scry_segment::Segmentation>::strong_store · br_if
  inlined: library/alloc/src/raw_vec/mod.rs:549 ← library/alloc/src/raw_vec/mod.rs:905 ← library/core/src/alloc/layout.rs:527 ← library/core/src/num/uint_macros.rs:1290

← back to scry-mcdc