blob: 1e1e6543a889ceb68adb874525ebeeda1323f0e5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
//@ compile-flags: -Copt-level=3
#![crate_type = "lib"]
// Test that LLVM can eliminate the impossible `i == 0` check.
// CHECK-LABEL: @issue_75546
#[no_mangle]
pub fn issue_75546() {
let mut i = 1u32;
while i < u32::MAX {
// CHECK-NOT: panic
if i == 0 {
panic!();
}
i += 1;
}
}
|
