Browse Source

[DWARF5] Added support for DW_AT_noreturn attribute to be emitted for
C++ class member functions.

Patch by Sourabh Singh Tomar!

Differential Revision: https://reviews.llvm.org/D68697

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@375012 91177308-0d34-0410-b5e6-96231b3b80d8

Adrian Prantl 5 years ago
parent
commit
5cd7a6f916
2 changed files with 21 additions and 0 deletions
  1. 2 0
      lib/CodeGen/CGDebugInfo.cpp
  2. 19 0
      test/CodeGenCXX/debug-info-noreturn.cpp

+ 2 - 0
lib/CodeGen/CGDebugInfo.cpp

@@ -1605,6 +1605,8 @@ llvm::DISubprogram *CGDebugInfo::CreateCXXMemberFunction(
     ContainingType = RecordTy;
     ContainingType = RecordTy;
   }
   }
 
 
+  if (Method->isNoReturn())
+    Flags |= llvm::DINode::FlagNoReturn;
   if (Method->isStatic())
   if (Method->isStatic())
     Flags |= llvm::DINode::FlagStaticMember;
     Flags |= llvm::DINode::FlagStaticMember;
   if (Method->isImplicit())
   if (Method->isImplicit())

+ 19 - 0
test/CodeGenCXX/debug-info-noreturn.cpp

@@ -0,0 +1,19 @@
+// RUN: %clang_cc1 -std=c++11 -emit-llvm -fcxx-exceptions -debug-info-kind=standalone  %s -o - | FileCheck %s
+// Test for NoReturn flags in debug info.
+
+// CHECK: DISubprogram(name: "f", {{.*}}, flags: DIFlagPrototyped | DIFlagNoReturn, spFlags: DISPFlagDefinition
+// CHECK: DISubprogram(name: "foo_member", {{.*}}, flags: DIFlagPrototyped | DIFlagNoReturn, spFlags: 0
+// CHECK-NOT: DISubprogram(name: "func",{{.*}}, flags: DIFlagPrototyped | DIFlagNoReturn, spFlags: DISPFlagDefinition
+
+class foo {
+
+  [[noreturn]] void foo_member() { throw 1; }
+};
+
+[[noreturn]] void f() {
+  throw 1;
+}
+
+void func() {
+  foo object;
+}