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

Status: unreached

Truth table

Independent-effect pairs

• c0 (branch 4138): DEAD view gap →
  <core::str::pattern::StrSearcher as core::str::pattern::Searcher>::next_match · br_if
  inlined: library/alloc/src/vec/spec_from_iter_nested.rs:60 ← library/alloc/src/vec/spec_extend.rs:27 ← library/alloc/src/vec/mod.rs:4077 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128
• c1 (branch 4139): DEAD view gap →
  <core::str::pattern::StrSearcher as core::str::pattern::Searcher>::next_match · br_if
  inlined: library/alloc/src/vec/spec_from_iter_nested.rs:60 ← library/alloc/src/vec/spec_extend.rs:27 ← library/alloc/src/vec/mod.rs:4077 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128
• c2 (branch 4140): DEAD view gap →
  <core::str::pattern::StrSearcher as core::str::pattern::Searcher>::next_match · br_if
  inlined: library/alloc/src/vec/spec_from_iter_nested.rs:60 ← library/alloc/src/vec/spec_extend.rs:27 ← library/alloc/src/vec/mod.rs:4077 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128
• c3 (branch 4141): DEAD view gap →
  <core::str::pattern::StrSearcher as core::str::pattern::Searcher>::next_match · br_if
  inlined: library/alloc/src/vec/spec_from_iter_nested.rs:60 ← library/alloc/src/vec/spec_extend.rs:27 ← library/alloc/src/vec/mod.rs:4077 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128
• c4 (branch 4142): DEAD view gap →
  <core::str::pattern::StrSearcher as core::str::pattern::Searcher>::next_match · br_if
  inlined: library/alloc/src/vec/spec_from_iter_nested.rs:60 ← library/alloc/src/vec/spec_extend.rs:27 ← library/alloc/src/vec/mod.rs:4077 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128
• c5 (branch 4143): DEAD view gap →
  <core::str::pattern::StrSearcher as core::str::pattern::Searcher>::next_match · br_if

← back to scry-mcdc