Decision #1435 — dlmalloc.c:80
Status: unreached
Truth table
| row | c0 br 9515 | c1 br 9516 | outcome |
|---|
Independent-effect pairs
c0(branch9515): DEAD view gap →prepend_alloc· br_ifc1(branch9516): DEAD view gap →prepend_alloc· br_if