Decision #861 — malloc.c:4980
Status: no_witness
Truth table
| row | c0 br 6015 | c1 br 6016 | outcome |
|---|---|---|---|
| 2898 | T | * | T |
| 2899 | T | * | T |
| 5903 | T | * | T |
| 5904 | T | * | T |
| 9047 | T | * | T |
| 9048 | T | * | T |
| 10474 | T | * | T |
| 11604 | T | * | T |
| 12713 | T | * | T |
| 20434 | T | * | T |
| 28128 | T | * | T |
| 34026 | T | * | T |
| 39964 | T | * | T |
| 42838 | T | * | T |
| 42839 | T | * | T |
| 46006 | T | * | T |
| 46007 | T | * | T |
| 49358 | T | * | T |
| 49359 | T | * | T |
| 52378 | T | * | T |
| 52379 | T | * | T |
| 62250 | T | * | T |
| 72022 | T | * | T |
| 75425 | T | * | T |
| 78900 | T | * | T |
| 81688 | T | * | T |
| 82847 | T | * | T |
| 83937 | T | * | T |
| 85225 | T | * | T |
| 87314 | T | * | T |
| 88545 | T | * | T |
| 90526 | T | * | T |
| 92009 | T | * | T |
| 110915 | T | * | T |
| 129778 | T | * | T |
| 130936 | T | * | T |
| 132181 | T | * | T |
| 133475 | T | * | T |
Independent-effect pairs
c0(branch6015): GAP view gap →dispose_chunk· br_ifc1(branch6016): DEAD view gap →dispose_chunk· br_if