blob: 521d424c2696b4507ea2c699049026b266358546 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
// compile-flags: -O -C overflow-checks
#![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;
}
}
|
