clang/test/CodeGen/unreachable-ret.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

// RUN: %clang_cc1 -emit-llvm -o - %s | FileCheck %s

extern void abort(void) __attribute__((noreturn));

void f1(void) {
  abort();
}
// CHECK-LABEL: define {{.*}}void @f1()
// CHECK-NEXT: entry:
// CHECK-NEXT:   call void @abort()
// CHECK-NEXT:   unreachable
// CHECK-NEXT: }

void *f2(void) {
  abort();
  return 0;
}
// CHECK-LABEL: define {{.*}}ptr @f2()
// CHECK-NEXT: entry:
// CHECK-NEXT:   call void @abort()
// CHECK-NEXT:   unreachable
// CHECK-NEXT: }