Decision #1430 — malloc.c:4763
Status: no_witness
Truth table
| row | c0 br 9490 | c1 br 9491 | c2 br 9492 | c3 br 9493 | c4 br 9494 | outcome |
|---|---|---|---|---|---|---|
| 4477 | F | F | * | * | * | T |
| 4478 | F | F | * | * | * | T |
| 11404 | F | F | * | * | * | T |
| 18358 | F | F | * | * | * | T |
| 18359 | F | F | * | * | * | T |
| 44178 | F | F | * | * | * | T |
| 65007 | F | F | * | * | * | T |
| 77810 | F | F | * | * | * | T |
| 87693 | F | F | * | * | * | T |
| 95662 | F | F | * | * | * | T |
| 103733 | F | F | * | * | * | T |
| 103734 | F | F | * | * | * | T |
| 112163 | F | F | * | * | * | T |
| 112164 | F | F | * | * | * | T |
| 120006 | F | F | * | * | * | T |
| 162646 | F | F | * | * | * | T |
| 162647 | F | F | * | * | * | T |
| 162648 | F | F | * | * | * | T |
| 162649 | F | F | * | * | * | T |
| 172504 | F | F | * | * | * | T |
| 172505 | F | F | * | * | * | T |
| 172506 | F | F | * | * | * | T |
| 172507 | F | F | * | * | * | T |
| 178627 | F | F | * | * | * | T |
| 182694 | F | F | * | * | * | T |
| 185901 | F | F | * | * | * | T |
| 189121 | F | F | * | * | * | T |
| 200444 | F | F | * | * | * | T |
| 200445 | F | F | * | * | * | T |
| 200446 | F | F | * | * | * | T |
| 211556 | F | F | * | * | * | T |
| 211557 | F | F | * | * | * | T |
| 218939 | F | F | * | * | * | T |
| 274390 | T | * | F | T | * | T |
| 351767 | T | * | F | T | * | T |
Independent-effect pairs
All 5 conditions live in dlmalloc — 5 br_if
c0(branch9490): GAP view gap →c1(branch9491): GAP view gap →c2(branch9492): GAP view gap →c3(branch9493): GAP view gap →c4(branch9494): DEAD view gap →