Decision #1234 — c_str.rs:290
Status: unreached
Truth table
| row | c0 br 8412 | c1 br 8413 | outcome |
|---|
Independent-effect pairs
c0(branch8412): DEAD view gap →posix_memalign· br_ifc1(branch8413): DEAD view gap →posix_memalign· br_if