| #![allow(clippy::legacy_numeric_constants, unused_imports)] |
| |
| fn main() { |
| let _ = 1u32.checked_add(1).unwrap_or(u32::max_value()); |
| //~^ manual_saturating_arithmetic |
| let _ = 1u32.checked_add(1).unwrap_or(u32::MAX); |
| //~^ manual_saturating_arithmetic |
| let _ = 1u8.checked_add(1).unwrap_or(255); |
| //~^ manual_saturating_arithmetic |
| let _ = 1u128 |
| //~^ manual_saturating_arithmetic |
| .checked_add(1) |
| .unwrap_or(340_282_366_920_938_463_463_374_607_431_768_211_455); |
| let _ = 1u32.checked_add(1).unwrap_or(1234); // ok |
| let _ = 1u8.checked_add(1).unwrap_or(0); // ok |
| let _ = 1u32.checked_mul(1).unwrap_or(u32::MAX); |
| //~^ manual_saturating_arithmetic |
| |
| let _ = 1u32.checked_sub(1).unwrap_or(u32::min_value()); |
| //~^ manual_saturating_arithmetic |
| let _ = 1u32.checked_sub(1).unwrap_or(u32::MIN); |
| //~^ manual_saturating_arithmetic |
| let _ = 1u8.checked_sub(1).unwrap_or(0); |
| //~^ manual_saturating_arithmetic |
| let _ = 1u32.checked_sub(1).unwrap_or(1234); // ok |
| let _ = 1u8.checked_sub(1).unwrap_or(255); // ok |
| |
| let _ = 1i32.checked_add(1).unwrap_or(i32::max_value()); |
| //~^ manual_saturating_arithmetic |
| let _ = 1i32.checked_add(1).unwrap_or(i32::MAX); |
| //~^ manual_saturating_arithmetic |
| let _ = 1i8.checked_add(1).unwrap_or(127); |
| //~^ manual_saturating_arithmetic |
| let _ = 1i128 |
| //~^ manual_saturating_arithmetic |
| .checked_add(1) |
| .unwrap_or(170_141_183_460_469_231_731_687_303_715_884_105_727); |
| let _ = 1i32.checked_add(-1).unwrap_or(i32::min_value()); |
| //~^ manual_saturating_arithmetic |
| let _ = 1i32.checked_add(-1).unwrap_or(i32::MIN); |
| //~^ manual_saturating_arithmetic |
| let _ = 1i8.checked_add(-1).unwrap_or(-128); |
| //~^ manual_saturating_arithmetic |
| let _ = 1i128 |
| //~^ manual_saturating_arithmetic |
| .checked_add(-1) |
| .unwrap_or(-170_141_183_460_469_231_731_687_303_715_884_105_728); |
| let _ = 1i32.checked_add(1).unwrap_or(1234); // ok |
| let _ = 1i8.checked_add(1).unwrap_or(-128); // ok |
| let _ = 1i8.checked_add(-1).unwrap_or(127); // ok |
| |
| let _ = 1i32.checked_sub(1).unwrap_or(i32::min_value()); |
| //~^ manual_saturating_arithmetic |
| let _ = 1i32.checked_sub(1).unwrap_or(i32::MIN); |
| //~^ manual_saturating_arithmetic |
| let _ = 1i8.checked_sub(1).unwrap_or(-128); |
| //~^ manual_saturating_arithmetic |
| let _ = 1i128 |
| //~^ manual_saturating_arithmetic |
| .checked_sub(1) |
| .unwrap_or(-170_141_183_460_469_231_731_687_303_715_884_105_728); |
| let _ = 1i32.checked_sub(-1).unwrap_or(i32::max_value()); |
| //~^ manual_saturating_arithmetic |
| let _ = 1i32.checked_sub(-1).unwrap_or(i32::MAX); |
| //~^ manual_saturating_arithmetic |
| let _ = 1i8.checked_sub(-1).unwrap_or(127); |
| //~^ manual_saturating_arithmetic |
| let _ = 1i128 |
| //~^ manual_saturating_arithmetic |
| .checked_sub(-1) |
| .unwrap_or(170_141_183_460_469_231_731_687_303_715_884_105_727); |
| let _ = 1i32.checked_sub(1).unwrap_or(1234); // ok |
| let _ = 1i8.checked_sub(1).unwrap_or(127); // ok |
| let _ = 1i8.checked_sub(-1).unwrap_or(-128); // ok |
| } |
