Decision #1426 — malloc.c:3951
Status: unreached
Truth table
| row | c0 br 9459 | c1 br 9460 | c2 br 9461 | c3 br 9462 | c4 br 9463 | outcome |
|---|
Independent-effect pairs
All 5 conditions live in dlmalloc — 5 br_if
c0(branch9459): DEAD view gap →c1(branch9460): DEAD view gap →c2(branch9461): DEAD view gap →c3(branch9462): DEAD view gap →c4(branch9463): DEAD view gap →