Decision #834 — malloc.c:3973
Status: unreached
Truth table
| row | c0 br 5875 | c1 br 5876 | c2 br 5877 | c3 br 5878 | c4 br 5879 | c5 br 5880 | c6 br 5881 | c7 br 5882 | c8 br 5883 | c9 br 5884 | c10 br 5885 | c11 br 5886 | outcome |
|---|
Independent-effect pairs
All 12 conditions live in dlmalloc — 12 br_if
c0(branch5875): DEAD view gap →c1(branch5876): DEAD view gap →c2(branch5877): DEAD view gap →c3(branch5878): DEAD view gap →c4(branch5879): DEAD view gap →c5(branch5880): DEAD view gap →c6(branch5881): DEAD view gap →c7(branch5882): DEAD view gap →c8(branch5883): DEAD view gap →c9(branch5884): DEAD view gap →c10(branch5885): DEAD view gap →c11(branch5886): DEAD view gap →