Decision #1396 — malloc.c:4616
Status: unreached
Truth table
| row | c0 br 9312 | c1 br 9313 | c2 br 9314 | c3 br 9315 | c4 br 9316 | c5 br 9317 | outcome |
|---|
Independent-effect pairs
All 6 conditions live in __wasilibc_initialize_environ — 6 br_if
c0(branch9312): DEAD view gap →c1(branch9313): DEAD view gap →c2(branch9314): DEAD view gap →c3(branch9315): DEAD view gap →c4(branch9316): DEAD view gap →c5(branch9317): DEAD view gap →