Decision #195 — library/core/src/ptr/mod.rs:1921
Status: no_witness
Truth table
| row | c0 br 1633 | c1 br 1634 | c2 br 1635 | c3 br 1636 | c4 br 1637 | c5 br 1638 | c6 br 1639 | c7 br 1640 | c8 br 1641 | c9 br 1642 | c10 br 1643 | c11 br 1644 | c12 br 1645 | c13 br 1651 | c14 br 1652 | outcome |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 40685 | F | F | F | T | * | * | * | * | * | * | * | * | * | * | * | T |
| 40686 | F | F | F | T | * | * | * | * | * | * | * | * | * | * | * | T |
| 43696 | F | F | F | T | * | * | * | * | * | * | * | * | * | * | * | T |
| 43697 | F | F | F | T | * | * | * | * | * | * | * | * | * | * | * | T |
| 47149 | F | F | F | T | * | * | * | * | * | * | * | * | * | * | * | T |
| 47150 | F | F | F | T | * | * | * | * | * | * | * | * | * | * | * | T |
| 50225 | F | F | F | T | * | * | * | * | * | * | * | * | * | * | * | T |
| 50226 | F | F | F | T | * | * | * | * | * | * | * | * | * | * | * | T |
| 79282 | F | F | F | T | * | * | * | * | * | * | * | * | * | * | * | T |
| 85787 | F | F | F | T | * | * | * | * | * | * | * | * | * | * | * | T |
| 85788 | F | F | F | T | * | * | * | * | * | * | * | * | * | * | * | T |
| 89095 | F | F | F | T | * | * | * | * | * | * | * | * | * | * | * | T |
| 90876 | F | F | F | T | * | * | * | * | * | * | * | * | * | * | * | T |
Independent-effect pairs
c0(branch1633): GAP view gap →scry_analyze_core::build_static_call_graph· 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128c1(branch1634): GAP view gap →scry_analyze_core::build_static_call_graph· 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128c2(branch1635): GAP view gap →scry_analyze_core::build_static_call_graph· 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128c3(branch1636): GAP view gap →scry_analyze_core::build_static_call_graph· 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128c4(branch1637): DEAD view gap →scry_analyze_core::build_static_call_graph· 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128c5(branch1638): DEAD view gap →scry_analyze_core::build_static_call_graph· 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128c6(branch1639): DEAD view gap →scry_analyze_core::build_static_call_graph· 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128c7(branch1640): DEAD view gap →scry_analyze_core::build_static_call_graph· 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128c8(branch1641): DEAD view gap →scry_analyze_core::build_static_call_graph· 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128c9(branch1642): DEAD view gap →scry_analyze_core::build_static_call_graph· 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128c10(branch1643): DEAD view gap →scry_analyze_core::build_static_call_graph· 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128c11(branch1644): DEAD view gap →scry_analyze_core::build_static_call_graph· 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128c12(branch1645): DEAD view gap →scry_analyze_core::build_static_call_graph· 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128c13(branch1651): DEAD view gap →scry_analyze_core::build_static_call_graph· br_ifc14(branch1652): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if