Index: lib/AST/Decl.cpp =================================================================== --- lib/AST/Decl.cpp +++ lib/AST/Decl.cpp @@ -2657,9 +2657,13 @@ } bool FunctionDecl::isNoReturn() const { - return hasAttr() || hasAttr() || - hasAttr() || - getType()->getAs()->getNoReturnAttr(); + bool HasNoReturnAttr = hasAttr() || hasAttr() + || hasAttr(); + const auto *FuncType = getType()->getAs(); + bool TypeHasNoReturnAttr = false; + if (FuncType) + TypeHasNoReturnAttr = FuncType->getNoReturnAttr(); + return HasNoReturnAttr || TypeHasNoReturnAttr; } void Index: lib/CodeGen/CGDebugInfo.cpp =================================================================== --- lib/CodeGen/CGDebugInfo.cpp +++ lib/CodeGen/CGDebugInfo.cpp @@ -2641,6 +2641,9 @@ llvm::DIScope *Mod = getParentModuleOrNull(RDecl); FDContext = getContextDescriptor(RDecl, Mod ? Mod : TheCU); } + // Check if it is a noreturn-marked function + if (FD->isNoReturn()) + Flags |= llvm::DINode::FlagNoReturn; // Collect template parameters. TParamsArray = CollectFunctionTemplateParams(FD, Unit); } Index: test/Frontend/dinoreturn.c =================================================================== --- /dev/null +++ test/Frontend/dinoreturn.c @@ -0,0 +1,6 @@ +// RUN: %clang %s -c -std=c11 -emit-llvm -S -g -o - | FileCheck %s +// CHECK: !DISubprogram({{.*}}name: "f"{{.*}}flags:{{.*DIFlagNoReturn}} +#include +_Noreturn void f() { + exit(0); +} Index: test/Frontend/dinoreturn.cpp =================================================================== --- /dev/null +++ test/Frontend/dinoreturn.cpp @@ -0,0 +1,5 @@ +// RUN: %clang %s -c -std=c++11 -x c++ -emit-llvm -S -g -o - | FileCheck %s +// CHECK: !DISubprogram({{.*}}name: "f"{{.*}}flags:{{.*DIFlagNoReturn}} +[[ noreturn ]] void f() { + throw 1; +} Index: test/Frontend/dinoreturn.m =================================================================== --- /dev/null +++ test/Frontend/dinoreturn.m @@ -0,0 +1,5 @@ +// RUN: %clang %s -c -emit-llvm -S -g -o - | FileCheck %s +// CHECK: !DISubprogram({{.*}}name: "f"{{.*}}flags:{{.*DIFlagNoReturn}} +__attribute__ ((noreturn)) void f() { + exit(0); +}