1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37
|
// RUN: %clang_cc1 -emit-llvm -o - %s | FileCheck %s
// CHECK-NOT: @unreachable
extern void abort(void) __attribute__((noreturn));
extern int unreachable(void);
int f0(void) {
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;
}
|