From: Douglas Gregor Date: Thu, 17 Feb 2011 18:06:05 +0000 (+0000) Subject: Devirtualize TagDecl::completeDefinition(). X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=2ae442a8a0974aee1da389a69857a4b6f2823c1a;p=clang Devirtualize TagDecl::completeDefinition(). git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@125755 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/include/clang/AST/Decl.h b/include/clang/AST/Decl.h index 32706d6c90..cca25cf73f 100644 --- a/include/clang/AST/Decl.h +++ b/include/clang/AST/Decl.h @@ -2485,9 +2485,8 @@ public: return field_begin() == field_end(); } - /// completeDefinition - Notes that the definition of this type is - /// now complete. - virtual void completeDefinition(); + /// \brief Indicates that the definition of this class is now complete. + void completeDefinition(); static bool classof(const Decl *D) { return classofKind(D->getKind()); } static bool classof(const RecordDecl *D) { return true; } diff --git a/include/clang/AST/DeclCXX.h b/include/clang/AST/DeclCXX.h index 64bb1cbca3..3d730eff6f 100644 --- a/include/clang/AST/DeclCXX.h +++ b/include/clang/AST/DeclCXX.h @@ -447,6 +447,9 @@ class CXXRecordDecl : public RecordDecl { void markedVirtualFunctionPure(); friend void FunctionDecl::setPure(bool); + void completeDefinitionImpl(CXXFinalOverriderMap *FinalOverriders); + friend class RecordDecl; + protected: CXXRecordDecl(Kind K, TagKind TK, DeclContext *DC, SourceLocation L, IdentifierInfo *Id, @@ -994,9 +997,6 @@ public: return (PathAccess > DeclAccess ? PathAccess : DeclAccess); } - /// \brief Indicates that the definition of this class is now complete. - virtual void completeDefinition(); - /// \brief Indicates that the definition of this class is now complete, /// and provides a final overrider map to help determine /// diff --git a/lib/AST/Decl.cpp b/lib/AST/Decl.cpp index 8c55d0e7ab..d5e9dbf4fc 100644 --- a/lib/AST/Decl.cpp +++ b/lib/AST/Decl.cpp @@ -2128,13 +2128,6 @@ RecordDecl::field_iterator RecordDecl::field_begin() const { return field_iterator(decl_iterator(FirstDecl)); } -/// completeDefinition - Notes that the definition of this type is now -/// complete. -void RecordDecl::completeDefinition() { - assert(!isDefinition() && "Cannot redefine record!"); - TagDecl::completeDefinition(); -} - void RecordDecl::LoadFieldsFromExternalStorage() const { ExternalASTSource *Source = getASTContext().getExternalSource(); assert(hasExternalLexicalStorage() && Source && "No external storage?"); @@ -2160,6 +2153,13 @@ void RecordDecl::LoadFieldsFromExternalStorage() const { llvm::tie(FirstDecl, LastDecl) = BuildDeclChain(Decls); } +void RecordDecl::completeDefinition() { + assert(!isDefinition() && "Cannot redefine record!"); + TagDecl::completeDefinition(); + if (CXXRecordDecl *CXXRecord = dyn_cast(this)) + CXXRecord->completeDefinitionImpl(0); +} + //===----------------------------------------------------------------------===// // BlockDecl Implementation //===----------------------------------------------------------------------===// diff --git a/lib/AST/DeclCXX.cpp b/lib/AST/DeclCXX.cpp index fba73f59d5..1de3cc989e 100644 --- a/lib/AST/DeclCXX.cpp +++ b/lib/AST/DeclCXX.cpp @@ -819,13 +819,8 @@ CXXDestructorDecl *CXXRecordDecl::getDestructor() const { return Dtor; } -void CXXRecordDecl::completeDefinition() { - completeDefinition(0); -} - -void CXXRecordDecl::completeDefinition(CXXFinalOverriderMap *FinalOverriders) { - RecordDecl::completeDefinition(); - +void +CXXRecordDecl::completeDefinitionImpl(CXXFinalOverriderMap *FinalOverriders) { // If the class may be abstract (but hasn't been marked as such), check for // any pure final overriders. if (mayBeAbstract()) { @@ -865,6 +860,12 @@ void CXXRecordDecl::completeDefinition(CXXFinalOverriderMap *FinalOverriders) { data().Conversions.setAccess(I, (*I)->getAccess()); } +void +CXXRecordDecl::completeDefinition(CXXFinalOverriderMap *FinalOverriders) { + TagDecl::completeDefinition(); + completeDefinitionImpl(FinalOverriders); +} + bool CXXRecordDecl::mayBeAbstract() const { if (data().Abstract || isInvalidDecl() || !data().Polymorphic || isDependentContext())