1 // RUN: %clang_cc1 -S -emit-llvm %s -o - | FileCheck %s
2 
3 typedef void (*fptrs_t[4])(void);
4 fptrs_t p __attribute__((noreturn));
5 
6 void __attribute__((noreturn)) f(void) {
7   p[0]();
8 }
9 // CHECK: call void
10 // CHECK-NEXT: unreachable
11