From 218caa410aa38c29984be31a5229b9fa717560ee Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Wed, 17 Apr 2024 14:19:13 +0200 Subject: Merging upstream version 1.68.2+dfsg1. Signed-off-by: Daniel Baumann --- tests/ui/lint/lint-exceeding-bitshifts.rs | 79 +++++++++++++++++++++++++++++++ 1 file changed, 79 insertions(+) create mode 100644 tests/ui/lint/lint-exceeding-bitshifts.rs (limited to 'tests/ui/lint/lint-exceeding-bitshifts.rs') diff --git a/tests/ui/lint/lint-exceeding-bitshifts.rs b/tests/ui/lint/lint-exceeding-bitshifts.rs new file mode 100644 index 000000000..048c1aff8 --- /dev/null +++ b/tests/ui/lint/lint-exceeding-bitshifts.rs @@ -0,0 +1,79 @@ +// revisions: noopt opt opt_with_overflow_checks +//[noopt]compile-flags: -C opt-level=0 +//[opt]compile-flags: -O +//[opt_with_overflow_checks]compile-flags: -C overflow-checks=on -O +// build-pass +// ignore-pass (test emits codegen-time warnings and verifies that they are not errors) +// normalize-stderr-test "shift left by `(64|32)_usize`, which" -> "shift left by `%BITS%`, which" + +#![crate_type="lib"] +#![warn(arithmetic_overflow)] + + +pub trait Foo { + const N: i32; +} + +impl Foo for Vec { + const N: i32 = T::N << 42; //~ WARN: arithmetic operation will overflow +} + +pub fn foo(x: i32) { + let _ = x << 42; //~ WARN: arithmetic operation will overflow +} + +pub fn main() { + let n = 1u8 << 7; + let n = 1u8 << 8; //~ WARN: arithmetic operation will overflow + let n = 1u16 << 15; + let n = 1u16 << 16; //~ WARN: arithmetic operation will overflow + let n = 1u32 << 31; + let n = 1u32 << 32; //~ WARN: arithmetic operation will overflow + let n = 1u64 << 63; + let n = 1u64 << 64; //~ WARN: arithmetic operation will overflow + let n = 1i8 << 7; + let n = 1i8 << 8; //~ WARN: arithmetic operation will overflow + let n = 1i16 << 15; + let n = 1i16 << 16; //~ WARN: arithmetic operation will overflow + let n = 1i32 << 31; + let n = 1i32 << 32; //~ WARN: arithmetic operation will overflow + let n = 1i64 << 63; + let n = 1i64 << 64; //~ WARN: arithmetic operation will overflow + + let n = 1u8 >> 7; + let n = 1u8 >> 8; //~ WARN: arithmetic operation will overflow + let n = 1u16 >> 15; + let n = 1u16 >> 16; //~ WARN: arithmetic operation will overflow + let n = 1u32 >> 31; + let n = 1u32 >> 32; //~ WARN: arithmetic operation will overflow + let n = 1u64 >> 63; + let n = 1u64 >> 64; //~ WARN: arithmetic operation will overflow + let n = 1i8 >> 7; + let n = 1i8 >> 8; //~ WARN: arithmetic operation will overflow + let n = 1i16 >> 15; + let n = 1i16 >> 16; //~ WARN: arithmetic operation will overflow + let n = 1i32 >> 31; + let n = 1i32 >> 32; //~ WARN: arithmetic operation will overflow + let n = 1i64 >> 63; + let n = 1i64 >> 64; //~ WARN: arithmetic operation will overflow + + let n = 1u8; + let n = n << 7; + let n = n << 8; //~ WARN: arithmetic operation will overflow + + let n = 1u8 << -8; //~ WARN: arithmetic operation will overflow + + let n = 1i8<<(1isize+-1); + + let n = 1u8 << (4+3); + let n = 1u8 << (4+4); //~ WARN: arithmetic operation will overflow + let n = 1i64 >> [63][0]; + let n = 1i64 >> [64][0]; //~ WARN: arithmetic operation will overflow + + #[cfg(target_pointer_width = "32")] + const BITS: usize = 32; + #[cfg(target_pointer_width = "64")] + const BITS: usize = 64; + let n = 1_isize << BITS; //~ WARN: arithmetic operation will overflow + let n = 1_usize << BITS; //~ WARN: arithmetic operation will overflow +} -- cgit v1.2.3