Decision #1427 — malloc.c:3964
Status: unreached
Truth table
| row | c0 br 9464 | c1 br 9465 | c2 br 9466 | c3 br 9467 | c4 br 9468 | c5 br 9469 | c6 br 9470 | c7 br 9471 | c8 br 9472 | c9 br 9473 | outcome |
|---|
Independent-effect pairs
All 10 conditions live in dlmalloc — 10 br_if
c0(branch9464): DEAD view gap →c1(branch9465): DEAD view gap →c2(branch9466): DEAD view gap →c3(branch9467): DEAD view gap →c4(branch9468): DEAD view gap →c5(branch9469): DEAD view gap →c6(branch9470): DEAD view gap →c7(branch9471): DEAD view gap →c8(branch9472): DEAD view gap →c9(branch9473): DEAD view gap →