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

Status: partial

Truth table

row	c0 br 2588	c1 br 2589	c2 br 2590	c3 br 2591	c4 br 2592	c5 br 2715	c6 br 2716	c7 br 2717	c8 br 2718	c9 br 2719	c10 br 2720	c11 br 2721	c12 br 2722	c13 br 2723	c14 br 2724	c15 br 2725	c16 br 2726	c17 br 2727	c18 br 2728	c19 br 2729	c20 br 2730	c21 br 2731	c22 br 2732	c23 br 2733	c24 br 2734	c25 br 2735	c26 br 2736	c27 br 2737	c28 br 2841	c29 br 2842	c30 br 2843	outcome

Independent-effect pairs

c0 (branch 2588): PROVED
<scry_analyze_core::Interp>::seq · br_table_target
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 2589): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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 2590): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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 2591): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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 2592): PROVED
<scry_analyze_core::Interp>::seq · br_table_default
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 2715): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c6 (branch 2716): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c7 (branch 2717): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c8 (branch 2718): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c9 (branch 2719): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c10 (branch 2720): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c11 (branch 2721): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c12 (branch 2722): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c13 (branch 2723): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c14 (branch 2724): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c15 (branch 2725): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c16 (branch 2726): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c17 (branch 2727): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c18 (branch 2728): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c19 (branch 2729): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c20 (branch 2730): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c21 (branch 2731): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c22 (branch 2732): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c23 (branch 2733): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c24 (branch 2734): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c25 (branch 2735): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c26 (branch 2736): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
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
c27 (branch 2737): PROVED
<scry_analyze_core::Interp>::seq · br_table_default
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
c28 (branch 2841): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
inlined: lib.rs:7051 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043
c29 (branch 2842): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_target
inlined: lib.rs:7051 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043
c30 (branch 2843): DEAD view gap →
<scry_analyze_core::Interp>::seq · br_table_default
inlined: lib.rs:7051 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043

← back to scry-mcdc

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

Truth table

Independent-effect pairs

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