Decision #759 — library/core/src/num/uint_macros.rs:2511
Status: no_witness
Truth table
| row | c0 br 5424 | c1 br 5425 | c2 br 5428 | c3 br 5429 | c4 br 5432 | c5 br 5433 | outcome |
|---|---|---|---|---|---|---|---|
| 1900 | F | T | F | F | * | * | F |
| 4937 | F | T | F | F | * | * | F |
| 7940 | F | T | F | F | * | * | F |
Independent-effect pairs
c0(branch5424): GAP view gap →<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader· br_if
inlined: sha256.rs:42 ← soft.rs:120c1(branch5425): GAP view gap →<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader· br_if
inlined: sha256.rs:42 ← soft.rs:128c2(branch5428): GAP view gap →<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader· br_if
inlined: sha256.rs:42 ← soft.rs:111c3(branch5429): GAP view gap →<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader· br_if
inlined: sha256.rs:42 ← soft.rs:119c4(branch5432): DEAD view gap →<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader· br_if
inlined: sha256.rs:42 ← soft.rs:102c5(branch5433): DEAD view gap →<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader· br_if
inlined: sha256.rs:42 ← soft.rs:104