summaryrefslogtreecommitdiffstats
path: root/tests/codegen/non-terminate/infinite-loop-2.rs
blob: 81d62ab33d77855628ddb9e716fa3016ad91c118 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
// compile-flags: -C opt-level=3

#![crate_type = "lib"]

fn infinite_loop() -> u8 {
    let i = 2;
    while i > 1 {}
    1
}

// CHECK-LABEL: @test
#[no_mangle]
fn test() -> u8 {
    // CHECK-NOT: unreachable
    // CHECK: br label %{{.+}}
    // CHECK-NOT: unreachable
    let x = infinite_loop();
    x
}