Decision #177 — library/core/src/ptr/mod.rs:1921
Status: no_witness
Truth table
| row | c0 br 1528 | c1 br 1541 | outcome |
|---|---|---|---|
| 535 | T | F | F |
| 536 | * | F | F |
| 537 | * | F | F |
| 538 | * | F | F |
| 539 | * | F | F |
| 540 | * | F | F |
| 3575 | T | F | F |
| 3576 | * | F | F |
| 3577 | * | F | F |
| 3578 | * | F | F |
| 3579 | * | F | F |
| 3580 | * | F | F |
| 6520 | T | F | F |
| 6521 | * | F | F |
| 6522 | * | F | F |
| 6523 | * | F | F |
| 6524 | * | F | F |
| 6525 | * | F | F |
| 9599 | T | * | T |
| 10747 | T | * | T |
| 11838 | T | * | T |
| 13492 | T | * | T |
| 21210 | T | * | T |
| 29106 | T | * | T |
| 35044 | T | * | T |
| 40679 | T | F | F |
| 43690 | T | F | F |
| 47143 | T | F | F |
| 50219 | T | F | F |
| 53447 | T | * | T |
| 63219 | T | * | T |
| 72867 | T | * | T |
| 76342 | T | * | T |
| 79276 | T | F | F |
| 80813 | T | * | T |
| 82000 | T | * | T |
| 83062 | T | * | T |
| 84242 | T | * | T |
| 85780 | T | F | F |
| 85781 | * | F | F |
| 87611 | T | * | T |
| 89090 | T | F | F |
| 90872 | T | * | T |
| 93228 | T | * | T |
| 112091 | T | * | T |
| 130034 | T | * | T |
| 131209 | T | * | T |
| 132536 | T | * | T |
Independent-effect pairs
c0(branch1528): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:4171 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045c1(branch1541): GAP view gap →scry_analyze_core::compute_stack_usage· br_if
inlined: lib.rs:4131 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1045