Decision #1209 — malloc.c:4900
Status: unreached
Truth table
| row | c0 br 8283 | c1 br 8284 | outcome |
|---|
Independent-effect pairs
c0(branch8283): DEAD view gap →prepend_alloc· br_ifc1(branch8284): DEAD view gap →prepend_alloc· br_if