blob: da29361cc967ed0eb088ca7e3fc5c6c59a43ca58 (
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
}
 |