]>
Commit | Line | Data |
---|---|---|
6a06907d | 1 | // compile-flags: -C opt-level=3 |
e74abb32 XL |
2 | |
3 | #![crate_type = "lib"] | |
4 | ||
5 | fn infinite_loop() -> u8 { | |
6 | loop {} | |
7 | } | |
8 | ||
9 | // CHECK-LABEL: @test | |
10 | #[no_mangle] | |
11 | fn test() -> u8 { | |
12 | // CHECK-NOT: unreachable | |
13 | // CHECK: br label %{{.+}} | |
14 | // CHECK-NOT: unreachable | |
15 | let x = infinite_loop(); | |
16 | x | |
17 | } |