Decision #1407 — malloc.c:4507
Status: unreached
Truth table
| row | c0 br 9353 | c1 br 9354 | c2 br 9355 | c3 br 9356 | c4 br 9357 | outcome |
|---|
Independent-effect pairs
All 5 conditions live in __stpcpy — 5 br_if
c0(branch9353): DEAD view gap →c1(branch9354): DEAD view gap →c2(branch9355): DEAD view gap →c3(branch9356): DEAD view gap →c4(branch9357): DEAD view gap →