Decision #839 — malloc.c:4786
Status: unreached
Truth table
| row | c0 br 5908 | c1 br 5909 | c2 br 5910 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in prepend_alloc — 3 br_if
c0(branch5908): DEAD view gap →c1(branch5909): DEAD view gap →c2(branch5910): DEAD view gap →