Decision #831 — malloc.c:4507
Status: unreached
Truth table
| row | c0 br 5831 | c1 br 5832 | c2 br 5833 | c3 br 5834 | c4 br 5835 | c5 br 5836 | c6 br 5837 | c7 br 5838 | c8 br 5839 | c9 br 5840 | c10 br 5841 | c11 br 5842 | c12 br 5843 | c13 br 5844 | c14 br 5845 | c15 br 5846 | c16 br 5847 | c17 br 5848 | c18 br 5849 | c19 br 5850 | c20 br 5851 | c21 br 5852 | c22 br 5853 | c23 br 5854 | c24 br 5855 | c25 br 5856 | c26 br 5857 | c27 br 5858 | c28 br 5859 | c29 br 5860 | c30 br 5861 | c31 br 5862 | outcome |
|---|
Independent-effect pairs
All 32 conditions live in dlmalloc — 32 br_if
c0(branch5831): DEAD view gap →c1(branch5832): DEAD view gap →c2(branch5833): DEAD view gap →c3(branch5834): DEAD view gap →c4(branch5835): DEAD view gap →c5(branch5836): DEAD view gap →c6(branch5837): DEAD view gap →c7(branch5838): DEAD view gap →c8(branch5839): DEAD view gap →c9(branch5840): DEAD view gap →c10(branch5841): DEAD view gap →c11(branch5842): DEAD view gap →c12(branch5843): DEAD view gap →c13(branch5844): DEAD view gap →c14(branch5845): DEAD view gap →c15(branch5846): DEAD view gap →c16(branch5847): DEAD view gap →c17(branch5848): DEAD view gap →c18(branch5849): DEAD view gap →c19(branch5850): DEAD view gap →c20(branch5851): DEAD view gap →c21(branch5852): DEAD view gap →c22(branch5853): DEAD view gap →c23(branch5854): DEAD view gap →c24(branch5855): DEAD view gap →c25(branch5856): DEAD view gap →c26(branch5857): DEAD view gap →c27(branch5858): DEAD view gap →c28(branch5859): DEAD view gap →c29(branch5860): DEAD view gap →c30(branch5861): DEAD view gap →c31(branch5862): DEAD view gap →