Decision #131 — library/core/src/ptr/mod.rs:1921
Status: no_witness
Truth table
| row | c0 br 665 | c1 br 666 | c2 br 667 | c3 br 668 | c4 br 669 | outcome |
|---|---|---|---|---|---|---|
| 13388 | F | T | T | T | F | F |
| 13389 | F | T | T | T | F | F |
| 21106 | F | T | T | T | F | F |
| 21107 | F | T | T | T | F | F |
| 28901 | F | T | T | T | F | F |
| 28902 | F | T | T | T | F | F |
| 34839 | F | T | T | T | F | F |
| 34840 | F | T | T | T | F | F |
| 53296 | F | T | T | T | F | F |
| 53297 | F | T | T | T | F | F |
| 63068 | F | T | T | T | F | F |
| 63069 | F | T | T | T | F | F |
| 92992 | F | T | T | T | F | F |
| 92993 | F | T | T | T | F | F |
| 111855 | F | T | T | T | F | F |
| 111856 | F | T | T | T | F | F |
Independent-effect pairs
c0(branch665): 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:146c1(branch666): 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(branch667): 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:146c3(branch668): GAP view gap →scry_analyze_core::Interp::seq· br_ifc4(branch669): GAP view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:3114 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045