Decision #841 — malloc.c:4803
Status: unreached
Truth table
| row | c0 br 5915 | c1 br 5916 | c2 br 5917 | c3 br 5918 | c4 br 5919 | c5 br 5920 | c6 br 5921 | c7 br 5922 | c8 br 5923 | c9 br 5924 | c10 br 5925 | outcome |
|---|
Independent-effect pairs
All 11 conditions live in prepend_alloc — 11 br_if
c0(branch5915): DEAD view gap →c1(branch5916): DEAD view gap →c2(branch5917): DEAD view gap →c3(branch5918): DEAD view gap →c4(branch5919): DEAD view gap →c5(branch5920): DEAD view gap →c6(branch5921): DEAD view gap →c7(branch5922): DEAD view gap →c8(branch5923): DEAD view gap →c9(branch5924): DEAD view gap →c10(branch5925): DEAD view gap →