Decision #1363 — uint_macros.rs:1052
Status: unreached
Truth table
| row | c0 br 9159 | c1 br 9167 | outcome |
|---|
Independent-effect pairs
c0(branch9159): DEAD view gap →std::sys::env::wasi::getenv· br_ifc1(branch9167): DEAD view gap →std::sys::env::wasi::getenv· br_if