Decision #1429 — malloc.c:4749
Status: no_witness
Truth table
| row | c0 br 9484 | c1 br 9485 | c2 br 9486 | c3 br 9487 | c4 br 9488 | c5 br 9489 | outcome |
|---|---|---|---|---|---|---|---|
| 4475 | * | * | * | * | * | F | T |
| 4476 | * | * | * | * | * | F | T |
| 11403 | * | * | * | * | * | F | T |
| 18356 | * | * | * | * | * | F | T |
| 18357 | * | * | * | * | * | F | T |
| 44177 | * | * | * | * | * | F | T |
| 65006 | * | * | * | * | * | F | T |
| 77809 | * | * | * | * | * | F | T |
| 87692 | * | * | * | * | * | F | T |
| 95661 | * | * | * | * | * | F | T |
| 103731 | * | * | * | * | * | F | T |
| 103732 | * | * | * | * | * | F | T |
| 112161 | * | * | * | * | * | F | T |
| 112162 | * | * | * | * | * | F | T |
| 120005 | * | * | * | * | * | F | T |
| 162642 | * | * | * | * | * | F | T |
| 162643 | * | * | * | * | * | F | T |
| 162644 | * | * | * | * | * | F | T |
| 162645 | * | * | * | * | * | F | T |
| 172500 | * | * | * | * | * | F | T |
| 172501 | * | * | * | * | * | F | T |
| 172502 | * | * | * | * | * | F | T |
| 172503 | * | * | * | * | * | F | T |
| 178626 | * | * | * | * | * | F | T |
| 182693 | * | * | * | * | * | F | T |
| 185900 | * | * | * | * | * | F | T |
| 189120 | * | * | * | * | * | F | T |
| 200441 | * | * | * | * | * | F | T |
| 200442 | * | * | * | * | * | F | T |
| 200443 | * | * | * | * | * | F | T |
| 211554 | * | * | * | * | * | F | T |
| 211555 | * | * | * | * | * | F | T |
| 218938 | * | * | * | * | * | F | T |
| 274389 | * | * | * | * | * | F | T |
| 351766 | * | * | * | * | * | F | T |
Independent-effect pairs
All 6 conditions live in dlmalloc — 6 br_if
c0(branch9484): DEAD view gap →c1(branch9485): DEAD view gap →c2(branch9486): DEAD view gap →c3(branch9487): DEAD view gap →c4(branch9488): DEAD view gap →c5(branch9489): GAP view gap →