Decision #636 — library/alloc/src/raw_vec/mod.rs:615

Status: unreached

Truth table

Independent-effect pairs

• c0 (branch 4246): DEAD view gap →
  scry_analyze_core::recursive_flags_from_sccs · br_if
  inlined: lib.rs:1607 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1038 ← library/alloc/src/raw_vec/mod.rs:309
• c1 (branch 4248): DEAD view gap →
  scry_analyze_core::recursive_flags_from_sccs · br_if
  inlined: lib.rs:1607 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1042 ← library/alloc/src/vec/mod.rs:2061 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:610
• c2 (branch 4256): DEAD view gap →
  scry_analyze_core::recursive_flags_from_sccs · br_if
  inlined: lib.rs:1635 ← src/digest.rs:126 ← library/core/src/convert/mod.rs:720 ← library/alloc/src/vec/mod.rs:4344 ← library/alloc/src/vec/mod.rs:3797 ← library/alloc/src/vec/mod.rs:1873 ← library/alloc/src/vec/mod.rs:1977 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:610

← back to scry-mcdc