Decision #905 — count.rs:117
Status: unreached
Truth table
| row | c0 br 6228 | c1 br 6229 | outcome |
|---|
Independent-effect pairs
c0(branch6228): DEAD view gap →<core::ffi::c_str::CStr>::from_bytes_with_nul· br_ifc1(branch6229): DEAD view gap →<core::ffi::c_str::CStr>::from_bytes_with_nul· br_if