Decision #836 — malloc.c:4748
Status: unreached
Truth table
| row | c0 br 5890 | c1 br 5891 | c2 br 5892 | c3 br 5893 | c4 br 5894 | c5 br 5895 | c6 br 5896 | c7 br 5897 | outcome |
|---|
Independent-effect pairs
All 8 conditions live in dlmalloc — 8 br_if
c0(branch5890): DEAD view gap →c1(branch5891): DEAD view gap →c2(branch5892): DEAD view gap →c3(branch5893): DEAD view gap →c4(branch5894): DEAD view gap →c5(branch5895): DEAD view gap →c6(branch5896): DEAD view gap →c7(branch5897): DEAD view gap →