Decision #368 — library/core/src/ptr/mod.rs:1933
Status: no_witness
Truth table
| row | c0 br 2309 | c1 br 2314 | c2 br 2317 | c3 br 2318 | c4 br 2320 | c5 br 2357 | c6 br 2359 | c7 br 2365 | c8 br 2366 | c9 br 2367 | c10 br 2369 | outcome |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 47608 | * | * | * | * | * | * | * | T | * | * | * | T |
| 47609 | * | * | * | * | * | * | * | T | * | * | * | T |
| 47610 | * | * | * | * | * | * | * | F | T | * | * | T |
| 47611 | * | * | * | * | * | * | * | F | T | * | * | T |
| 51736 | * | * | * | * | * | * | * | T | * | * | * | T |
| 51737 | * | * | * | * | * | * | * | T | * | * | * | T |
| 51738 | * | * | * | * | * | * | * | F | T | * | * | T |
| 51739 | * | * | * | * | * | * | * | F | T | * | * | T |
| 56274 | * | * | * | * | * | * | * | T | * | * | * | T |
| 56275 | * | * | * | * | * | * | * | T | * | * | * | T |
| 56276 | * | * | * | * | * | * | * | T | * | * | * | T |
| 56277 | * | * | * | * | * | * | * | T | * | * | * | T |
| 60532 | * | * | * | * | * | * | * | T | * | * | * | T |
| 60533 | * | * | * | * | * | * | * | T | * | * | * | T |
| 60534 | * | * | * | * | * | * | * | F | T | * | * | T |
| 60535 | * | * | * | * | * | * | * | F | T | * | * | T |
| 95911 | * | * | * | * | * | * | * | T | * | * | * | T |
| 95912 | * | * | * | * | * | * | * | F | T | * | * | T |
| 105366 | * | * | * | * | * | * | * | T | * | * | * | T |
| 105367 | * | * | * | * | * | * | * | T | * | * | * | T |
| 105368 | * | * | * | * | * | * | * | F | F | * | * | T |
| 105369 | * | * | * | * | * | * | * | F | T | * | * | T |
| 114317 | * | * | * | * | * | * | * | T | * | * | * | T |
| 114318 | * | * | * | * | * | * | * | F | T | * | * | T |
Independent-effect pairs
c0(branch2309): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6093 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c1(branch2314): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6097 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c2(branch2317): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6000 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c3(branch2318): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6000 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c4(branch2320): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6009 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c5(branch2357): DEAD view gap →<scry_analyze_core::Interp>::seq· 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:4062 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128 ← library/core/src/iter/adapters/enumerate.rs:146c6(branch2359): DEAD view gap →<scry_analyze_core::Interp>::seq· br_ifc7(branch2365): GAP view gap →<scry_analyze_core::Interp>::seq· 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:4062 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128c8(branch2366): GAP view gap →<scry_analyze_core::Interp>::seq· 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:4062 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128c9(branch2367): DEAD view gap →<scry_analyze_core::Interp>::seq· br_ifc10(branch2369): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:3862 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045