From 88d7917970e98609943d68dc1c47712104dfcb92 Mon Sep 17 00:00:00 2001 From: Adrian Prantl Date: Tue, 26 Apr 2016 21:58:18 +0000 Subject: [PATCH] Module debugging: Use the definition to determine module-defined types. Follow-up to r267464. Thanks to Richard Smith for pointing this out! llvm-svn: 267611 --- clang/lib/CodeGen/CGDebugInfo.cpp | 6 ++---- clang/test/Modules/ExtDebugInfo.cpp | 9 +++++++++ 2 files changed, 11 insertions(+), 4 deletions(-) diff --git a/clang/lib/CodeGen/CGDebugInfo.cpp b/clang/lib/CodeGen/CGDebugInfo.cpp index 0050b78..e275f06 100644 --- a/clang/lib/CodeGen/CGDebugInfo.cpp +++ b/clang/lib/CodeGen/CGDebugInfo.cpp @@ -1516,9 +1516,7 @@ static bool hasExplicitMemberDefinition(CXXRecordDecl::method_iterator I, /// Does a type definition exist in an imported clang module? static bool isDefinedInClangModule(const RecordDecl *RD) { - if (!RD->isFromASTFile()) - return false; - if (!RD->getDefinition()) + if (!RD || !RD->isFromASTFile()) return false; if (!RD->isExternallyVisible() && RD->getName().empty()) return false; @@ -1535,7 +1533,7 @@ static bool isDefinedInClangModule(const RecordDecl *RD) { static bool shouldOmitDefinition(codegenoptions::DebugInfoKind DebugKind, bool DebugTypeExtRefs, const RecordDecl *RD, const LangOptions &LangOpts) { - if (DebugTypeExtRefs && isDefinedInClangModule(RD)) + if (DebugTypeExtRefs && isDefinedInClangModule(RD->getDefinition())) return true; if (DebugKind > codegenoptions::LimitedDebugInfo) diff --git a/clang/test/Modules/ExtDebugInfo.cpp b/clang/test/Modules/ExtDebugInfo.cpp index cefb21e..e16d5a8 100644 --- a/clang/test/Modules/ExtDebugInfo.cpp +++ b/clang/test/Modules/ExtDebugInfo.cpp @@ -51,6 +51,10 @@ TypedefFwdDeclTemplate tdfdt; InAnonymousNamespace anon; +// Forward-declared in the module. +struct PureFwdDecl { int i; }; +PureFwdDecl definedLocally; + void foo() { anon.i = GlobalStruct.i = GlobalUnion.i = GlobalEnum; } @@ -133,6 +137,11 @@ void foo() { // CHECK-SAME: templateParams: // CHECK-SAME: identifier: "_ZTS15FwdDeclTemplateIiE") +// This type is defined locally and forward-declare in the module. +// CHECK: !DICompositeType(tag: DW_TAG_structure_type, name: "PureFwdDecl", +// CHECK-SAME: elements: +// CHECK-SAME: identifier: "_ZTS11PureFwdDecl") + // CHECK: !DIGlobalVariable(name: "anon_enum", {{.*}}, type: ![[ANON_ENUM:[0-9]+]] // CHECK: !DICompositeType(tag: DW_TAG_enumeration_type, scope: ![[NS]], // CHECK-SAME: line: 16 -- 2.7.4