Decision #805 — stpcpy.c:16
Status: unreached
Truth table
| row | c0 br 5694 | c1 br 5695 | c2 br 5696 | c3 br 5697 | c4 br 5698 | outcome |
|---|
Independent-effect pairs
All 5 conditions live in <std::io::default_write_fmt::Adapter<alloc::vec::Vec<u8>> as core::fmt::Write>::write_char — 5 br_if
c0(branch5694): DEAD view gap →c1(branch5695): DEAD view gap →c2(branch5696): DEAD view gap →c3(branch5697): DEAD view gap →c4(branch5698): DEAD view gap →