Decision #129 — library/core/src/num/uint_macros.rs:2399
Status: no_witness
Truth table
| row | c0 br 675 | c1 br 676 | c2 br 694 | outcome |
|---|---|---|---|---|
| 90821 | F | F | * | F |
| 90822 | F | F | * | F |
Independent-effect pairs
c0(branch675): GAP view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:2759c1(branch676): GAP view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:2759c2(branch694): DEAD view gap →scry_analyze_core::Interp::seq· br_if
inlined: lib.rs:2759