xref: /openbsd-src/gnu/llvm/clang/lib/AST/ExternalASTMerger.cpp (revision e5dd70708596ae51455a0ffa086a00c5b29f8583)
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