Decision #133 — library/core/src/ptr/mod.rs:1921
Status: no_witness
Truth table
| row | c0 br 703 | c1 br 704 | c2 br 705 | c3 br 707 | c4 br 708 | c5 br 716 | outcome |
|---|---|---|---|---|---|---|---|
| 13392 | * | * | * | T | T | T | T |
| 13393 | * | * | * | T | T | T | T |
| 21110 | * | * | * | T | T | T | T |
| 21111 | * | * | * | T | T | T | T |
| 28905 | * | * | * | T | T | T | T |
| 28906 | * | * | * | T | T | T | T |
| 34843 | * | * | * | T | T | T | T |
| 34844 | * | * | * | T | T | T | T |
| 53300 | * | * | * | T | T | T | T |
| 53301 | * | * | * | T | T | T | T |
| 63072 | * | * | * | T | T | T | T |
| 63073 | * | * | * | T | T | T | T |
| 90823 | * | T | * | * | * | * | T |
| 90824 | * | F | T | * | * | * | T |
| 92996 | * | * | * | T | T | T | T |
| 92997 | * | * | * | T | T | T | T |
| 111859 | * | * | * | T | T | T | T |
| 111860 | * | * | * | T | T | T | T |
Independent-effect pairs
c0(branch703): 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128 ← library/core/src/iter/adapters/enumerate.rs:146c1(branch704): 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:4027 ← library/core/src/iter/traits/iterator.rs:889 ← library/core/src/iter/adapters/map.rs:128 ← library/core/src/iter/adapters/enumerate.rs:146c2(branch705): GAP view gap →scry_analyze_core::Interp::seq· br_ifc3(branch707): GAP view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:2663 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c4(branch708): GAP view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:2663 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c5(branch716): GAP view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:2683 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045