Decision #1193 — malloc.c:4248
Status: no_witness
Truth table
| row | c0 br 8173 | c1 br 8174 | c2 br 8175 | c3 br 8176 | outcome |
|---|---|---|---|---|---|
| 107866 | F | T | T | T | T |
| 107867 | F | T | T | T | T |
Independent-effect pairs
All 4 conditions live in dlmalloc — 4 br_if
c0(branch8173): GAP view gap →c1(branch8174): GAP view gap →c2(branch8175): GAP view gap →c3(branch8176): GAP view gap →