Decision #930 — uint_macros.rs:2155
Status: no_witness
Truth table
| row | c0 br 6356 | c1 br 6357 | outcome |
|---|---|---|---|
| 81807 | * | F | F |
| 81808 | * | F | F |
| 84056 | * | F | F |
| 84057 | * | F | F |
Independent-effect pairs
c0(branch6356): DEAD view gap →<i64 as core::fmt::Display>::fmt· br_if
inlined: macros.rs:480 ← shift.rs:114 ← shift.rs:61 ← int_traits.rs:120 ← uint_macros.rs:2807c1(branch6357): GAP view gap →<i64 as core::fmt::Display>::fmt· br_if
inlined: macros.rs:480 ← shift.rs:114 ← shift.rs:55 ← int_traits.rs:120 ← uint_macros.rs:2807