Decision #810 — malloc.c:3903
Status: unreached
Truth table
| row | c0 br 5718 | c1 br 5719 | outcome |
|---|
Independent-effect pairs
c0(branch5718): DEAD view gap →getcwd· br_if
inlined: malloc.c:5258c1(branch5719): DEAD view gap →getcwd· br_if
inlined: malloc.c:5258