test/CodeGen/unreachable-ret.c

// RUN: %clang_cc1 -no-opaque-pointers -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 {{.*}}i8* @f2()
// CHECK-NEXT: entry:
// CHECK-NEXT:   call void @abort()
// CHECK-NEXT:   unreachable
// CHECK-NEXT: }