Decision #823 — malloc.c:3152
Status: no_witness
Truth table
| row | c0 br 5785 | c1 br 5786 | outcome |
|---|---|---|---|
| 1930 | F | F | F |
Independent-effect pairs
c0(branch5785): GAP view gap →dlmalloc· br_if
inlined: malloc.c:4048c1(branch5786): GAP view gap →dlmalloc· br_if
inlined: malloc.c:4048