summaryrefslogtreecommitdiffstats
path: root/tests/codegen/issues/issue-75546.rs
blob: 470a9e04096050d321bafd74e899ba3a8a07084d (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;
    }
}