Decision #299 — library/core/src/ptr/mod.rs:1921
Status: no_witness
Truth table
| row | c0 br 2261 | c1 br 2263 | outcome |
|---|---|---|---|
| 866 | F | * | F |
| 867 | F | * | F |
| 868 | F | * | F |
| 869 | F | * | F |
| 870 | F | * | F |
| 3906 | F | * | F |
| 3907 | F | * | F |
| 3908 | F | * | F |
| 3909 | F | * | F |
| 3910 | F | * | F |
| 6851 | F | * | F |
| 6852 | F | * | F |
| 6853 | F | * | F |
| 6854 | F | * | F |
| 6855 | F | * | F |
| 9692 | F | * | F |
| 10840 | F | * | F |
| 11931 | F | * | F |
| 13707 | F | * | F |
| 21425 | F | * | F |
| 29436 | F | * | F |
| 35374 | F | * | F |
| 40897 | F | * | F |
| 40898 | F | * | F |
| 40899 | F | * | F |
| 43908 | F | * | F |
| 43909 | F | * | F |
| 43910 | F | * | F |
| 47361 | F | * | F |
| 47362 | F | * | F |
| 47363 | F | * | F |
| 50437 | F | * | F |
| 50438 | F | * | F |
| 50439 | F | * | F |
| 53700 | F | * | F |
| 63472 | F | * | F |
| 73219 | F | * | F |
| 73220 | F | * | F |
| 73221 | F | * | F |
| 73222 | F | * | F |
| 73223 | F | * | F |
| 73224 | F | * | F |
| 76694 | F | * | F |
| 76695 | F | * | F |
| 76696 | F | * | F |
| 76697 | F | * | F |
| 76698 | F | * | F |
| 76699 | F | * | F |
| 79409 | F | * | F |
| 79410 | F | * | F |
| 79411 | F | * | F |
| 80897 | F | * | F |
| 82084 | F | * | F |
| 83146 | F | * | F |
| 84343 | F | * | F |
| 86004 | F | * | F |
| 86005 | F | * | F |
| 86006 | F | * | F |
| 87701 | F | * | F |
| 89307 | F | * | F |
| 89308 | F | * | F |
| 91007 | F | * | F |
| 93643 | F | * | F |
| 112506 | F | * | F |
| 130111 | F | * | F |
| 131286 | F | * | F |
| 132613 | F | * | F |
Independent-effect pairs
c0(branch2261): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1442 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c1(branch2263): DEAD view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1439 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045