Decision #1199 — malloc.c:4748
Status: no_witness
Truth table
| row | c0 br 8235 | c1 br 8236 | c2 br 8237 | c3 br 8238 | c4 br 8239 | c5 br 8240 | c6 br 8241 | c7 br 8242 | c8 br 8243 | c9 br 8244 | c10 br 8245 | outcome |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 107986 | * | * | * | F | F | F | * | * | * | * | T | T |
| 107987 | * | * | * | F | F | F | * | * | * | * | T | T |
Independent-effect pairs
All 11 conditions live in dlmalloc — 11 br_if
c0(branch8235): DEAD view gap →c1(branch8236): DEAD view gap →c2(branch8237): DEAD view gap →c3(branch8238): GAP view gap →c4(branch8239): GAP view gap →c5(branch8240): GAP view gap →c6(branch8241): DEAD view gap →c7(branch8242): DEAD view gap →c8(branch8243): DEAD view gap →c9(branch8244): DEAD view gap →c10(branch8245): GAP view gap →