// RUN: %clang_cc1 -emit-llvm -o - %s | FileCheck %s
// CHECK-NOT: @unreachable
extern void abort() __attribute__((noreturn));
extern int unreachable();
int f0() {
return 0;
unreachable();
}
int f1(int i) {
goto L0;
int a = unreachable();
L0:
return 0;
}
int f2(int i) {
goto L0;
unreachable();
int a;
unreachable();
L0:
a = i + 1;
return a;
}
int f3(int i) {
if (i) {
return 0;
} else {
abort();
}
unreachable();
return 3;
}