| //@ compile-flags: -C opt-level=3 | |
| #![crate_type = "lib"] | |
| fn infinite_loop() -> u8 { | |
| loop {} | |
| } | |
| // CHECK-LABEL: @test | |
| #[no_mangle] | |
| fn test() -> u8 { | |
| // CHECK-NOT: unreachable | |
| // CHECK: br label %{{.+}} | |
| // CHECK-NOT: unreachable | |
| let x = infinite_loop(); | |
| x | |
| } |