Decision #807 — strncmp.c:6
Status: unreached
Truth table
| row | c0 br 5703 | c1 br 5704 | c2 br 5705 | c3 br 5706 | c4 br 5707 | outcome |
|---|
Independent-effect pairs
All 5 conditions live in <std::sys::stdio::unix::Stderr as std::io::Write>::write_all — 5 br_if
c0(branch5703): DEAD view gap →c1(branch5704): DEAD view gap →c2(branch5705): DEAD view gap →c3(branch5706): DEAD view gap →c4(branch5707): DEAD view gap →