Decision #932 — `macros.rs:481`

Status: unreached

Truth table

row	c0 br 6369	c1 br 6370	c2 br 6371	c3 br 6372	c4 br 6373	c5 br 6374	c6 br 6375	c7 br 6376	c8 br 6377	c9 br 6378	c10 br 6379	c11 br 6380	outcome

Independent-effect pairs

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

c0 (branch 6369): DEAD view gap →
c1 (branch 6370): DEAD view gap →
c2 (branch 6371): DEAD view gap →
c3 (branch 6372): DEAD view gap →
c4 (branch 6373): DEAD view gap →
c5 (branch 6374): DEAD view gap →
c6 (branch 6375): DEAD view gap →
c7 (branch 6376): DEAD view gap →
c8 (branch 6377): DEAD view gap →
c9 (branch 6378): DEAD view gap →
c10 (branch 6379): DEAD view gap →
c11 (branch 6380): DEAD view gap →

← back to scry-mcdc