text: // 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;
  }
  