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 }