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