Decision #1384 — writev.c:34
Status: unreached
Truth table
| row | c0 br 9261 | c1 br 9262 | outcome |
|---|
Independent-effect pairs
c0(branch9261): DEAD view gap →<alloc::vec::Vec<u8> as std::io::Write>::write_all_vectored· br_ifc1(branch9262): DEAD view gap →<alloc::vec::Vec<u8> as std::io::Write>::write_all_vectored· br_if