Decision #763 — `library/core/src/num/uint_macros.rs:2511`

Status: no_witness

Truth table

row	c0 br 5449	c1 br 5450	c2 br 5454	outcome
1902	*	F	*	F
4939	*	F	*	F
7942	*	F	*	F

c0 (branch 5449): DEAD view gap →
<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader · br_if
inlined: sha256.rs:42 ← soft.rs:128
c1 (branch 5450): GAP view gap →
<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader · br_if
inlined: sha256.rs:42 ← soft.rs:103
c2 (branch 5454): DEAD view gap →
<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader · br_if
inlined: sha256.rs:42 ← soft.rs:103