Decision #1410 — malloc.c:3152
Status: unreached
Truth table
| row | c0 br 9366 | c1 br 9367 | outcome |
|---|
Independent-effect pairs
c0(branch9366): DEAD view gap →strerror_r· br_if
inlined: malloc.c:4048c1(branch9367): DEAD view gap →strerror_r· br_if
inlined: malloc.c:4048