Decision #1389 — strchrnul.c:65
Status: unreached
Truth table
| row | c0 br 9285 | c1 br 9286 | outcome |
|---|
Independent-effect pairs
c0(branch9285): DEAD view gap →<std::panicking::panic_handler::FormatStringPayload as core::panic::PanicPayload>::take_box· br_ifc1(branch9286): DEAD view gap →<std::panicking::panic_handler::FormatStringPayload as core::panic::PanicPayload>::take_box· br_if