blob: cc87d7cd2b9dab65954608f704358343869dd66e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
// compile-flags: -O -C overflow-checks
// min-llvm-version: 16
#![crate_type = "lib"]
#[no_mangle]
pub fn test(arr: &[u8], weight: u32) {
// CHECK-LABEL: @test(
// CHECK-NOT: panic
let weight = weight.min(256 * 256 * 256);
for x in arr {
assert!(weight <= 256 * 256 * 256);
let result = *x as u32 * weight;
}
}
|
