Decision #568 — library/alloc/src/alloc.rs:128
Status: no_witness
Truth table
| row | c0 br 3937 | c1 br 3943 | c2 br 3944 | outcome |
|---|---|---|---|---|
| 1321 | * | T | * | T |
| 8281 | * | T | * | T |
| 15082 | * | T | * | T |
| 21749 | * | T | * | T |
| 24492 | * | T | * | T |
| 27135 | * | T | * | T |
| 30786 | * | T | * | T |
| 51641 | * | T | * | T |
| 72567 | * | T | * | T |
| 82450 | * | T | * | T |
| 92186 | * | T | * | T |
| 100015 | * | T | * | T |
| 108504 | * | T | * | T |
| 116530 | * | T | * | T |
| 124526 | * | T | * | T |
| 141245 | * | T | * | T |
| 158649 | * | T | * | T |
| 168507 | * | T | * | T |
| 176634 | * | T | * | T |
| 181247 | * | T | * | T |
| 184566 | * | T | * | T |
| 187674 | * | T | * | T |
| 191256 | * | T | * | T |
| 196798 | * | T | * | T |
| 203341 | * | T | * | T |
| 208153 | * | T | * | T |
| 215815 | * | T | * | T |
| 224256 | * | T | * | T |
| 301633 | * | T | * | T |
| 377119 | * | T | * | T |
| 379776 | * | T | * | T |
| 382660 | * | T | * | T |
Independent-effect pairs
c0(branch3937): DEAD view gap →scry_analyze_core::compute_pentagon_facts· br_if
inlined: library/alloc/src/collections/btree/map.rs:1936 ← library/alloc/src/collections/btree/navigate.rs:215 ← library/alloc/src/collections/btree/node.rs:412 ← library/alloc/src/alloc.rs:462 ← library/alloc/src/alloc.rs:344 ← library/alloc/src/alloc.rs:229c1(branch3943): GAP view gap →scry_analyze_core::compute_pentagon_facts· br_ifc2(branch3944): DEAD view gap →scry_analyze_core::compute_pentagon_facts· br_if