blob: e7ca3ac145976d312e4ea64bcd3e781b57c30e94 [file] [log] [blame]
Sean Callananb7160ca2017-04-11 19:33:35 +00001//===- ExternalASTMerger.cpp - Merging External AST Interface ---*- C++ -*-===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements the ExternalASTMerger, which vends a combination of
11// ASTs from several different ASTContext/FileManager pairs
12//
13//===----------------------------------------------------------------------===//
14
15#include "clang/AST/ASTContext.h"
16#include "clang/AST/Decl.h"
Sean Callanan967d4382017-09-27 19:57:58 +000017#include "clang/AST/DeclCXX.h"
Sean Callananb7160ca2017-04-11 19:33:35 +000018#include "clang/AST/DeclObjC.h"
Aleksei Sidorin8fc85102018-01-26 11:36:54 +000019#include "clang/AST/DeclTemplate.h"
Sean Callananb7160ca2017-04-11 19:33:35 +000020#include "clang/AST/ExternalASTMerger.h"
21
22using namespace clang;
23
24namespace {
25
26template <typename T> struct Source {
27 T t;
Sean Callananf8edb1d2017-04-11 20:51:21 +000028 Source(T t) : t(t) {}
Sean Callananb7160ca2017-04-11 19:33:35 +000029 operator T() { return t; }
30 template <typename U = T> U &get() { return t; }
31 template <typename U = T> const U &get() const { return t; }
32 template <typename U> operator Source<U>() { return Source<U>(t); }
33};
34
35typedef std::pair<Source<NamedDecl *>, ASTImporter *> Candidate;
36
Sean Callanan967d4382017-09-27 19:57:58 +000037/// For the given DC, return the DC that is safe to perform lookups on. This is
38/// the DC we actually want to work with most of the time.
39const DeclContext *CanonicalizeDC(const DeclContext *DC) {
40 if (isa<LinkageSpecDecl>(DC))
41 return DC->getRedeclContext();
42 return DC;
43}
Sean Callananb7160ca2017-04-11 19:33:35 +000044
45Source<const DeclContext *>
46LookupSameContext(Source<TranslationUnitDecl *> SourceTU, const DeclContext *DC,
47 ASTImporter &ReverseImporter) {
Sean Callanan967d4382017-09-27 19:57:58 +000048 DC = CanonicalizeDC(DC);
Sean Callananb7160ca2017-04-11 19:33:35 +000049 if (DC->isTranslationUnit()) {
50 return SourceTU;
51 }
52 Source<const DeclContext *> SourceParentDC =
53 LookupSameContext(SourceTU, DC->getParent(), ReverseImporter);
54 if (!SourceParentDC) {
55 // If we couldn't find the parent DC in this TranslationUnit, give up.
56 return nullptr;
57 }
Sean Callanan967d4382017-09-27 19:57:58 +000058 auto *ND = cast<NamedDecl>(DC);
Sean Callananb7160ca2017-04-11 19:33:35 +000059 DeclarationName Name = ND->getDeclName();
60 Source<DeclarationName> SourceName = ReverseImporter.Import(Name);
61 DeclContext::lookup_result SearchResult =
62 SourceParentDC.get()->lookup(SourceName.get());
63 size_t SearchResultSize = SearchResult.size();
Sean Callanan967d4382017-09-27 19:57:58 +000064 if (SearchResultSize == 0 || SearchResultSize > 1) {
65 // There are two cases here. First, we might not find the name.
66 // We might also find multiple copies, in which case we have no
67 // guarantee that the one we wanted is the one we pick. (E.g.,
68 // if we have two specializations of the same template it is
69 // very hard to determine which is the one you want.)
70 //
71 // The Origins map fixes this problem by allowing the origin to be
72 // explicitly recorded, so we trigger that recording by returning
73 // nothing (rather than a possibly-inaccurate guess) here.
Sean Callananb7160ca2017-04-11 19:33:35 +000074 return nullptr;
75 } else {
76 NamedDecl *SearchResultDecl = SearchResult[0];
Sean Callanan967d4382017-09-27 19:57:58 +000077 if (isa<DeclContext>(SearchResultDecl) &&
78 SearchResultDecl->getKind() == DC->getDeclKind())
79 return cast<DeclContext>(SearchResultDecl)->getPrimaryContext();
80 return nullptr; // This type of lookup is unsupported
Sean Callananb7160ca2017-04-11 19:33:35 +000081 }
82}
83
Sean Callanan967d4382017-09-27 19:57:58 +000084/// A custom implementation of ASTImporter, for ExternalASTMerger's purposes.
85///
86/// There are several modifications:
87///
88/// - It enables lazy lookup (via the HasExternalLexicalStorage flag and a few
89/// others), which instructs Clang to refer to ExternalASTMerger. Also, it
90/// forces MinimalImport to true, which is necessary to make this work.
91/// - It maintains a reverse importer for use with names. This allows lookup of
92/// arbitrary names in the source context.
93/// - It updates the ExternalASTMerger's origin map as needed whenever a
94/// it sees a DeclContext.
95class LazyASTImporter : public ASTImporter {
96private:
97 ExternalASTMerger &Parent;
98 ASTImporter Reverse;
99 const ExternalASTMerger::OriginMap &FromOrigins;
Sean Callananb7160ca2017-04-11 19:33:35 +0000100
Sean Callanan967d4382017-09-27 19:57:58 +0000101 llvm::raw_ostream &logs() { return Parent.logs(); }
102public:
103 LazyASTImporter(ExternalASTMerger &_Parent, ASTContext &ToContext,
104 FileManager &ToFileManager, ASTContext &FromContext,
105 FileManager &FromFileManager,
106 const ExternalASTMerger::OriginMap &_FromOrigins)
107 : ASTImporter(ToContext, ToFileManager, FromContext, FromFileManager,
108 /*MinimalImport=*/true),
109 Parent(_Parent), Reverse(FromContext, FromFileManager, ToContext,
110 ToFileManager, /*MinimalImport=*/true), FromOrigins(_FromOrigins) {}
111
112 /// Whenever a DeclContext is imported, ensure that ExternalASTSource's origin
113 /// map is kept up to date. Also set the appropriate flags.
114 Decl *Imported(Decl *From, Decl *To) override {
115 if (auto *ToDC = dyn_cast<DeclContext>(To)) {
116 const bool LoggingEnabled = Parent.LoggingEnabled();
117 if (LoggingEnabled)
118 logs() << "(ExternalASTMerger*)" << (void*)&Parent
119 << " imported (DeclContext*)" << (void*)ToDC
120 << ", (ASTContext*)" << (void*)&getToContext()
121 << " from (DeclContext*)" << (void*)llvm::cast<DeclContext>(From)
122 << ", (ASTContext*)" << (void*)&getFromContext()
123 << "\n";
124 Source<DeclContext *> FromDC(
125 cast<DeclContext>(From)->getPrimaryContext());
126 if (FromOrigins.count(FromDC) &&
127 Parent.HasImporterForOrigin(*FromOrigins.at(FromDC).AST)) {
128 if (LoggingEnabled)
129 logs() << "(ExternalASTMerger*)" << (void*)&Parent
130 << " forced origin (DeclContext*)"
131 << (void*)FromOrigins.at(FromDC).DC
132 << ", (ASTContext*)"
133 << (void*)FromOrigins.at(FromDC).AST
134 << "\n";
135 Parent.ForceRecordOrigin(ToDC, FromOrigins.at(FromDC));
136 } else {
137 if (LoggingEnabled)
138 logs() << "(ExternalASTMerger*)" << (void*)&Parent
139 << " maybe recording origin (DeclContext*)" << (void*)FromDC
140 << ", (ASTContext*)" << (void*)&getFromContext()
141 << "\n";
142 Parent.MaybeRecordOrigin(ToDC, {FromDC, &getFromContext()});
143 }
144 }
145 if (auto *ToTag = dyn_cast<TagDecl>(To)) {
146 ToTag->setHasExternalLexicalStorage();
147 ToTag->setMustBuildLookupTable();
148 assert(Parent.CanComplete(ToTag));
149 } else if (auto *ToNamespace = dyn_cast<NamespaceDecl>(To)) {
150 ToNamespace->setHasExternalVisibleStorage();
151 assert(Parent.CanComplete(ToNamespace));
152 } else if (auto *ToContainer = dyn_cast<ObjCContainerDecl>(To)) {
153 ToContainer->setHasExternalLexicalStorage();
154 ToContainer->setMustBuildLookupTable();
155 assert(Parent.CanComplete(ToContainer));
156 }
Gabor Marton26f72a92018-07-12 09:42:05 +0000157 return To;
Sean Callananb7160ca2017-04-11 19:33:35 +0000158 }
Sean Callanan967d4382017-09-27 19:57:58 +0000159 ASTImporter &GetReverse() { return Reverse; }
160};
Sean Callananb7160ca2017-04-11 19:33:35 +0000161
162bool HasDeclOfSameType(llvm::ArrayRef<Candidate> Decls, const Candidate &C) {
Sean Callanan967d4382017-09-27 19:57:58 +0000163 if (isa<FunctionDecl>(C.first.get()))
164 return false;
David Blaikie0a0c0332017-04-17 17:16:19 +0000165 return llvm::any_of(Decls, [&](const Candidate &D) {
Sean Callananb7160ca2017-04-11 19:33:35 +0000166 return C.first.get()->getKind() == D.first.get()->getKind();
167 });
168}
Sean Callanan967d4382017-09-27 19:57:58 +0000169
Sean Callananb7160ca2017-04-11 19:33:35 +0000170} // end namespace
171
Sean Callanan967d4382017-09-27 19:57:58 +0000172ASTImporter &ExternalASTMerger::ImporterForOrigin(ASTContext &OriginContext) {
173 for (const std::unique_ptr<ASTImporter> &I : Importers)
174 if (&I->getFromContext() == &OriginContext)
175 return *I;
176 llvm_unreachable("We should have an importer for this origin!");
177}
178
179namespace {
180LazyASTImporter &LazyImporterForOrigin(ExternalASTMerger &Merger,
181 ASTContext &OriginContext) {
182 return static_cast<LazyASTImporter &>(
183 Merger.ImporterForOrigin(OriginContext));
184}
185}
186
187bool ExternalASTMerger::HasImporterForOrigin(ASTContext &OriginContext) {
188 for (const std::unique_ptr<ASTImporter> &I : Importers)
189 if (&I->getFromContext() == &OriginContext)
190 return true;
191 return false;
192}
193
194template <typename CallbackType>
195void ExternalASTMerger::ForEachMatchingDC(const DeclContext *DC,
196 CallbackType Callback) {
197 if (Origins.count(DC)) {
198 ExternalASTMerger::DCOrigin Origin = Origins[DC];
199 LazyASTImporter &Importer = LazyImporterForOrigin(*this, *Origin.AST);
200 Callback(Importer, Importer.GetReverse(), Origin.DC);
201 } else {
202 bool DidCallback = false;
203 for (const std::unique_ptr<ASTImporter> &Importer : Importers) {
204 Source<TranslationUnitDecl *> SourceTU =
205 Importer->getFromContext().getTranslationUnitDecl();
206 ASTImporter &Reverse =
207 static_cast<LazyASTImporter *>(Importer.get())->GetReverse();
208 if (auto SourceDC = LookupSameContext(SourceTU, DC, Reverse)) {
209 DidCallback = true;
210 if (Callback(*Importer, Reverse, SourceDC))
211 break;
212 }
213 }
214 if (!DidCallback && LoggingEnabled())
215 logs() << "(ExternalASTMerger*)" << (void*)this
Nico Weber6fc579d2017-09-28 15:44:46 +0000216 << " asserting for (DeclContext*)" << (const void*)DC
Sean Callanan967d4382017-09-27 19:57:58 +0000217 << ", (ASTContext*)" << (void*)&Target.AST
218 << "\n";
219 assert(DidCallback && "Couldn't find a source context matching our DC");
220 }
221}
222
223void ExternalASTMerger::CompleteType(TagDecl *Tag) {
224 assert(Tag->hasExternalLexicalStorage());
225 ForEachMatchingDC(Tag, [&](ASTImporter &Forward, ASTImporter &Reverse,
226 Source<const DeclContext *> SourceDC) -> bool {
227 auto *SourceTag = const_cast<TagDecl *>(cast<TagDecl>(SourceDC.get()));
228 if (SourceTag->hasExternalLexicalStorage())
229 SourceTag->getASTContext().getExternalSource()->CompleteType(SourceTag);
230 if (!SourceTag->getDefinition())
231 return false;
Gabor Marton26f72a92018-07-12 09:42:05 +0000232 Forward.MapImported(SourceTag, Tag);
Balazs Keri3b30d652018-10-19 13:32:20 +0000233 if (llvm::Error Err = Forward.ImportDefinition_New(SourceTag))
234 llvm::consumeError(std::move(Err));
Sean Callanan967d4382017-09-27 19:57:58 +0000235 Tag->setCompleteDefinition(SourceTag->isCompleteDefinition());
236 return true;
237 });
238}
239
240void ExternalASTMerger::CompleteType(ObjCInterfaceDecl *Interface) {
241 assert(Interface->hasExternalLexicalStorage());
242 ForEachMatchingDC(
243 Interface, [&](ASTImporter &Forward, ASTImporter &Reverse,
244 Source<const DeclContext *> SourceDC) -> bool {
245 auto *SourceInterface = const_cast<ObjCInterfaceDecl *>(
246 cast<ObjCInterfaceDecl>(SourceDC.get()));
247 if (SourceInterface->hasExternalLexicalStorage())
248 SourceInterface->getASTContext().getExternalSource()->CompleteType(
249 SourceInterface);
250 if (!SourceInterface->getDefinition())
251 return false;
Gabor Marton26f72a92018-07-12 09:42:05 +0000252 Forward.MapImported(SourceInterface, Interface);
Balazs Keri3b30d652018-10-19 13:32:20 +0000253 if (llvm::Error Err = Forward.ImportDefinition_New(SourceInterface))
254 llvm::consumeError(std::move(Err));
Sean Callanan967d4382017-09-27 19:57:58 +0000255 return true;
256 });
257}
258
259bool ExternalASTMerger::CanComplete(DeclContext *Interface) {
260 assert(Interface->hasExternalLexicalStorage() ||
261 Interface->hasExternalVisibleStorage());
262 bool FoundMatchingDC = false;
263 ForEachMatchingDC(Interface,
264 [&](ASTImporter &Forward, ASTImporter &Reverse,
265 Source<const DeclContext *> SourceDC) -> bool {
266 FoundMatchingDC = true;
267 return true;
268 });
269 return FoundMatchingDC;
270}
271
272namespace {
273bool IsSameDC(const DeclContext *D1, const DeclContext *D2) {
274 if (isa<ObjCContainerDecl>(D1) && isa<ObjCContainerDecl>(D2))
275 return true; // There are many cases where Objective-C is ambiguous.
276 if (auto *T1 = dyn_cast<TagDecl>(D1))
277 if (auto *T2 = dyn_cast<TagDecl>(D2))
278 if (T1->getFirstDecl() == T2->getFirstDecl())
279 return true;
280 return D1 == D2 || D1 == CanonicalizeDC(D2);
281}
282}
283
284void ExternalASTMerger::MaybeRecordOrigin(const DeclContext *ToDC,
285 DCOrigin Origin) {
286 LazyASTImporter &Importer = LazyImporterForOrigin(*this, *Origin.AST);
287 ASTImporter &Reverse = Importer.GetReverse();
288 Source<const DeclContext *> FoundFromDC =
289 LookupSameContext(Origin.AST->getTranslationUnitDecl(), ToDC, Reverse);
290 const bool DoRecord = !FoundFromDC || !IsSameDC(FoundFromDC.get(), Origin.DC);
291 if (DoRecord)
292 RecordOriginImpl(ToDC, Origin, Importer);
293 if (LoggingEnabled())
294 logs() << "(ExternalASTMerger*)" << (void*)this
295 << (DoRecord ? " decided " : " decided NOT")
296 << " to record origin (DeclContext*)" << (void*)Origin.DC
297 << ", (ASTContext*)" << (void*)&Origin.AST
298 << "\n";
299}
300
301void ExternalASTMerger::ForceRecordOrigin(const DeclContext *ToDC,
302 DCOrigin Origin) {
303 RecordOriginImpl(ToDC, Origin, ImporterForOrigin(*Origin.AST));
304}
305
306void ExternalASTMerger::RecordOriginImpl(const DeclContext *ToDC, DCOrigin Origin,
307 ASTImporter &Importer) {
308 Origins[ToDC] = Origin;
Gabor Marton26f72a92018-07-12 09:42:05 +0000309 Importer.ASTImporter::MapImported(cast<Decl>(Origin.DC), const_cast<Decl*>(cast<Decl>(ToDC)));
Sean Callanan967d4382017-09-27 19:57:58 +0000310}
311
312ExternalASTMerger::ExternalASTMerger(const ImporterTarget &Target,
313 llvm::ArrayRef<ImporterSource> Sources) : LogStream(&llvm::nulls()), Target(Target) {
314 AddSources(Sources);
315}
316
317void ExternalASTMerger::AddSources(llvm::ArrayRef<ImporterSource> Sources) {
318 for (const ImporterSource &S : Sources) {
319 assert(&S.AST != &Target.AST);
320 Importers.push_back(llvm::make_unique<LazyASTImporter>(
321 *this, Target.AST, Target.FM, S.AST, S.FM, S.OM));
322 }
323}
324
325void ExternalASTMerger::RemoveSources(llvm::ArrayRef<ImporterSource> Sources) {
326 if (LoggingEnabled())
327 for (const ImporterSource &S : Sources)
328 logs() << "(ExternalASTMerger*)" << (void*)this
329 << " removing source (ASTContext*)" << (void*)&S.AST
330 << "\n";
331 Importers.erase(
332 std::remove_if(Importers.begin(), Importers.end(),
333 [&Sources](std::unique_ptr<ASTImporter> &Importer) -> bool {
334 for (const ImporterSource &S : Sources) {
335 if (&Importer->getFromContext() == &S.AST)
336 return true;
337 }
338 return false;
339 }),
340 Importers.end());
341 for (OriginMap::iterator OI = Origins.begin(), OE = Origins.end(); OI != OE; ) {
342 std::pair<const DeclContext *, DCOrigin> Origin = *OI;
343 bool Erase = false;
344 for (const ImporterSource &S : Sources) {
345 if (&S.AST == Origin.second.AST) {
346 Erase = true;
347 break;
348 }
349 }
350 if (Erase)
351 OI = Origins.erase(OI);
352 else
353 ++OI;
Sean Callananb7160ca2017-04-11 19:33:35 +0000354 }
355}
356
Aleksei Sidorin8fc85102018-01-26 11:36:54 +0000357template <typename DeclTy>
358static bool importSpecializations(DeclTy *D, ASTImporter *Importer) {
359 for (auto *Spec : D->specializations())
360 if (!Importer->Import(Spec))
361 return true;
362 return false;
363}
364
365/// Imports specializations from template declarations that can be specialized.
366static bool importSpecializationsIfNeeded(Decl *D, ASTImporter *Importer) {
367 if (!isa<TemplateDecl>(D))
368 return false;
369 if (auto *FunctionTD = dyn_cast<FunctionTemplateDecl>(D))
370 return importSpecializations(FunctionTD, Importer);
371 else if (auto *ClassTD = dyn_cast<ClassTemplateDecl>(D))
372 return importSpecializations(ClassTD, Importer);
373 else if (auto *VarTD = dyn_cast<VarTemplateDecl>(D))
374 return importSpecializations(VarTD, Importer);
375 return false;
376}
377
Sean Callananb7160ca2017-04-11 19:33:35 +0000378bool ExternalASTMerger::FindExternalVisibleDeclsByName(const DeclContext *DC,
379 DeclarationName Name) {
380 llvm::SmallVector<NamedDecl *, 1> Decls;
Sean Callanan967d4382017-09-27 19:57:58 +0000381 llvm::SmallVector<Candidate, 4> Candidates;
Sean Callananb7160ca2017-04-11 19:33:35 +0000382
Sean Callanan967d4382017-09-27 19:57:58 +0000383 auto FilterFoundDecl = [&Candidates](const Candidate &C) {
384 if (!HasDeclOfSameType(Candidates, C))
385 Candidates.push_back(C);
Sean Callananb7160ca2017-04-11 19:33:35 +0000386 };
387
Sean Callanan967d4382017-09-27 19:57:58 +0000388 ForEachMatchingDC(DC, [&](ASTImporter &Forward, ASTImporter &Reverse,
389 Source<const DeclContext *> SourceDC) -> bool {
390 DeclarationName FromName = Reverse.Import(Name);
391 DeclContextLookupResult Result = SourceDC.get()->lookup(FromName);
392 for (NamedDecl *FromD : Result) {
393 FilterFoundDecl(std::make_pair(FromD, &Forward));
394 }
Sean Callananb7160ca2017-04-11 19:33:35 +0000395 return false;
Sean Callanan967d4382017-09-27 19:57:58 +0000396 });
Sean Callananb7160ca2017-04-11 19:33:35 +0000397
Sean Callanan967d4382017-09-27 19:57:58 +0000398 if (Candidates.empty())
399 return false;
400
401 Decls.reserve(Candidates.size());
402 for (const Candidate &C : Candidates) {
Aleksei Sidorin8fc85102018-01-26 11:36:54 +0000403 Decl *LookupRes = C.first.get();
404 ASTImporter *Importer = C.second;
405 NamedDecl *ND = cast_or_null<NamedDecl>(Importer->Import(LookupRes));
406 assert(ND);
407 // If we don't import specialization, they are not available via lookup
408 // because the lookup result is imported TemplateDecl and it does not
409 // reference its specializations until they are imported explicitly.
410 bool IsSpecImportFailed =
411 importSpecializationsIfNeeded(LookupRes, Importer);
412 assert(!IsSpecImportFailed);
Sam McCallfdc32072018-01-26 12:06:44 +0000413 (void)IsSpecImportFailed;
Aleksei Sidorin8fc85102018-01-26 11:36:54 +0000414 Decls.push_back(ND);
Sean Callananb7160ca2017-04-11 19:33:35 +0000415 }
416 SetExternalVisibleDeclsForName(DC, Name, Decls);
417 return true;
418}
419
420void ExternalASTMerger::FindExternalLexicalDecls(
421 const DeclContext *DC, llvm::function_ref<bool(Decl::Kind)> IsKindWeWant,
422 SmallVectorImpl<Decl *> &Result) {
Sean Callanan967d4382017-09-27 19:57:58 +0000423 ForEachMatchingDC(DC, [&](ASTImporter &Forward, ASTImporter &Reverse,
424 Source<const DeclContext *> SourceDC) -> bool {
425 for (const Decl *SourceDecl : SourceDC.get()->decls()) {
426 if (IsKindWeWant(SourceDecl->getKind())) {
427 Decl *ImportedDecl = Forward.Import(const_cast<Decl *>(SourceDecl));
428 assert(!ImportedDecl || IsSameDC(ImportedDecl->getDeclContext(), DC));
429 (void)ImportedDecl;
430 }
431 }
432 return false;
433 });
Sean Callananb7160ca2017-04-11 19:33:35 +0000434}
Sean Callanan9092d472017-05-13 00:46:33 +0000435