From 7045c72b95350e9392d2c4923d990b8a91c1c654 Mon Sep 17 00:00:00 2001 From: Shafik Yaghmour Date: Wed, 31 Oct 2018 21:53:15 +0000 Subject: [PATCH] Revert "[ASTImporter][Structural Eq] Check for isBeingDefined" This reverts commit r345760 because it caused an assertion in the lldb test suite. This is the log from the build bot: http://green.lab.llvm.org/green/view/LLDB/job/lldb-cmake/12003/ llvm-svn: 345784 --- clang/lib/AST/ASTStructuralEquivalence.cpp | 8 +----- clang/unittests/AST/ASTImporterTest.cpp | 39 ------------------------------ 2 files changed, 1 insertion(+), 46 deletions(-) diff --git a/clang/lib/AST/ASTStructuralEquivalence.cpp b/clang/lib/AST/ASTStructuralEquivalence.cpp index b6ed757..9149006 100644 --- a/clang/lib/AST/ASTStructuralEquivalence.cpp +++ b/clang/lib/AST/ASTStructuralEquivalence.cpp @@ -1016,8 +1016,7 @@ static bool IsStructurallyEquivalent(StructuralEquivalenceContext &Context, return false; // Compare the definitions of these two records. If either or both are - // incomplete (i.e. it is a forward decl), we assume that they are - // equivalent. + // incomplete, we assume that they are equivalent. D1 = D1->getDefinition(); D2 = D2->getDefinition(); if (!D1 || !D2) @@ -1032,11 +1031,6 @@ static bool IsStructurallyEquivalent(StructuralEquivalenceContext &Context, if (D1->hasExternalLexicalStorage() || D2->hasExternalLexicalStorage()) return true; - // If one definition is currently being defined, we do not compare for - // equality and we assume that the decls are equal. - if (D1->isBeingDefined() || D2->isBeingDefined()) - return true; - if (auto *D1CXX = dyn_cast(D1)) { if (auto *D2CXX = dyn_cast(D2)) { if (D1CXX->hasExternalLexicalStorage() && diff --git a/clang/unittests/AST/ASTImporterTest.cpp b/clang/unittests/AST/ASTImporterTest.cpp index 53078b6..d1683cd 100644 --- a/clang/unittests/AST/ASTImporterTest.cpp +++ b/clang/unittests/AST/ASTImporterTest.cpp @@ -3726,45 +3726,6 @@ TEST_P(ImportFunctionTemplateSpecializations, DefinitionThenPrototype) { EXPECT_EQ(To1->getPreviousDecl(), To0); } -TEST_P(ASTImporterTestBase, - ImportShouldNotReportFalseODRErrorWhenRecordIsBeingDefined) { - { - Decl *FromTU = getTuDecl( - R"( - template - struct B; - )", - Lang_CXX, "input0.cc"); - auto *FromD = FirstDeclMatcher().match( - FromTU, classTemplateDecl(hasName("B"))); - - Import(FromD, Lang_CXX); - } - - { - Decl *FromTU = getTuDecl( - R"( - template - struct B { - void f(); - B* b; - }; - )", - Lang_CXX, "input1.cc"); - FunctionDecl *FromD = FirstDeclMatcher().match( - FromTU, functionDecl(hasName("f"))); - Import(FromD, Lang_CXX); - auto *FromCTD = FirstDeclMatcher().match( - FromTU, classTemplateDecl(hasName("B"))); - auto *ToCTD = cast(Import(FromCTD, Lang_CXX)); - EXPECT_TRUE(ToCTD->isThisDeclarationADefinition()); - - // We expect no (ODR) warning during the import. - auto *ToTU = ToAST->getASTContext().getTranslationUnitDecl(); - EXPECT_EQ(0u, ToTU->getASTContext().getDiagnostics().getNumWarnings()); - } -} - INSTANTIATE_TEST_CASE_P(ParameterizedTests, DeclContextTest, ::testing::Values(ArgVector()), ); -- 2.7.4