Decision #1237 — num.rs:135
Status: unreached
Truth table
| row | c0 br 8424 | c1 br 8425 | outcome |
|---|
Independent-effect pairs
c0(branch8424): DEAD view gap →internal_memalign· br_ifc1(branch8425): DEAD view gap →internal_memalign· br_if