emit_DW_AT_noreturn flag

[vleschuk]

Summary

Emit DWARF DW_AT_noreturn for C++ [[ noreturn ]] and C _Noreturn specifiers.

Corresponding LLVM patch: https://reviews.llvm.org/D23167

[majnemer]

This has no tests.

[vleschuk]

More context. Slight formatting changes.

[aprantl]

Please add separate testcases for C11 and C++11 (and possibly Objective-C?).

[vleschuk]

Add IR tests

[aprantl]

test/Frontend/dinoreturn.c

2 ↗

(On Diff #67694)

Please check for more context. For example:

CHECK: !DISubprogram({{.*}}name: "f"{{.*}}flags: DIFlagNoreturn

would be good here.

[vleschuk]

More context in text.

[vleschuk]

Full context

[vleschuk]

Could somebody take a look at it and commit if no ojections?

[aprantl]

Note that I moved the test cases to the appropriate CodeGenXYZ directories.

[aprantl]

Committed as r278942. Thanks!

lib/AST/Decl.cpp

 }
 
 bool FunctionDecl::isNoReturn() const {
-  return hasAttr<NoReturnAttr>() || hasAttr<CXX11NoReturnAttr>() ||
-         hasAttr<C11NoReturnAttr>() ||
-         getType()->getAs<FunctionType>()->getNoReturnAttr();
+  bool HasNoReturnAttr = hasAttr<NoReturnAttr>() || hasAttr<CXX11NoReturnAttr>() || hasAttr<C11NoReturnAttr>();
+  const auto *FuncType = getType()->getAs<FunctionType>();
+  bool TypeHasNoReturnAttr = false;
+  if (FuncType)
+    TypeHasNoReturnAttr = FuncType->getNoReturnAttr();
+  return HasNoReturnAttr || TypeHasNoReturnAttr;
 }
 
 void

lib/CodeGen/CGDebugInfo.cpp

       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);
   }