Decision #1208 — malloc.c:4870
Status: unreached
Truth table
| row | c0 br 8279 | c1 br 8280 | outcome |
|---|
Independent-effect pairs
c0(branch8279): DEAD view gap →prepend_alloc· br_ifc1(branch8280): DEAD view gap →prepend_alloc· br_if