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

int g();

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

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