Decision #668 — library/alloc/src/alloc.rs:128
Status: no_witness
Truth table
| row | c0 br 4416 | c1 br 4428 | c2 br 4489 | c3 br 4585 | outcome |
|---|---|---|---|---|---|
| 1621 | * | * | T | * | T |
| 1622 | * | T | T | * | T |
| 8581 | * | * | T | * | T |
| 8582 | * | T | T | * | T |
| 15382 | * | * | T | * | T |
| 15383 | * | T | T | * | T |
| 21824 | * | * | T | * | T |
| 24567 | * | * | T | * | T |
| 27210 | * | * | T | * | T |
| 30934 | * | * | T | * | T |
| 51789 | * | * | T | * | T |
| 72708 | * | * | T | * | T |
| 82591 | * | * | T | * | T |
| 92386 | * | * | T | * | T |
| 92387 | F | * | T | * | T |
| 92388 | F | * | * | * | T |
| 92389 | F | * | * | * | T |
| 92390 | T | * | * | * | T |
| 100215 | * | * | T | * | T |
| 100216 | F | * | T | * | T |
| 100217 | F | * | * | * | T |
| 100218 | F | * | * | * | T |
| 100219 | T | * | * | * | T |
| 108704 | * | * | T | * | T |
| 108705 | F | * | T | * | T |
| 108706 | F | * | * | * | T |
| 108707 | F | * | * | * | T |
| 108708 | T | * | * | * | T |
| 116730 | * | * | T | * | T |
| 116731 | F | * | T | * | T |
| 116732 | F | * | * | * | T |
| 116733 | F | * | * | * | T |
| 116734 | T | * | * | * | T |
| 124674 | * | * | T | * | T |
| 141393 | * | * | T | * | T |
| 158936 | * | * | T | * | T |
| 158937 | * | * | T | * | T |
| 158938 | * | * | T | * | T |
| 158939 | * | * | T | * | T |
| 158940 | * | * | T | * | T |
| 158941 | * | * | T | * | T |
| 168794 | * | * | T | * | T |
| 168795 | * | * | T | * | T |
| 168796 | * | * | T | * | T |
| 168797 | * | * | T | * | T |
| 168798 | * | * | T | * | T |
| 168799 | * | * | T | * | T |
| 176762 | F | * | T | * | T |
| 176763 | F | * | * | * | T |
| 176764 | F | * | * | * | T |
| 176765 | T | * | * | * | T |
| 181319 | * | * | T | * | T |
| 184638 | * | * | T | * | T |
| 187746 | * | * | T | * | T |
| 191367 | F | * | T | * | T |
| 191368 | T | * | * | * | T |
| 197087 | F | * | T | * | T |
| 197088 | F | * | * | * | T |
| 197089 | F | * | * | * | T |
| 197090 | T | * | * | * | T |
| 203428 | F | * | T | * | T |
| 203429 | T | * | * | * | T |
| 208433 | * | * | T | * | T |
| 208434 | * | * | T | * | T |
| 208435 | F | * | T | * | T |
| 208436 | F | * | * | * | T |
| 208437 | T | * | * | * | T |
| 215997 | F | * | T | * | T |
| 215998 | T | * | * | * | T |
| 224411 | * | * | T | * | T |
| 301788 | * | * | T | * | T |
| 377185 | * | * | T | * | T |
| 379842 | * | * | T | * | T |
| 382726 | * | * | T | * | T |
Independent-effect pairs
c0(branch4416): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch4428): GAP view gap →scry_analyze_core::analyze· br_ifc2(branch4489): GAP view gap →scry_analyze_core::analyze· br_ifc3(branch4585): DEAD view gap →scry_analyze_core::analyze· br_if
inlined: library/core/src/result.rs:966 ← lib.rs:2192 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/alloc/src/boxed.rs:2000 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229