aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAdrian Prantl <aprantl@apple.com>2019-10-16 16:30:38 +0000
committerAdrian Prantl <aprantl@apple.com>2019-10-16 16:30:38 +0000
commit5cd7a6f916b7b11f9955587e413af95c3f45bc7b (patch)
tree40052ce646dc3bf5e9abecfc7c4c16a7e39a1a93
parent9db088e09ee7d5574b0fb4086d9258e9fb062c42 (diff)
[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
-rw-r--r--lib/CodeGen/CGDebugInfo.cpp2
-rw-r--r--test/CodeGenCXX/debug-info-noreturn.cpp19
2 files changed, 21 insertions, 0 deletions
diff --git a/lib/CodeGen/CGDebugInfo.cpp b/lib/CodeGen/CGDebugInfo.cpp
index 3d140ba7d7..7962ae002b 100644
--- a/lib/CodeGen/CGDebugInfo.cpp
+++ b/lib/CodeGen/CGDebugInfo.cpp
@@ -1605,6 +1605,8 @@ llvm::DISubprogram *CGDebugInfo::CreateCXXMemberFunction(
ContainingType = RecordTy;
}
+ if (Method->isNoReturn())
+ Flags |= llvm::DINode::FlagNoReturn;
if (Method->isStatic())
Flags |= llvm::DINode::FlagStaticMember;
if (Method->isImplicit())
diff --git a/test/CodeGenCXX/debug-info-noreturn.cpp b/test/CodeGenCXX/debug-info-noreturn.cpp
new file mode 100644
index 0000000000..85b81324a4
--- /dev/null
+++ b/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;
+}