1*e5dd7070Spatrick //===- ExternalASTMerger.cpp - Merging External AST Interface ---*- C++ -*-===// 2*e5dd7070Spatrick // 3*e5dd7070Spatrick // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4*e5dd7070Spatrick // See https://llvm.org/LICENSE.txt for license information. 5*e5dd7070Spatrick // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6*e5dd7070Spatrick // 7*e5dd7070Spatrick //===----------------------------------------------------------------------===// 8*e5dd7070Spatrick // 9*e5dd7070Spatrick // This file implements the ExternalASTMerger, which vends a combination of 10*e5dd7070Spatrick // ASTs from several different ASTContext/FileManager pairs 11*e5dd7070Spatrick // 12*e5dd7070Spatrick //===----------------------------------------------------------------------===// 13*e5dd7070Spatrick 14*e5dd7070Spatrick #include "clang/AST/ASTContext.h" 15*e5dd7070Spatrick #include "clang/AST/Decl.h" 16*e5dd7070Spatrick #include "clang/AST/DeclCXX.h" 17*e5dd7070Spatrick #include "clang/AST/DeclObjC.h" 18*e5dd7070Spatrick #include "clang/AST/DeclTemplate.h" 19*e5dd7070Spatrick #include "clang/AST/ExternalASTMerger.h" 20*e5dd7070Spatrick 21*e5dd7070Spatrick using namespace clang; 22*e5dd7070Spatrick 23*e5dd7070Spatrick namespace { 24*e5dd7070Spatrick 25*e5dd7070Spatrick template <typename T> struct Source { 26*e5dd7070Spatrick T t; 27*e5dd7070Spatrick Source(T t) : t(t) {} 28*e5dd7070Spatrick operator T() { return t; } 29*e5dd7070Spatrick template <typename U = T> U &get() { return t; } 30*e5dd7070Spatrick template <typename U = T> const U &get() const { return t; } 31*e5dd7070Spatrick template <typename U> operator Source<U>() { return Source<U>(t); } 32*e5dd7070Spatrick }; 33*e5dd7070Spatrick 34*e5dd7070Spatrick typedef std::pair<Source<NamedDecl *>, ASTImporter *> Candidate; 35*e5dd7070Spatrick 36*e5dd7070Spatrick /// For the given DC, return the DC that is safe to perform lookups on. This is 37*e5dd7070Spatrick /// the DC we actually want to work with most of the time. 38*e5dd7070Spatrick const DeclContext *CanonicalizeDC(const DeclContext *DC) { 39*e5dd7070Spatrick if (isa<LinkageSpecDecl>(DC)) 40*e5dd7070Spatrick return DC->getRedeclContext(); 41*e5dd7070Spatrick return DC; 42*e5dd7070Spatrick } 43*e5dd7070Spatrick 44*e5dd7070Spatrick Source<const DeclContext *> 45*e5dd7070Spatrick LookupSameContext(Source<TranslationUnitDecl *> SourceTU, const DeclContext *DC, 46*e5dd7070Spatrick ASTImporter &ReverseImporter) { 47*e5dd7070Spatrick DC = CanonicalizeDC(DC); 48*e5dd7070Spatrick if (DC->isTranslationUnit()) { 49*e5dd7070Spatrick return SourceTU; 50*e5dd7070Spatrick } 51*e5dd7070Spatrick Source<const DeclContext *> SourceParentDC = 52*e5dd7070Spatrick LookupSameContext(SourceTU, DC->getParent(), ReverseImporter); 53*e5dd7070Spatrick if (!SourceParentDC) { 54*e5dd7070Spatrick // If we couldn't find the parent DC in this TranslationUnit, give up. 55*e5dd7070Spatrick return nullptr; 56*e5dd7070Spatrick } 57*e5dd7070Spatrick auto *ND = cast<NamedDecl>(DC); 58*e5dd7070Spatrick DeclarationName Name = ND->getDeclName(); 59*e5dd7070Spatrick auto SourceNameOrErr = ReverseImporter.Import(Name); 60*e5dd7070Spatrick if (!SourceNameOrErr) { 61*e5dd7070Spatrick llvm::consumeError(SourceNameOrErr.takeError()); 62*e5dd7070Spatrick return nullptr; 63*e5dd7070Spatrick } 64*e5dd7070Spatrick Source<DeclarationName> SourceName = *SourceNameOrErr; 65*e5dd7070Spatrick DeclContext::lookup_result SearchResult = 66*e5dd7070Spatrick SourceParentDC.get()->lookup(SourceName.get()); 67*e5dd7070Spatrick size_t SearchResultSize = SearchResult.size(); 68*e5dd7070Spatrick if (SearchResultSize == 0 || SearchResultSize > 1) { 69*e5dd7070Spatrick // There are two cases here. First, we might not find the name. 70*e5dd7070Spatrick // We might also find multiple copies, in which case we have no 71*e5dd7070Spatrick // guarantee that the one we wanted is the one we pick. (E.g., 72*e5dd7070Spatrick // if we have two specializations of the same template it is 73*e5dd7070Spatrick // very hard to determine which is the one you want.) 74*e5dd7070Spatrick // 75*e5dd7070Spatrick // The Origins map fixes this problem by allowing the origin to be 76*e5dd7070Spatrick // explicitly recorded, so we trigger that recording by returning 77*e5dd7070Spatrick // nothing (rather than a possibly-inaccurate guess) here. 78*e5dd7070Spatrick return nullptr; 79*e5dd7070Spatrick } else { 80*e5dd7070Spatrick NamedDecl *SearchResultDecl = SearchResult[0]; 81*e5dd7070Spatrick if (isa<DeclContext>(SearchResultDecl) && 82*e5dd7070Spatrick SearchResultDecl->getKind() == DC->getDeclKind()) 83*e5dd7070Spatrick return cast<DeclContext>(SearchResultDecl)->getPrimaryContext(); 84*e5dd7070Spatrick return nullptr; // This type of lookup is unsupported 85*e5dd7070Spatrick } 86*e5dd7070Spatrick } 87*e5dd7070Spatrick 88*e5dd7070Spatrick /// A custom implementation of ASTImporter, for ExternalASTMerger's purposes. 89*e5dd7070Spatrick /// 90*e5dd7070Spatrick /// There are several modifications: 91*e5dd7070Spatrick /// 92*e5dd7070Spatrick /// - It enables lazy lookup (via the HasExternalLexicalStorage flag and a few 93*e5dd7070Spatrick /// others), which instructs Clang to refer to ExternalASTMerger. Also, it 94*e5dd7070Spatrick /// forces MinimalImport to true, which is necessary to make this work. 95*e5dd7070Spatrick /// - It maintains a reverse importer for use with names. This allows lookup of 96*e5dd7070Spatrick /// arbitrary names in the source context. 97*e5dd7070Spatrick /// - It updates the ExternalASTMerger's origin map as needed whenever a 98*e5dd7070Spatrick /// it sees a DeclContext. 99*e5dd7070Spatrick class LazyASTImporter : public ASTImporter { 100*e5dd7070Spatrick private: 101*e5dd7070Spatrick ExternalASTMerger &Parent; 102*e5dd7070Spatrick ASTImporter Reverse; 103*e5dd7070Spatrick const ExternalASTMerger::OriginMap &FromOrigins; 104*e5dd7070Spatrick /// @see ExternalASTMerger::ImporterSource::Temporary 105*e5dd7070Spatrick bool TemporarySource; 106*e5dd7070Spatrick /// Map of imported declarations back to the declarations they originated 107*e5dd7070Spatrick /// from. 108*e5dd7070Spatrick llvm::DenseMap<Decl *, Decl *> ToOrigin; 109*e5dd7070Spatrick /// @see ExternalASTMerger::ImporterSource::Merger 110*e5dd7070Spatrick ExternalASTMerger *SourceMerger; 111*e5dd7070Spatrick llvm::raw_ostream &logs() { return Parent.logs(); } 112*e5dd7070Spatrick public: 113*e5dd7070Spatrick LazyASTImporter(ExternalASTMerger &_Parent, ASTContext &ToContext, 114*e5dd7070Spatrick FileManager &ToFileManager, 115*e5dd7070Spatrick const ExternalASTMerger::ImporterSource &S, 116*e5dd7070Spatrick std::shared_ptr<ASTImporterSharedState> SharedState) 117*e5dd7070Spatrick : ASTImporter(ToContext, ToFileManager, S.getASTContext(), 118*e5dd7070Spatrick S.getFileManager(), 119*e5dd7070Spatrick /*MinimalImport=*/true, SharedState), 120*e5dd7070Spatrick Parent(_Parent), 121*e5dd7070Spatrick Reverse(S.getASTContext(), S.getFileManager(), ToContext, ToFileManager, 122*e5dd7070Spatrick /*MinimalImport=*/true), 123*e5dd7070Spatrick FromOrigins(S.getOriginMap()), TemporarySource(S.isTemporary()), 124*e5dd7070Spatrick SourceMerger(S.getMerger()) {} 125*e5dd7070Spatrick 126*e5dd7070Spatrick llvm::Expected<Decl *> ImportImpl(Decl *FromD) override { 127*e5dd7070Spatrick if (!TemporarySource || !SourceMerger) 128*e5dd7070Spatrick return ASTImporter::ImportImpl(FromD); 129*e5dd7070Spatrick 130*e5dd7070Spatrick // If we get here, then this source is importing from a temporary ASTContext 131*e5dd7070Spatrick // that also has another ExternalASTMerger attached. It could be 132*e5dd7070Spatrick // possible that the current ExternalASTMerger and the temporary ASTContext 133*e5dd7070Spatrick // share a common ImporterSource, which means that the temporary 134*e5dd7070Spatrick // AST could contain declarations that were imported from a source 135*e5dd7070Spatrick // that this ExternalASTMerger can access directly. Instead of importing 136*e5dd7070Spatrick // such declarations from the temporary ASTContext, they should instead 137*e5dd7070Spatrick // be directly imported by this ExternalASTMerger from the original 138*e5dd7070Spatrick // source. This way the ExternalASTMerger can safely do a minimal import 139*e5dd7070Spatrick // without creating incomplete declarations originated from a temporary 140*e5dd7070Spatrick // ASTContext. If we would try to complete such declarations later on, we 141*e5dd7070Spatrick // would fail to do so as their temporary AST could be deleted (which means 142*e5dd7070Spatrick // that the missing parts of the minimally imported declaration in that 143*e5dd7070Spatrick // ASTContext were also deleted). 144*e5dd7070Spatrick // 145*e5dd7070Spatrick // The following code tracks back any declaration that needs to be 146*e5dd7070Spatrick // imported from the temporary ASTContext to a persistent ASTContext. 147*e5dd7070Spatrick // Then the ExternalASTMerger tries to import from the persistent 148*e5dd7070Spatrick // ASTContext directly by using the associated ASTImporter. If that 149*e5dd7070Spatrick // succeeds, this ASTImporter just maps the declarations imported by 150*e5dd7070Spatrick // the other (persistent) ASTImporter to this (temporary) ASTImporter. 151*e5dd7070Spatrick // The steps can be visualized like this: 152*e5dd7070Spatrick // 153*e5dd7070Spatrick // Target AST <--- 3. Indirect import --- Persistent AST 154*e5dd7070Spatrick // ^ of persistent decl ^ 155*e5dd7070Spatrick // | | 156*e5dd7070Spatrick // 1. Current import 2. Tracking back to persistent decl 157*e5dd7070Spatrick // 4. Map persistent decl | 158*e5dd7070Spatrick // & pretend we imported. | 159*e5dd7070Spatrick // | | 160*e5dd7070Spatrick // Temporary AST -------------------------------' 161*e5dd7070Spatrick 162*e5dd7070Spatrick // First, ask the ExternalASTMerger of the source where the temporary 163*e5dd7070Spatrick // declaration originated from. 164*e5dd7070Spatrick Decl *Persistent = SourceMerger->FindOriginalDecl(FromD); 165*e5dd7070Spatrick // FromD isn't from a persistent AST, so just do a normal import. 166*e5dd7070Spatrick if (!Persistent) 167*e5dd7070Spatrick return ASTImporter::ImportImpl(FromD); 168*e5dd7070Spatrick // Now ask the current ExternalASTMerger to try import the persistent 169*e5dd7070Spatrick // declaration into the target. 170*e5dd7070Spatrick ASTContext &PersistentCtx = Persistent->getASTContext(); 171*e5dd7070Spatrick ASTImporter &OtherImporter = Parent.ImporterForOrigin(PersistentCtx); 172*e5dd7070Spatrick // Check that we never end up in the current Importer again. 173*e5dd7070Spatrick assert((&PersistentCtx != &getFromContext()) && (&OtherImporter != this) && 174*e5dd7070Spatrick "Delegated to same Importer?"); 175*e5dd7070Spatrick auto DeclOrErr = OtherImporter.Import(Persistent); 176*e5dd7070Spatrick // Errors when importing the persistent decl are treated as if we 177*e5dd7070Spatrick // had errors with importing the temporary decl. 178*e5dd7070Spatrick if (!DeclOrErr) 179*e5dd7070Spatrick return DeclOrErr.takeError(); 180*e5dd7070Spatrick Decl *D = *DeclOrErr; 181*e5dd7070Spatrick // Tell the current ASTImporter that this has already been imported 182*e5dd7070Spatrick // to prevent any further queries for the temporary decl. 183*e5dd7070Spatrick MapImported(FromD, D); 184*e5dd7070Spatrick return D; 185*e5dd7070Spatrick } 186*e5dd7070Spatrick 187*e5dd7070Spatrick /// Implements the ASTImporter interface for tracking back a declaration 188*e5dd7070Spatrick /// to its original declaration it came from. 189*e5dd7070Spatrick Decl *GetOriginalDecl(Decl *To) override { 190*e5dd7070Spatrick auto It = ToOrigin.find(To); 191*e5dd7070Spatrick if (It != ToOrigin.end()) 192*e5dd7070Spatrick return It->second; 193*e5dd7070Spatrick return nullptr; 194*e5dd7070Spatrick } 195*e5dd7070Spatrick 196*e5dd7070Spatrick /// Whenever a DeclContext is imported, ensure that ExternalASTSource's origin 197*e5dd7070Spatrick /// map is kept up to date. Also set the appropriate flags. 198*e5dd7070Spatrick void Imported(Decl *From, Decl *To) override { 199*e5dd7070Spatrick ToOrigin[To] = From; 200*e5dd7070Spatrick 201*e5dd7070Spatrick if (auto *ToDC = dyn_cast<DeclContext>(To)) { 202*e5dd7070Spatrick const bool LoggingEnabled = Parent.LoggingEnabled(); 203*e5dd7070Spatrick if (LoggingEnabled) 204*e5dd7070Spatrick logs() << "(ExternalASTMerger*)" << (void*)&Parent 205*e5dd7070Spatrick << " imported (DeclContext*)" << (void*)ToDC 206*e5dd7070Spatrick << ", (ASTContext*)" << (void*)&getToContext() 207*e5dd7070Spatrick << " from (DeclContext*)" << (void*)llvm::cast<DeclContext>(From) 208*e5dd7070Spatrick << ", (ASTContext*)" << (void*)&getFromContext() 209*e5dd7070Spatrick << "\n"; 210*e5dd7070Spatrick Source<DeclContext *> FromDC( 211*e5dd7070Spatrick cast<DeclContext>(From)->getPrimaryContext()); 212*e5dd7070Spatrick if (FromOrigins.count(FromDC) && 213*e5dd7070Spatrick Parent.HasImporterForOrigin(*FromOrigins.at(FromDC).AST)) { 214*e5dd7070Spatrick if (LoggingEnabled) 215*e5dd7070Spatrick logs() << "(ExternalASTMerger*)" << (void*)&Parent 216*e5dd7070Spatrick << " forced origin (DeclContext*)" 217*e5dd7070Spatrick << (void*)FromOrigins.at(FromDC).DC 218*e5dd7070Spatrick << ", (ASTContext*)" 219*e5dd7070Spatrick << (void*)FromOrigins.at(FromDC).AST 220*e5dd7070Spatrick << "\n"; 221*e5dd7070Spatrick Parent.ForceRecordOrigin(ToDC, FromOrigins.at(FromDC)); 222*e5dd7070Spatrick } else { 223*e5dd7070Spatrick if (LoggingEnabled) 224*e5dd7070Spatrick logs() << "(ExternalASTMerger*)" << (void*)&Parent 225*e5dd7070Spatrick << " maybe recording origin (DeclContext*)" << (void*)FromDC 226*e5dd7070Spatrick << ", (ASTContext*)" << (void*)&getFromContext() 227*e5dd7070Spatrick << "\n"; 228*e5dd7070Spatrick Parent.MaybeRecordOrigin(ToDC, {FromDC, &getFromContext()}); 229*e5dd7070Spatrick } 230*e5dd7070Spatrick } 231*e5dd7070Spatrick if (auto *ToTag = dyn_cast<TagDecl>(To)) { 232*e5dd7070Spatrick ToTag->setHasExternalLexicalStorage(); 233*e5dd7070Spatrick ToTag->getPrimaryContext()->setMustBuildLookupTable(); 234*e5dd7070Spatrick assert(Parent.CanComplete(ToTag)); 235*e5dd7070Spatrick } else if (auto *ToNamespace = dyn_cast<NamespaceDecl>(To)) { 236*e5dd7070Spatrick ToNamespace->setHasExternalVisibleStorage(); 237*e5dd7070Spatrick assert(Parent.CanComplete(ToNamespace)); 238*e5dd7070Spatrick } else if (auto *ToContainer = dyn_cast<ObjCContainerDecl>(To)) { 239*e5dd7070Spatrick ToContainer->setHasExternalLexicalStorage(); 240*e5dd7070Spatrick ToContainer->getPrimaryContext()->setMustBuildLookupTable(); 241*e5dd7070Spatrick assert(Parent.CanComplete(ToContainer)); 242*e5dd7070Spatrick } 243*e5dd7070Spatrick } 244*e5dd7070Spatrick ASTImporter &GetReverse() { return Reverse; } 245*e5dd7070Spatrick }; 246*e5dd7070Spatrick 247*e5dd7070Spatrick bool HasDeclOfSameType(llvm::ArrayRef<Candidate> Decls, const Candidate &C) { 248*e5dd7070Spatrick if (isa<FunctionDecl>(C.first.get())) 249*e5dd7070Spatrick return false; 250*e5dd7070Spatrick return llvm::any_of(Decls, [&](const Candidate &D) { 251*e5dd7070Spatrick return C.first.get()->getKind() == D.first.get()->getKind(); 252*e5dd7070Spatrick }); 253*e5dd7070Spatrick } 254*e5dd7070Spatrick 255*e5dd7070Spatrick } // end namespace 256*e5dd7070Spatrick 257*e5dd7070Spatrick ASTImporter &ExternalASTMerger::ImporterForOrigin(ASTContext &OriginContext) { 258*e5dd7070Spatrick for (const std::unique_ptr<ASTImporter> &I : Importers) 259*e5dd7070Spatrick if (&I->getFromContext() == &OriginContext) 260*e5dd7070Spatrick return *I; 261*e5dd7070Spatrick llvm_unreachable("We should have an importer for this origin!"); 262*e5dd7070Spatrick } 263*e5dd7070Spatrick 264*e5dd7070Spatrick namespace { 265*e5dd7070Spatrick LazyASTImporter &LazyImporterForOrigin(ExternalASTMerger &Merger, 266*e5dd7070Spatrick ASTContext &OriginContext) { 267*e5dd7070Spatrick return static_cast<LazyASTImporter &>( 268*e5dd7070Spatrick Merger.ImporterForOrigin(OriginContext)); 269*e5dd7070Spatrick } 270*e5dd7070Spatrick } 271*e5dd7070Spatrick 272*e5dd7070Spatrick bool ExternalASTMerger::HasImporterForOrigin(ASTContext &OriginContext) { 273*e5dd7070Spatrick for (const std::unique_ptr<ASTImporter> &I : Importers) 274*e5dd7070Spatrick if (&I->getFromContext() == &OriginContext) 275*e5dd7070Spatrick return true; 276*e5dd7070Spatrick return false; 277*e5dd7070Spatrick } 278*e5dd7070Spatrick 279*e5dd7070Spatrick template <typename CallbackType> 280*e5dd7070Spatrick void ExternalASTMerger::ForEachMatchingDC(const DeclContext *DC, 281*e5dd7070Spatrick CallbackType Callback) { 282*e5dd7070Spatrick if (Origins.count(DC)) { 283*e5dd7070Spatrick ExternalASTMerger::DCOrigin Origin = Origins[DC]; 284*e5dd7070Spatrick LazyASTImporter &Importer = LazyImporterForOrigin(*this, *Origin.AST); 285*e5dd7070Spatrick Callback(Importer, Importer.GetReverse(), Origin.DC); 286*e5dd7070Spatrick } else { 287*e5dd7070Spatrick bool DidCallback = false; 288*e5dd7070Spatrick for (const std::unique_ptr<ASTImporter> &Importer : Importers) { 289*e5dd7070Spatrick Source<TranslationUnitDecl *> SourceTU = 290*e5dd7070Spatrick Importer->getFromContext().getTranslationUnitDecl(); 291*e5dd7070Spatrick ASTImporter &Reverse = 292*e5dd7070Spatrick static_cast<LazyASTImporter *>(Importer.get())->GetReverse(); 293*e5dd7070Spatrick if (auto SourceDC = LookupSameContext(SourceTU, DC, Reverse)) { 294*e5dd7070Spatrick DidCallback = true; 295*e5dd7070Spatrick if (Callback(*Importer, Reverse, SourceDC)) 296*e5dd7070Spatrick break; 297*e5dd7070Spatrick } 298*e5dd7070Spatrick } 299*e5dd7070Spatrick if (!DidCallback && LoggingEnabled()) 300*e5dd7070Spatrick logs() << "(ExternalASTMerger*)" << (void*)this 301*e5dd7070Spatrick << " asserting for (DeclContext*)" << (const void*)DC 302*e5dd7070Spatrick << ", (ASTContext*)" << (void*)&Target.AST 303*e5dd7070Spatrick << "\n"; 304*e5dd7070Spatrick assert(DidCallback && "Couldn't find a source context matching our DC"); 305*e5dd7070Spatrick } 306*e5dd7070Spatrick } 307*e5dd7070Spatrick 308*e5dd7070Spatrick void ExternalASTMerger::CompleteType(TagDecl *Tag) { 309*e5dd7070Spatrick assert(Tag->hasExternalLexicalStorage()); 310*e5dd7070Spatrick ForEachMatchingDC(Tag, [&](ASTImporter &Forward, ASTImporter &Reverse, 311*e5dd7070Spatrick Source<const DeclContext *> SourceDC) -> bool { 312*e5dd7070Spatrick auto *SourceTag = const_cast<TagDecl *>(cast<TagDecl>(SourceDC.get())); 313*e5dd7070Spatrick if (SourceTag->hasExternalLexicalStorage()) 314*e5dd7070Spatrick SourceTag->getASTContext().getExternalSource()->CompleteType(SourceTag); 315*e5dd7070Spatrick if (!SourceTag->getDefinition()) 316*e5dd7070Spatrick return false; 317*e5dd7070Spatrick Forward.MapImported(SourceTag, Tag); 318*e5dd7070Spatrick if (llvm::Error Err = Forward.ImportDefinition(SourceTag)) 319*e5dd7070Spatrick llvm::consumeError(std::move(Err)); 320*e5dd7070Spatrick Tag->setCompleteDefinition(SourceTag->isCompleteDefinition()); 321*e5dd7070Spatrick return true; 322*e5dd7070Spatrick }); 323*e5dd7070Spatrick } 324*e5dd7070Spatrick 325*e5dd7070Spatrick void ExternalASTMerger::CompleteType(ObjCInterfaceDecl *Interface) { 326*e5dd7070Spatrick assert(Interface->hasExternalLexicalStorage()); 327*e5dd7070Spatrick ForEachMatchingDC( 328*e5dd7070Spatrick Interface, [&](ASTImporter &Forward, ASTImporter &Reverse, 329*e5dd7070Spatrick Source<const DeclContext *> SourceDC) -> bool { 330*e5dd7070Spatrick auto *SourceInterface = const_cast<ObjCInterfaceDecl *>( 331*e5dd7070Spatrick cast<ObjCInterfaceDecl>(SourceDC.get())); 332*e5dd7070Spatrick if (SourceInterface->hasExternalLexicalStorage()) 333*e5dd7070Spatrick SourceInterface->getASTContext().getExternalSource()->CompleteType( 334*e5dd7070Spatrick SourceInterface); 335*e5dd7070Spatrick if (!SourceInterface->getDefinition()) 336*e5dd7070Spatrick return false; 337*e5dd7070Spatrick Forward.MapImported(SourceInterface, Interface); 338*e5dd7070Spatrick if (llvm::Error Err = Forward.ImportDefinition(SourceInterface)) 339*e5dd7070Spatrick llvm::consumeError(std::move(Err)); 340*e5dd7070Spatrick return true; 341*e5dd7070Spatrick }); 342*e5dd7070Spatrick } 343*e5dd7070Spatrick 344*e5dd7070Spatrick bool ExternalASTMerger::CanComplete(DeclContext *Interface) { 345*e5dd7070Spatrick assert(Interface->hasExternalLexicalStorage() || 346*e5dd7070Spatrick Interface->hasExternalVisibleStorage()); 347*e5dd7070Spatrick bool FoundMatchingDC = false; 348*e5dd7070Spatrick ForEachMatchingDC(Interface, 349*e5dd7070Spatrick [&](ASTImporter &Forward, ASTImporter &Reverse, 350*e5dd7070Spatrick Source<const DeclContext *> SourceDC) -> bool { 351*e5dd7070Spatrick FoundMatchingDC = true; 352*e5dd7070Spatrick return true; 353*e5dd7070Spatrick }); 354*e5dd7070Spatrick return FoundMatchingDC; 355*e5dd7070Spatrick } 356*e5dd7070Spatrick 357*e5dd7070Spatrick namespace { 358*e5dd7070Spatrick bool IsSameDC(const DeclContext *D1, const DeclContext *D2) { 359*e5dd7070Spatrick if (isa<ObjCContainerDecl>(D1) && isa<ObjCContainerDecl>(D2)) 360*e5dd7070Spatrick return true; // There are many cases where Objective-C is ambiguous. 361*e5dd7070Spatrick if (auto *T1 = dyn_cast<TagDecl>(D1)) 362*e5dd7070Spatrick if (auto *T2 = dyn_cast<TagDecl>(D2)) 363*e5dd7070Spatrick if (T1->getFirstDecl() == T2->getFirstDecl()) 364*e5dd7070Spatrick return true; 365*e5dd7070Spatrick return D1 == D2 || D1 == CanonicalizeDC(D2); 366*e5dd7070Spatrick } 367*e5dd7070Spatrick } 368*e5dd7070Spatrick 369*e5dd7070Spatrick void ExternalASTMerger::MaybeRecordOrigin(const DeclContext *ToDC, 370*e5dd7070Spatrick DCOrigin Origin) { 371*e5dd7070Spatrick LazyASTImporter &Importer = LazyImporterForOrigin(*this, *Origin.AST); 372*e5dd7070Spatrick ASTImporter &Reverse = Importer.GetReverse(); 373*e5dd7070Spatrick Source<const DeclContext *> FoundFromDC = 374*e5dd7070Spatrick LookupSameContext(Origin.AST->getTranslationUnitDecl(), ToDC, Reverse); 375*e5dd7070Spatrick const bool DoRecord = !FoundFromDC || !IsSameDC(FoundFromDC.get(), Origin.DC); 376*e5dd7070Spatrick if (DoRecord) 377*e5dd7070Spatrick RecordOriginImpl(ToDC, Origin, Importer); 378*e5dd7070Spatrick if (LoggingEnabled()) 379*e5dd7070Spatrick logs() << "(ExternalASTMerger*)" << (void*)this 380*e5dd7070Spatrick << (DoRecord ? " decided " : " decided NOT") 381*e5dd7070Spatrick << " to record origin (DeclContext*)" << (void*)Origin.DC 382*e5dd7070Spatrick << ", (ASTContext*)" << (void*)&Origin.AST 383*e5dd7070Spatrick << "\n"; 384*e5dd7070Spatrick } 385*e5dd7070Spatrick 386*e5dd7070Spatrick void ExternalASTMerger::ForceRecordOrigin(const DeclContext *ToDC, 387*e5dd7070Spatrick DCOrigin Origin) { 388*e5dd7070Spatrick RecordOriginImpl(ToDC, Origin, ImporterForOrigin(*Origin.AST)); 389*e5dd7070Spatrick } 390*e5dd7070Spatrick 391*e5dd7070Spatrick void ExternalASTMerger::RecordOriginImpl(const DeclContext *ToDC, DCOrigin Origin, 392*e5dd7070Spatrick ASTImporter &Importer) { 393*e5dd7070Spatrick Origins[ToDC] = Origin; 394*e5dd7070Spatrick Importer.ASTImporter::MapImported(cast<Decl>(Origin.DC), const_cast<Decl*>(cast<Decl>(ToDC))); 395*e5dd7070Spatrick } 396*e5dd7070Spatrick 397*e5dd7070Spatrick ExternalASTMerger::ExternalASTMerger(const ImporterTarget &Target, 398*e5dd7070Spatrick llvm::ArrayRef<ImporterSource> Sources) : LogStream(&llvm::nulls()), Target(Target) { 399*e5dd7070Spatrick SharedState = std::make_shared<ASTImporterSharedState>( 400*e5dd7070Spatrick *Target.AST.getTranslationUnitDecl()); 401*e5dd7070Spatrick AddSources(Sources); 402*e5dd7070Spatrick } 403*e5dd7070Spatrick 404*e5dd7070Spatrick Decl *ExternalASTMerger::FindOriginalDecl(Decl *D) { 405*e5dd7070Spatrick assert(&D->getASTContext() == &Target.AST); 406*e5dd7070Spatrick for (const auto &I : Importers) 407*e5dd7070Spatrick if (auto Result = I->GetOriginalDecl(D)) 408*e5dd7070Spatrick return Result; 409*e5dd7070Spatrick return nullptr; 410*e5dd7070Spatrick } 411*e5dd7070Spatrick 412*e5dd7070Spatrick void ExternalASTMerger::AddSources(llvm::ArrayRef<ImporterSource> Sources) { 413*e5dd7070Spatrick for (const ImporterSource &S : Sources) { 414*e5dd7070Spatrick assert(&S.getASTContext() != &Target.AST); 415*e5dd7070Spatrick // Check that the associated merger actually imports into the source AST. 416*e5dd7070Spatrick assert(!S.getMerger() || &S.getMerger()->Target.AST == &S.getASTContext()); 417*e5dd7070Spatrick Importers.push_back(std::make_unique<LazyASTImporter>( 418*e5dd7070Spatrick *this, Target.AST, Target.FM, S, SharedState)); 419*e5dd7070Spatrick } 420*e5dd7070Spatrick } 421*e5dd7070Spatrick 422*e5dd7070Spatrick void ExternalASTMerger::RemoveSources(llvm::ArrayRef<ImporterSource> Sources) { 423*e5dd7070Spatrick if (LoggingEnabled()) 424*e5dd7070Spatrick for (const ImporterSource &S : Sources) 425*e5dd7070Spatrick logs() << "(ExternalASTMerger*)" << (void *)this 426*e5dd7070Spatrick << " removing source (ASTContext*)" << (void *)&S.getASTContext() 427*e5dd7070Spatrick << "\n"; 428*e5dd7070Spatrick Importers.erase( 429*e5dd7070Spatrick std::remove_if(Importers.begin(), Importers.end(), 430*e5dd7070Spatrick [&Sources](std::unique_ptr<ASTImporter> &Importer) -> bool { 431*e5dd7070Spatrick for (const ImporterSource &S : Sources) { 432*e5dd7070Spatrick if (&Importer->getFromContext() == &S.getASTContext()) 433*e5dd7070Spatrick return true; 434*e5dd7070Spatrick } 435*e5dd7070Spatrick return false; 436*e5dd7070Spatrick }), 437*e5dd7070Spatrick Importers.end()); 438*e5dd7070Spatrick for (OriginMap::iterator OI = Origins.begin(), OE = Origins.end(); OI != OE; ) { 439*e5dd7070Spatrick std::pair<const DeclContext *, DCOrigin> Origin = *OI; 440*e5dd7070Spatrick bool Erase = false; 441*e5dd7070Spatrick for (const ImporterSource &S : Sources) { 442*e5dd7070Spatrick if (&S.getASTContext() == Origin.second.AST) { 443*e5dd7070Spatrick Erase = true; 444*e5dd7070Spatrick break; 445*e5dd7070Spatrick } 446*e5dd7070Spatrick } 447*e5dd7070Spatrick if (Erase) 448*e5dd7070Spatrick OI = Origins.erase(OI); 449*e5dd7070Spatrick else 450*e5dd7070Spatrick ++OI; 451*e5dd7070Spatrick } 452*e5dd7070Spatrick } 453*e5dd7070Spatrick 454*e5dd7070Spatrick template <typename DeclTy> 455*e5dd7070Spatrick static bool importSpecializations(DeclTy *D, ASTImporter *Importer) { 456*e5dd7070Spatrick for (auto *Spec : D->specializations()) { 457*e5dd7070Spatrick auto ImportedSpecOrError = Importer->Import(Spec); 458*e5dd7070Spatrick if (!ImportedSpecOrError) { 459*e5dd7070Spatrick llvm::consumeError(ImportedSpecOrError.takeError()); 460*e5dd7070Spatrick return true; 461*e5dd7070Spatrick } 462*e5dd7070Spatrick } 463*e5dd7070Spatrick return false; 464*e5dd7070Spatrick } 465*e5dd7070Spatrick 466*e5dd7070Spatrick /// Imports specializations from template declarations that can be specialized. 467*e5dd7070Spatrick static bool importSpecializationsIfNeeded(Decl *D, ASTImporter *Importer) { 468*e5dd7070Spatrick if (!isa<TemplateDecl>(D)) 469*e5dd7070Spatrick return false; 470*e5dd7070Spatrick if (auto *FunctionTD = dyn_cast<FunctionTemplateDecl>(D)) 471*e5dd7070Spatrick return importSpecializations(FunctionTD, Importer); 472*e5dd7070Spatrick else if (auto *ClassTD = dyn_cast<ClassTemplateDecl>(D)) 473*e5dd7070Spatrick return importSpecializations(ClassTD, Importer); 474*e5dd7070Spatrick else if (auto *VarTD = dyn_cast<VarTemplateDecl>(D)) 475*e5dd7070Spatrick return importSpecializations(VarTD, Importer); 476*e5dd7070Spatrick return false; 477*e5dd7070Spatrick } 478*e5dd7070Spatrick 479*e5dd7070Spatrick bool ExternalASTMerger::FindExternalVisibleDeclsByName(const DeclContext *DC, 480*e5dd7070Spatrick DeclarationName Name) { 481*e5dd7070Spatrick llvm::SmallVector<NamedDecl *, 1> Decls; 482*e5dd7070Spatrick llvm::SmallVector<Candidate, 4> Candidates; 483*e5dd7070Spatrick 484*e5dd7070Spatrick auto FilterFoundDecl = [&Candidates](const Candidate &C) { 485*e5dd7070Spatrick if (!HasDeclOfSameType(Candidates, C)) 486*e5dd7070Spatrick Candidates.push_back(C); 487*e5dd7070Spatrick }; 488*e5dd7070Spatrick 489*e5dd7070Spatrick ForEachMatchingDC(DC, 490*e5dd7070Spatrick [&](ASTImporter &Forward, ASTImporter &Reverse, 491*e5dd7070Spatrick Source<const DeclContext *> SourceDC) -> bool { 492*e5dd7070Spatrick auto FromNameOrErr = Reverse.Import(Name); 493*e5dd7070Spatrick if (!FromNameOrErr) { 494*e5dd7070Spatrick llvm::consumeError(FromNameOrErr.takeError()); 495*e5dd7070Spatrick return false; 496*e5dd7070Spatrick } 497*e5dd7070Spatrick DeclContextLookupResult Result = 498*e5dd7070Spatrick SourceDC.get()->lookup(*FromNameOrErr); 499*e5dd7070Spatrick for (NamedDecl *FromD : Result) { 500*e5dd7070Spatrick FilterFoundDecl(std::make_pair(FromD, &Forward)); 501*e5dd7070Spatrick } 502*e5dd7070Spatrick return false; 503*e5dd7070Spatrick }); 504*e5dd7070Spatrick 505*e5dd7070Spatrick if (Candidates.empty()) 506*e5dd7070Spatrick return false; 507*e5dd7070Spatrick 508*e5dd7070Spatrick Decls.reserve(Candidates.size()); 509*e5dd7070Spatrick for (const Candidate &C : Candidates) { 510*e5dd7070Spatrick Decl *LookupRes = C.first.get(); 511*e5dd7070Spatrick ASTImporter *Importer = C.second; 512*e5dd7070Spatrick auto NDOrErr = Importer->Import(LookupRes); 513*e5dd7070Spatrick NamedDecl *ND = cast<NamedDecl>(llvm::cantFail(std::move(NDOrErr))); 514*e5dd7070Spatrick assert(ND); 515*e5dd7070Spatrick // If we don't import specialization, they are not available via lookup 516*e5dd7070Spatrick // because the lookup result is imported TemplateDecl and it does not 517*e5dd7070Spatrick // reference its specializations until they are imported explicitly. 518*e5dd7070Spatrick bool IsSpecImportFailed = 519*e5dd7070Spatrick importSpecializationsIfNeeded(LookupRes, Importer); 520*e5dd7070Spatrick assert(!IsSpecImportFailed); 521*e5dd7070Spatrick (void)IsSpecImportFailed; 522*e5dd7070Spatrick Decls.push_back(ND); 523*e5dd7070Spatrick } 524*e5dd7070Spatrick SetExternalVisibleDeclsForName(DC, Name, Decls); 525*e5dd7070Spatrick return true; 526*e5dd7070Spatrick } 527*e5dd7070Spatrick 528*e5dd7070Spatrick void ExternalASTMerger::FindExternalLexicalDecls( 529*e5dd7070Spatrick const DeclContext *DC, llvm::function_ref<bool(Decl::Kind)> IsKindWeWant, 530*e5dd7070Spatrick SmallVectorImpl<Decl *> &Result) { 531*e5dd7070Spatrick ForEachMatchingDC(DC, [&](ASTImporter &Forward, ASTImporter &Reverse, 532*e5dd7070Spatrick Source<const DeclContext *> SourceDC) -> bool { 533*e5dd7070Spatrick for (const Decl *SourceDecl : SourceDC.get()->decls()) { 534*e5dd7070Spatrick if (IsKindWeWant(SourceDecl->getKind())) { 535*e5dd7070Spatrick auto ImportedDeclOrErr = Forward.Import(SourceDecl); 536*e5dd7070Spatrick if (ImportedDeclOrErr) 537*e5dd7070Spatrick assert(!(*ImportedDeclOrErr) || 538*e5dd7070Spatrick IsSameDC((*ImportedDeclOrErr)->getDeclContext(), DC)); 539*e5dd7070Spatrick else 540*e5dd7070Spatrick llvm::consumeError(ImportedDeclOrErr.takeError()); 541*e5dd7070Spatrick } 542*e5dd7070Spatrick } 543*e5dd7070Spatrick return false; 544*e5dd7070Spatrick }); 545*e5dd7070Spatrick } 546*e5dd7070Spatrick 547