Decision #438 — library/core/src/ptr/mod.rs:1939
Status: no_witness
Truth table
| row | c0 br 2485 | c1 br 2488 | c2 br 2489 | c3 br 2491 | c4 br 2493 | c5 br 2494 | c6 br 2495 | outcome |
|---|---|---|---|---|---|---|---|---|
| 30492 | T | T | * | T | * | T | T | T |
| 30493 | T | T | * | T | * | T | T | T |
| 51347 | T | T | * | T | * | T | T | T |
| 51348 | T | T | * | T | * | T | T | T |
| 72166 | T | T | * | T | * | T | T | T |
| 72167 | T | T | * | T | * | T | T | T |
| 82049 | T | T | * | T | * | T | T | T |
| 82050 | T | T | * | T | * | T | T | T |
| 124152 | T | T | * | T | * | T | T | T |
| 124153 | T | T | * | T | * | T | T | T |
| 140871 | T | T | * | T | * | T | T | T |
| 140872 | T | T | * | T | * | T | T | T |
| 215502 | T | T | * | T | * | T | T | T |
| 215503 | T | T | * | T | * | T | T | T |
| 223790 | T | T | * | T | * | T | T | T |
| 223791 | T | T | * | T | * | T | T | T |
| 301167 | T | T | * | T | * | T | T | T |
| 301168 | T | T | * | T | * | T | T | T |
Independent-effect pairs
c0(branch2485): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6035 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c1(branch2488): 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:4077 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128 ← library/core/src/iter/adapters/enumerate.rs:146c2(branch2489): 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:4077 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128 ← library/core/src/iter/adapters/enumerate.rs:146c3(branch2491): GAP view gap →<scry_analyze_core::Interp>::seq· br_ifc4(branch2493): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6048 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c5(branch2494): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6048 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c6(branch2495): GAP view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: lib.rs:6048 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043