Decision #432 — library/core/src/ptr/mod.rs:552
Status: no_witness
Truth table
| row | c0 br 2911 | c1 br 2912 | outcome |
|---|---|---|---|
| 1044 | F | F | F |
| 1045 | F | F | F |
| 1046 | F | F | F |
| 1047 | F | F | F |
| 1048 | F | F | F |
| 1049 | F | F | F |
| 1050 | F | F | F |
| 1051 | F | F | F |
| 1052 | F | F | F |
| 1053 | F | F | F |
| 4084 | F | F | F |
| 4085 | F | F | F |
| 4086 | F | F | F |
| 4087 | F | F | F |
| 4088 | F | F | F |
| 4089 | F | F | F |
| 4090 | F | F | F |
| 4091 | F | F | F |
| 4092 | F | F | F |
| 4093 | F | F | F |
| 7033 | F | F | F |
| 7034 | F | F | F |
| 7035 | F | F | F |
| 7036 | F | F | F |
| 7037 | F | F | F |
| 7038 | F | F | F |
| 7039 | F | F | F |
| 7040 | F | F | F |
| 7041 | F | F | F |
| 7042 | F | F | F |
| 9775 | F | F | F |
| 9776 | F | F | F |
| 10923 | F | F | F |
| 10924 | F | F | F |
| 12014 | F | F | F |
| 12015 | F | F | F |
| 17755 | F | F | F |
| 17756 | F | F | F |
| 25473 | F | F | F |
| 25474 | F | F | F |
| 31106 | F | F | F |
| 31107 | F | F | F |
| 37044 | F | F | F |
| 37045 | F | F | F |
| 41069 | F | F | F |
| 41070 | F | F | F |
| 41071 | F | F | F |
| 41072 | F | F | F |
| 41073 | F | F | F |
| 41074 | F | F | F |
| 41075 | F | F | F |
| 41076 | F | F | F |
| 44082 | F | F | F |
| 44083 | F | F | F |
| 44084 | F | F | F |
| 44085 | F | F | F |
| 44086 | F | F | F |
| 44087 | F | F | F |
| 44088 | F | F | F |
| 44089 | F | F | F |
| 47534 | F | F | F |
| 47535 | F | F | F |
| 47536 | F | F | F |
| 47537 | F | F | F |
| 47538 | F | F | F |
| 47539 | F | F | F |
| 47540 | F | F | F |
| 47541 | F | F | F |
| 50609 | F | F | F |
| 50610 | F | F | F |
| 50611 | F | F | F |
| 50612 | F | F | F |
| 50613 | F | F | F |
| 50614 | F | F | F |
| 50615 | F | F | F |
| 50616 | F | F | F |
| 59058 | F | F | F |
| 59059 | F | F | F |
| 68830 | F | F | F |
| 68831 | F | F | F |
| 73467 | F | F | F |
| 73468 | F | F | F |
| 73469 | F | F | F |
| 73470 | F | F | F |
| 73471 | F | F | F |
| 73472 | F | F | F |
| 73473 | F | F | F |
| 73474 | F | F | F |
| 73475 | F | F | F |
| 73476 | F | F | F |
| 73477 | F | F | F |
| 73478 | F | F | F |
| 76942 | F | F | F |
| 76943 | F | F | F |
| 76944 | F | F | F |
| 76945 | F | F | F |
| 76946 | F | F | F |
| 76947 | F | F | F |
| 76948 | F | F | F |
| 76949 | F | F | F |
| 76950 | F | F | F |
| 76951 | F | F | F |
| 76952 | F | F | F |
| 76953 | F | F | F |
| 79524 | F | F | F |
| 79525 | F | F | F |
| 79526 | F | F | F |
| 79527 | F | F | F |
| 79528 | F | F | F |
| 79529 | F | F | F |
| 79530 | F | F | F |
| 79531 | F | F | F |
| 79532 | F | F | F |
| 79533 | F | F | F |
| 80980 | F | F | F |
| 80981 | F | F | F |
| 82167 | F | F | F |
| 82168 | F | F | F |
| 83229 | F | F | F |
| 83230 | F | F | F |
| 84451 | F | F | F |
| 84452 | F | F | F |
| 84453 | F | F | F |
| 84454 | F | F | F |
| 86224 | F | F | F |
| 86225 | F | F | F |
| 86226 | F | F | F |
| 86227 | F | F | F |
| 86228 | F | F | F |
| 86229 | F | F | F |
| 86230 | F | F | F |
| 86231 | F | F | F |
| 86232 | F | F | F |
| 86233 | F | F | F |
| 86234 | F | F | F |
| 86235 | F | F | F |
| 87793 | F | F | F |
| 87794 | F | F | F |
| 87795 | F | F | F |
| 87796 | F | F | F |
| 89531 | F | F | F |
| 89532 | F | F | F |
| 89533 | F | F | F |
| 89534 | F | F | F |
| 89535 | F | F | F |
| 89536 | F | F | F |
| 89537 | F | F | F |
| 89538 | F | F | F |
| 91155 | F | F | F |
| 91156 | F | F | F |
| 91157 | F | F | F |
| 91158 | F | F | F |
| 106193 | F | F | F |
| 106194 | F | F | F |
| 125056 | F | F | F |
| 125057 | F | F | F |
| 130183 | F | F | F |
| 130184 | F | F | F |
| 131358 | F | F | F |
| 131359 | F | F | F |
| 132685 | F | F | F |
| 132686 | F | F | F |
Independent-effect pairs
c0(branch2911): GAP view gap →scry_octagon::top· br_if
inlined: library/alloc/src/slice.rs:454 ← library/core/src/ptr/const_ptr.rs:1252c1(branch2912): GAP view gap →scry_octagon::top· br_if