From: Douglas Gregor Date: Tue, 17 Jan 2012 19:21:53 +0000 (+0000) Subject: Rework the way in which we (de-)serialize the declarations X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=56ca8a9c0fabd65418e9b2fd85140f4ed7d3c187;p=clang Rework the way in which we (de-)serialize the declarations corresponding to TagType and ObjCInterfaceType. Previously, we would serialize the definition (if available) or the canonical declaration (if no definition was available). However, this can end up forcing the deserialization of the definition even through we might not want to yet. Instead, always serialize the canonical declaration reference in the TagType/ObjCInterfaceType entry, and as part of loading a pending definition, update the "decl" pointer within the type node to point at the definition. This is more robust in hard-to-isolate cases where the *Type gets built and filled in before we see the definition. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@148323 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/include/clang/AST/Decl.h b/include/clang/AST/Decl.h index 4016c2085f..01177fa277 100644 --- a/include/clang/AST/Decl.h +++ b/include/clang/AST/Decl.h @@ -2225,6 +2225,7 @@ class TypeDecl : public NamedDecl { friend class TagDecl; friend class TemplateTypeParmDecl; friend class TagType; + friend class ASTReader; protected: TypeDecl(Kind DK, DeclContext *DC, SourceLocation L, IdentifierInfo *Id, diff --git a/include/clang/AST/Type.h b/include/clang/AST/Type.h index 436c02cd91..ed2e83763f 100644 --- a/include/clang/AST/Type.h +++ b/include/clang/AST/Type.h @@ -3070,6 +3070,8 @@ class TagType : public Type { /// TagDecl that declares the entity. TagDecl * decl; + friend class ASTReader; + protected: TagType(TypeClass TC, const TagDecl *D, QualType can); @@ -4160,6 +4162,7 @@ class ObjCInterfaceType : public ObjCObjectType { : ObjCObjectType(Nonce_ObjCInterface), Decl(const_cast(D)) {} friend class ASTContext; // ASTContext creates these. + friend class ASTReader; friend class ObjCInterfaceDecl; public: diff --git a/lib/Serialization/ASTReader.cpp b/lib/Serialization/ASTReader.cpp index 57cd0212b3..245e8b1b18 100644 --- a/lib/Serialization/ASTReader.cpp +++ b/lib/Serialization/ASTReader.cpp @@ -3901,8 +3901,9 @@ QualType ASTReader::readTypeRecord(unsigned Index) { } unsigned Idx = 0; bool IsDependent = Record[Idx++]; - QualType T - = Context.getRecordType(ReadDeclAs(*Loc.F, Record, Idx)); + RecordDecl *RD = ReadDeclAs(*Loc.F, Record, Idx); + RD = cast_or_null(RD->getCanonicalDecl()); + QualType T = Context.getRecordType(RD); const_cast(T.getTypePtr())->setDependent(IsDependent); return T; } @@ -3966,7 +3967,7 @@ QualType ASTReader::readTypeRecord(unsigned Index) { unsigned Idx = 0; ObjCInterfaceDecl *ItfD = ReadDeclAs(*Loc.F, Record, Idx); - return Context.getObjCInterfaceType(ItfD); + return Context.getObjCInterfaceType(ItfD->getCanonicalDecl()); } case TYPE_OBJC_OBJECT: { @@ -6124,6 +6125,7 @@ void ASTReader::finishPendingActions() { // Load pending declaration chains. for (unsigned I = 0; I != PendingDeclChains.size(); ++I) { loadPendingDeclChain(PendingDeclChains[I]); + PendingDeclChainsKnown.erase(PendingDeclChains[I]); } PendingDeclChains.clear(); @@ -6143,16 +6145,28 @@ void ASTReader::finishPendingActions() { for (llvm::SmallPtrSet::iterator D = PendingDefinitions.begin(), DEnd = PendingDefinitions.end(); D != DEnd; ++D) { - if (CXXRecordDecl *RD = dyn_cast(*D)) { - for (CXXRecordDecl::redecl_iterator R = RD->redecls_begin(), - REnd = RD->redecls_end(); - R != REnd; ++R) - cast(*R)->DefinitionData = RD->DefinitionData; + if (TagDecl *TD = dyn_cast(*D)) { + if (const TagType *TagT = dyn_cast(TD->TypeForDecl)) { + // Make sure that the TagType points at the definition. + const_cast(TagT)->decl = TD; + } + if (CXXRecordDecl *RD = dyn_cast(*D)) { + for (CXXRecordDecl::redecl_iterator R = RD->redecls_begin(), + REnd = RD->redecls_end(); + R != REnd; ++R) + cast(*R)->DefinitionData = RD->DefinitionData; + + } + continue; } if (ObjCInterfaceDecl *ID = dyn_cast(*D)) { + // Make sure that the ObjCInterfaceType points at the definition. + const_cast(cast(ID->TypeForDecl)) + ->Decl = ID; + for (ObjCInterfaceDecl::redecl_iterator R = ID->redecls_begin(), REnd = ID->redecls_end(); R != REnd; ++R) diff --git a/lib/Serialization/ASTWriter.cpp b/lib/Serialization/ASTWriter.cpp index 7a09b32ac1..c5f9b2dc88 100644 --- a/lib/Serialization/ASTWriter.cpp +++ b/lib/Serialization/ASTWriter.cpp @@ -239,7 +239,7 @@ void ASTTypeWriter::VisitAutoType(const AutoType *T) { void ASTTypeWriter::VisitTagType(const TagType *T) { Record.push_back(T->isDependentType()); - Writer.AddDeclRef(T->getDecl(), Record); + Writer.AddDeclRef(T->getDecl()->getCanonicalDecl(), Record); assert(!T->isBeingDefined() && "Cannot serialize in the middle of a type definition"); } @@ -369,7 +369,7 @@ void ASTTypeWriter::VisitInjectedClassNameType(const InjectedClassNameType *T) { } void ASTTypeWriter::VisitObjCInterfaceType(const ObjCInterfaceType *T) { - Writer.AddDeclRef(T->getDecl(), Record); + Writer.AddDeclRef(T->getDecl()->getCanonicalDecl(), Record); Code = TYPE_OBJC_INTERFACE; }