Decision #445 — library/core/src/ptr/mod.rs:1933
Status: no_witness
Truth table
| row | c0 br 3085 | c1 br 3091 | outcome |
|---|---|---|---|
| 559 | * | F | T |
| 560 | * | F | T |
| 561 | T | F | T |
| 562 | F | F | T |
| 563 | F | * | T |
| 564 | T | F | T |
| 4353 | * | F | T |
| 4354 | * | F | T |
| 4355 | T | F | T |
| 4356 | F | F | T |
| 4357 | F | * | T |
| 4358 | T | F | T |
| 8083 | * | F | T |
| 8084 | * | F | T |
| 8085 | T | F | T |
| 8086 | F | F | T |
| 8087 | F | * | T |
| 8088 | T | F | T |
| 11869 | * | F | T |
| 13245 | * | F | T |
| 14570 | * | F | T |
| 16421 | * | F | T |
| 25901 | * | F | T |
| 35530 | * | F | T |
| 41743 | * | F | T |
| 47761 | T | F | T |
| 47762 | * | F | T |
| 51930 | T | F | T |
| 51931 | * | F | T |
| 56468 | T | F | T |
| 56469 | * | F | T |
| 60685 | T | F | T |
| 60686 | * | F | T |
| 65017 | * | F | T |
| 76530 | * | F | T |
| 88042 | * | F | T |
| 88043 | * | F | T |
| 88044 | * | F | T |
| 88045 | * | F | T |
| 88046 | * | F | T |
| 88047 | * | F | T |
| 92310 | * | F | T |
| 92311 | * | F | T |
| 92312 | * | F | T |
| 92313 | * | F | T |
| 92314 | * | F | T |
| 92315 | * | F | T |
| 95986 | T | F | T |
| 95987 | * | F | T |
| 95988 | * | F | T |
| 97934 | * | F | T |
| 99451 | * | F | T |
| 100867 | * | F | T |
| 102538 | * | F | T |
| 105578 | T | F | T |
| 105579 | T | F | T |
| 105580 | * | F | T |
| 108917 | * | F | T |
| 111388 | T | F | T |
| 111389 | * | F | T |
| 118473 | * | F | T |
| 141409 | * | F | T |
| 163169 | * | F | T |
| 164740 | * | F | T |
| 166462 | * | F | T |
Independent-effect pairs
c0(branch3085): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: library/alloc/src/vec/mod.rs:1045c1(branch3091): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:5825 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045