Decision #1328 — `macros.rs:481`

Status: unreached

Truth table

row	c0 br 8945	c1 br 8946	c2 br 8947	c3 br 8948	c4 br 8949	c5 br 8950	c6 br 8951	c7 br 8952	c8 br 8953	c9 br 8954	c10 br 8955	c11 br 8956	outcome

Independent-effect pairs

All 12 conditions live in compiler_builtins::int::specialized_div_rem::u128_div_rem — 12 br_if

c0 (branch 8945): DEAD view gap →
c1 (branch 8946): DEAD view gap →
c2 (branch 8947): DEAD view gap →
c3 (branch 8948): DEAD view gap →
c4 (branch 8949): DEAD view gap →
c5 (branch 8950): DEAD view gap →
c6 (branch 8951): DEAD view gap →
c7 (branch 8952): DEAD view gap →
c8 (branch 8953): DEAD view gap →
c9 (branch 8954): DEAD view gap →
c10 (branch 8955): DEAD view gap →
c11 (branch 8956): DEAD view gap →

← back to scry-mcdc