Decision #1116 — `library/core/src/num/uint_macros.rs:2584`

Status: unreached

Truth table

row	c0 br 7802	c1 br 7803	outcome

Independent-effect pairs

c0 (branch 7802): DEAD view gap →
<usize as core::fmt::Debug>::fmt · br_if
inlined: sha256.rs:42 ← soft.rs:120
c1 (branch 7803): DEAD view gap →
<usize as core::fmt::Debug>::fmt · br_if
inlined: sha256.rs:42 ← soft.rs:124

← back to scry-mcdc