Decision #1157 — __wasilibc_initialize_environ.c:29
Status: unreached
Truth table
| row | c0 br 8025 | c1 br 8026 | outcome |
|---|
Independent-effect pairs
c0(branch8025): DEAD view gap →<alloc::vec::Vec<u8> as std::io::Write>::write_all· br_ifc1(branch8026): DEAD view gap →<alloc::vec::Vec<u8> as std::io::Write>::write_all· br_if