Decision #328 — library/core/src/ptr/mod.rs:810
Status: partial
Truth table
| row | c0 br 2403 | c1 br 2404 | c2 br 2406 | c3 br 2407 | c4 br 2408 | c5 br 2410 | c6 br 2411 | c7 br 2413 | c8 br 2414 | c9 br 2415 | c10 br 2416 | c11 br 2418 | c12 br 2419 | outcome |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 13789 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 21507 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 41004 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 41005 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 41006 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 41007 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 41008 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 41009 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 44017 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 44018 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 44019 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 44020 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 44021 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 44022 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 47470 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 47471 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 47472 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 47473 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 47474 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 47475 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 50544 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 50545 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 50546 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 50547 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 50548 | T | * | * | * | * | * | * | * | * | * | * | * | * | T |
| 50549 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 53782 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 63554 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 84419 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 87765 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 91113 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 130156 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 131331 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
| 132658 | F | * | * | * | * | * | * | * | * | * | * | * | * | F |
Independent-effect pairs
c0(branch2403): PROVED — pair rows13789,41004(masking)core::slice::<impl [T]>::contains· br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250c1(branch2404): DEAD view gap →core::slice::<impl [T]>::contains· br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250 ← library/core/src/ptr/mod.rs:810c2(branch2406): DEAD view gap →core::slice::<impl [T]>::contains· br_ifc3(branch2407): DEAD view gap →core::slice::<impl [T]>::contains· br_if
inlined: library/core/src/ptr/mod.rs:810c4(branch2408): DEAD view gap →core::slice::<impl [T]>::contains· br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250c5(branch2410): DEAD view gap →core::slice::<impl [T]>::contains· br_ifc6(branch2411): DEAD view gap →core::slice::<impl [T]>::contains· br_ifc7(branch2413): DEAD view gap →core::slice::<impl [T]>::contains· br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250c8(branch2414): DEAD view gap →core::slice::<impl [T]>::contains· br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c9(branch2415): DEAD view gap →core::slice::<impl [T]>::contains· br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c10(branch2416): DEAD view gap →core::slice::<impl [T]>::contains· br_ifc11(branch2418): DEAD view gap →core::slice::<impl [T]>::contains· br_if
inlined: library/core/src/ptr/mod.rs:810 ← library/alloc/src/vec/mod.rs:4250c12(branch2419): DEAD view gap →core::slice::<impl [T]>::contains· br_if