Decision #1166 — malloc.c:3921
Status: unreached
Truth table
| row | c0 br 8062 | c1 br 8063 | outcome |
|---|
Independent-effect pairs
c0(branch8062): DEAD view gap →writev· br_if
inlined: malloc.c:5257c1(branch8063): DEAD view gap →writev· br_if
inlined: malloc.c:5257