Decision #1611 — library/core/src/ptr/mod.rs:1731

Status: partial

Truth table

Independent-effect pairs

• c0 (branch 2107): PROVED
  scry_analyze_core::compute_bit_facts · br_table_target
  inlined: lib.rs:4542 ← library/alloc/src/vec/mod.rs:2860
• c1 (branch 2108): DEAD view gap →
  scry_analyze_core::compute_bit_facts · br_table_target
  inlined: lib.rs:4542 ← library/alloc/src/vec/mod.rs:2860
• c2 (branch 2109): DEAD view gap →
  scry_analyze_core::compute_bit_facts · br_table_default
  inlined: lib.rs:4542 ← library/alloc/src/vec/mod.rs:2860

← back to scry-mcdc