Decision #279 — library/core/src/ptr/mod.rs:1733
Status: no_witness
Truth table
| row | c0 br 1548 | c1 br 1549 | c2 br 1551 | c3 br 1552 | c4 br 1553 | outcome |
|---|---|---|---|---|---|---|
| 16051 | * | * | * | * | F | T |
| 16052 | * | * | * | * | T | T |
| 16053 | * | * | * | * | F | T |
| 16054 | * | * | * | * | T | T |
| 16055 | * | * | * | * | F | T |
| 16056 | * | * | * | * | T | T |
| 16057 | * | * | * | * | F | T |
| 16058 | * | * | * | * | T | T |
| 16059 | * | * | * | * | F | T |
| 16060 | * | * | * | * | T | T |
| 16061 | * | * | * | * | F | T |
| 16062 | * | * | * | * | T | T |
| 25531 | * | * | * | * | F | T |
| 25532 | * | * | * | * | T | T |
| 25533 | * | * | * | * | F | T |
| 25534 | * | * | * | * | T | T |
| 25535 | * | * | * | * | F | T |
| 25536 | * | * | * | * | T | T |
| 25537 | * | * | * | * | F | T |
| 25538 | * | * | * | * | T | T |
| 25539 | * | * | * | * | F | T |
| 25540 | * | * | * | * | T | T |
| 25541 | * | * | * | * | F | T |
| 25542 | * | * | * | * | T | T |
| 34885 | * | * | F | * | * | T |
| 34886 | * | * | T | * | * | T |
| 34887 | * | * | F | * | * | T |
| 34888 | * | * | T | * | * | T |
| 34889 | * | * | F | * | * | T |
| 34890 | * | * | T | * | * | T |
| 34891 | * | * | F | * | * | T |
| 34892 | * | * | T | * | * | T |
| 34893 | * | * | F | * | * | T |
| 34894 | * | * | T | * | * | T |
| 34895 | * | * | F | * | * | T |
| 34896 | * | * | T | * | * | T |
| 34897 | * | * | F | * | * | T |
| 34898 | * | * | T | * | * | T |
| 34899 | * | * | F | * | * | T |
| 34900 | * | * | T | * | * | T |
| 34901 | * | * | F | * | * | T |
| 34902 | * | * | T | * | * | T |
| 34903 | * | * | F | * | * | T |
| 34904 | * | * | T | * | * | T |
| 34905 | * | * | F | * | * | T |
| 34906 | * | * | T | * | * | T |
| 34907 | * | * | F | * | * | T |
| 34908 | * | * | T | * | * | T |
| 34909 | * | * | F | * | * | T |
| 34910 | * | * | T | * | * | T |
| 34911 | * | * | F | * | * | T |
| 34912 | * | * | T | * | * | T |
| 41098 | * | * | F | * | * | T |
| 41099 | * | * | T | * | * | T |
| 41100 | * | * | F | * | * | T |
| 41101 | * | * | T | * | * | T |
| 41102 | * | * | F | * | * | T |
| 41103 | * | * | T | * | * | T |
| 41104 | * | * | F | * | * | T |
| 41105 | * | * | T | * | * | T |
| 41106 | * | * | F | * | * | T |
| 41107 | * | * | T | * | * | T |
| 41108 | * | * | F | * | * | T |
| 41109 | * | * | T | * | * | T |
| 41110 | * | * | F | * | * | T |
| 41111 | * | * | T | * | * | T |
| 41112 | * | * | F | * | * | T |
| 41113 | * | * | T | * | * | T |
| 41114 | * | * | F | * | * | T |
| 41115 | * | * | T | * | * | T |
| 41116 | * | * | F | * | * | T |
| 41117 | * | * | T | * | * | T |
| 41118 | * | * | F | * | * | T |
| 41119 | * | * | T | * | * | T |
| 41120 | * | * | F | * | * | T |
| 41121 | * | * | T | * | * | T |
| 41122 | * | * | F | * | * | T |
| 41123 | * | * | T | * | * | T |
| 41124 | * | * | F | * | * | T |
| 41125 | * | * | T | * | * | T |
| 64476 | * | * | * | * | F | T |
| 64477 | * | * | * | * | T | T |
| 64478 | * | * | * | * | F | T |
| 64479 | * | * | * | * | T | T |
| 64480 | * | * | * | * | F | T |
| 64481 | * | * | * | * | T | T |
| 64482 | * | * | * | * | F | T |
| 64483 | * | * | * | * | T | T |
| 64484 | * | * | * | * | F | T |
| 64485 | * | * | * | * | T | T |
| 64486 | * | * | * | * | F | T |
| 64487 | * | * | * | * | T | T |
| 64488 | * | * | * | * | F | T |
| 64489 | * | * | * | * | T | T |
| 64490 | * | * | * | * | F | T |
| 64491 | * | * | * | * | T | T |
| 75989 | * | * | * | * | F | T |
| 75990 | * | * | * | * | T | T |
| 75991 | * | * | * | * | F | T |
| 75992 | * | * | * | * | T | T |
| 75993 | * | * | * | * | F | T |
| 75994 | * | * | * | * | T | T |
| 75995 | * | * | * | * | F | T |
| 75996 | * | * | * | * | T | T |
| 75997 | * | * | * | * | F | T |
| 75998 | * | * | * | * | T | T |
| 75999 | * | * | * | * | F | T |
| 76000 | * | * | * | * | T | T |
| 76001 | * | * | * | * | F | T |
| 76002 | * | * | * | * | T | T |
| 76003 | * | * | * | * | F | T |
| 76004 | * | * | * | * | T | T |
| 114155 | * | * | * | * | F | T |
| 114156 | * | * | * | * | T | T |
| 114157 | * | * | * | * | F | T |
| 114158 | * | * | * | * | T | T |
Independent-effect pairs
c0(branch1548): DEAD view gap →scry_analyze_core::refine_interval· br_if
inlined: lib.rs:3165 ← library/alloc/src/vec/mod.rs:2850c1(branch1549): DEAD view gap →scry_analyze_core::refine_interval· br_ifc2(branch1551): GAP view gap →scry_analyze_core::refine_interval· br_ifc3(branch1552): DEAD view gap →scry_analyze_core::refine_interval· br_ifc4(branch1553): GAP view gap →scry_analyze_core::refine_interval· br_if