clang/test/CIR/CodeGen/unreachable.cpp

// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir
// RUN: FileCheck --input-file=%t.cir %s

void foo();

void basic() {
  foo();
  __builtin_unreachable();
}

//      CHECK: cir.func @_Z5basicv()
// CHECK-NEXT:   cir.call @_Z3foov() : () -> ()
// CHECK-NEXT:   cir.unreachable
// CHECK-NEXT: }

void code_after_unreachable() {
  foo();
  __builtin_unreachable();
  foo();
}

// CHECK: cir.func @_Z22code_after_unreachablev()
// CHECK:   cir.call @_Z3foov() : () -> ()
// CHECK:   cir.unreachable
// CHECK: ^{{.+}}:
// CHECK:   cir.call @_Z3foov() : () -> ()
// CHECK:   cir.return
// CHECK: }