; Function Attrs: noinline nounwind ssp uwtable
define void @foo() #0 {
  br label %1

; <label>:1:                                      ; preds = %0, %1
  br label %1
                                                  ; No predecessors!
  ret void
}

; Function Attrs: noinline nounwind ssp uwtable
define i32 @main() #0 {
  %1 = alloca i32, align 4
  store i32 0, i32* %1, align 4
  call void @foo()
  unreachable
                                                  ; No predecessors!
  %3 = load i32, i32* %1, align 4
  ret i32 %3
}