safecode/tools/clang/test/CodeGenCXX/cxx11-noreturn.cpp

// RUN: %clang_cc1 -emit-llvm -std=c++11 %s -o - | FileCheck %s

int g();

// CHECK: _Z1fv(){{.*}} [[NR:#[0-9]+]]
[[noreturn]] int f() {
  while (g()) {}
}

// CHECK: attributes [[NR]] = { noreturn nounwind{{.*}} }