Decision #1395 — malloc.c:3921
Status: unreached
Truth table
| row | c0 br 9308 | c1 br 9309 | outcome |
|---|
Independent-effect pairs
c0(branch9308): DEAD view gap →writev· br_if
inlined: malloc.c:5257c1(branch9309): DEAD view gap →writev· br_if
inlined: malloc.c:5257