clang 22.0.0git
ASTUnit.cpp
Go to the documentation of this file.
1//===- ASTUnit.cpp - ASTUnit utility --------------------------------------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// ASTUnit Implementation.
10//
11//===----------------------------------------------------------------------===//
12
17#include "clang/AST/Decl.h"
18#include "clang/AST/DeclBase.h"
19#include "clang/AST/DeclCXX.h"
20#include "clang/AST/DeclGroup.h"
21#include "clang/AST/DeclObjC.h"
26#include "clang/AST/Type.h"
32#include "clang/Basic/LLVM.h"
35#include "clang/Basic/Module.h"
51#include "clang/Lex/Lexer.h"
56#include "clang/Lex/Token.h"
59#include "clang/Sema/Sema.h"
66#include "llvm/ADT/ArrayRef.h"
67#include "llvm/ADT/DenseMap.h"
68#include "llvm/ADT/IntrusiveRefCntPtr.h"
69#include "llvm/ADT/STLExtras.h"
70#include "llvm/ADT/ScopeExit.h"
71#include "llvm/ADT/SmallVector.h"
72#include "llvm/ADT/StringMap.h"
73#include "llvm/ADT/StringRef.h"
74#include "llvm/ADT/StringSet.h"
75#include "llvm/ADT/Twine.h"
76#include "llvm/ADT/iterator_range.h"
77#include "llvm/Bitstream/BitstreamWriter.h"
78#include "llvm/Support/Allocator.h"
79#include "llvm/Support/CrashRecoveryContext.h"
80#include "llvm/Support/DJB.h"
81#include "llvm/Support/ErrorHandling.h"
82#include "llvm/Support/ErrorOr.h"
83#include "llvm/Support/MemoryBuffer.h"
84#include "llvm/Support/SaveAndRestore.h"
85#include "llvm/Support/Timer.h"
86#include "llvm/Support/VirtualFileSystem.h"
87#include "llvm/Support/raw_ostream.h"
88#include <algorithm>
89#include <atomic>
90#include <cassert>
91#include <cstdint>
92#include <cstdio>
93#include <cstdlib>
94#include <memory>
95#include <mutex>
96#include <optional>
97#include <string>
98#include <tuple>
99#include <utility>
100#include <vector>
101
102using namespace clang;
103
104using llvm::TimeRecord;
105
106namespace {
107
108 class SimpleTimer {
109 bool WantTiming;
110 TimeRecord Start;
111 std::string Output;
112
113 public:
114 explicit SimpleTimer(bool WantTiming) : WantTiming(WantTiming) {
115 if (WantTiming)
116 Start = TimeRecord::getCurrentTime();
117 }
118
119 ~SimpleTimer() {
120 if (WantTiming) {
121 TimeRecord Elapsed = TimeRecord::getCurrentTime();
122 Elapsed -= Start;
123 llvm::errs() << Output << ':';
124 Elapsed.print(Elapsed, llvm::errs());
125 llvm::errs() << '\n';
126 }
127 }
128
129 void setOutput(const Twine &Output) {
130 if (WantTiming)
131 this->Output = Output.str();
132 }
133 };
134
135} // namespace
136
137template <class T>
138static std::unique_ptr<T> valueOrNull(llvm::ErrorOr<std::unique_ptr<T>> Val) {
139 if (!Val)
140 return nullptr;
141 return std::move(*Val);
142}
143
144template <class T>
145static bool moveOnNoError(llvm::ErrorOr<T> Val, T &Output) {
146 if (!Val)
147 return false;
148 Output = std::move(*Val);
149 return true;
150}
151
152/// Get a source buffer for \p MainFilePath, handling all file-to-file
153/// and file-to-buffer remappings inside \p Invocation.
154static std::unique_ptr<llvm::MemoryBuffer>
156 llvm::vfs::FileSystem *VFS,
157 StringRef FilePath, bool isVolatile) {
158 const auto &PreprocessorOpts = Invocation.getPreprocessorOpts();
159
160 // Try to determine if the main file has been remapped, either from the
161 // command line (to another file) or directly through the compiler
162 // invocation (to a memory buffer).
163 llvm::MemoryBuffer *Buffer = nullptr;
164 std::unique_ptr<llvm::MemoryBuffer> BufferOwner;
165 auto FileStatus = VFS->status(FilePath);
166 if (FileStatus) {
167 llvm::sys::fs::UniqueID MainFileID = FileStatus->getUniqueID();
168
169 // Check whether there is a file-file remapping of the main file
170 for (const auto &RF : PreprocessorOpts.RemappedFiles) {
171 std::string MPath(RF.first);
172 auto MPathStatus = VFS->status(MPath);
173 if (MPathStatus) {
174 llvm::sys::fs::UniqueID MID = MPathStatus->getUniqueID();
175 if (MainFileID == MID) {
176 // We found a remapping. Try to load the resulting, remapped source.
177 BufferOwner = valueOrNull(VFS->getBufferForFile(RF.second, -1, true, isVolatile));
178 if (!BufferOwner)
179 return nullptr;
180 }
181 }
182 }
183
184 // Check whether there is a file-buffer remapping. It supercedes the
185 // file-file remapping.
186 for (const auto &RB : PreprocessorOpts.RemappedFileBuffers) {
187 std::string MPath(RB.first);
188 auto MPathStatus = VFS->status(MPath);
189 if (MPathStatus) {
190 llvm::sys::fs::UniqueID MID = MPathStatus->getUniqueID();
191 if (MainFileID == MID) {
192 // We found a remapping.
193 BufferOwner.reset();
194 Buffer = const_cast<llvm::MemoryBuffer *>(RB.second);
195 }
196 }
197 }
198 }
199
200 // If the main source file was not remapped, load it now.
201 if (!Buffer && !BufferOwner) {
202 BufferOwner = valueOrNull(VFS->getBufferForFile(FilePath, -1, true, isVolatile));
203 if (!BufferOwner)
204 return nullptr;
205 }
206
207 if (BufferOwner)
208 return BufferOwner;
209 if (!Buffer)
210 return nullptr;
211 return llvm::MemoryBuffer::getMemBufferCopy(Buffer->getBuffer(), FilePath);
212}
213
214void ASTUnit::clearFileLevelDecls() {
215 FileDecls.clear();
216}
217
218/// After failing to build a precompiled preamble (due to
219/// errors in the source that occurs in the preamble), the number of
220/// reparses during which we'll skip even trying to precompile the
221/// preamble.
223
224/// Tracks the number of ASTUnit objects that are currently active.
225///
226/// Used for debugging purposes only.
227static std::atomic<unsigned> ActiveASTUnitObjects;
228
229ASTUnit::ASTUnit(bool _MainFileIsAST)
230 : CodeGenOpts(std::make_unique<CodeGenOptions>()),
231 MainFileIsAST(_MainFileIsAST), WantTiming(getenv("LIBCLANG_TIMING")),
232 ShouldCacheCodeCompletionResults(false),
233 IncludeBriefCommentsInCodeCompletion(false), UserFilesAreVolatile(false),
234 UnsafeToFree(false) {
235 if (getenv("LIBCLANG_OBJTRACKING"))
236 fprintf(stderr, "+++ %u translation units\n", ++ActiveASTUnitObjects);
237}
238
240 // If we loaded from an AST file, balance out the BeginSourceFile call.
241 if (MainFileIsAST && getDiagnostics().getClient()) {
243 }
244
245 clearFileLevelDecls();
246
247 // Free the buffers associated with remapped files. We are required to
248 // perform this operation here because we explicitly request that the
249 // compiler instance *not* free these buffers for each invocation of the
250 // parser.
251 if (Invocation && OwnsRemappedFileBuffers) {
252 PreprocessorOptions &PPOpts = Invocation->getPreprocessorOpts();
253 for (const auto &RB : PPOpts.RemappedFileBuffers)
254 delete RB.second;
255 }
256
257 ClearCachedCompletionResults();
258
259 if (getenv("LIBCLANG_OBJTRACKING"))
260 fprintf(stderr, "--- %u translation units\n", --ActiveASTUnitObjects);
261}
262
263void ASTUnit::setPreprocessor(std::shared_ptr<Preprocessor> PP) {
264 this->PP = std::move(PP);
265}
266
268 assert(getDiagnostics().getClient() && Ctx &&
269 "Bad context for source file");
270 getDiagnostics().getClient()->BeginSourceFile(Ctx->getLangOpts(), PP.get());
271}
272
273/// Determine the set of code-completion contexts in which this
274/// declaration should be shown.
275static uint64_t getDeclShowContexts(const NamedDecl *ND,
276 const LangOptions &LangOpts,
277 bool &IsNestedNameSpecifier) {
278 IsNestedNameSpecifier = false;
279
280 if (isa<UsingShadowDecl>(ND))
281 ND = ND->getUnderlyingDecl();
282 if (!ND)
283 return 0;
284
285 uint64_t Contexts = 0;
286 if (isa<TypeDecl>(ND) || isa<ObjCInterfaceDecl>(ND) ||
289 // Types can appear in these contexts.
290 if (LangOpts.CPlusPlus || !isa<TagDecl>(ND))
291 Contexts |= (1LL << CodeCompletionContext::CCC_TopLevel)
297
298 // In C++, types can appear in expressions contexts (for functional casts).
299 if (LangOpts.CPlusPlus)
300 Contexts |= (1LL << CodeCompletionContext::CCC_Expression);
301
302 // In Objective-C, message sends can send interfaces. In Objective-C++,
303 // all types are available due to functional casts.
304 if (LangOpts.CPlusPlus || isa<ObjCInterfaceDecl>(ND))
306
307 // In Objective-C, you can only be a subclass of another Objective-C class
308 if (const auto *ID = dyn_cast<ObjCInterfaceDecl>(ND)) {
309 // Objective-C interfaces can be used in a class property expression.
310 if (ID->getDefinition())
311 Contexts |= (1LL << CodeCompletionContext::CCC_Expression);
314 }
315
316 // Deal with tag names.
317 if (isa<EnumDecl>(ND)) {
318 Contexts |= (1LL << CodeCompletionContext::CCC_EnumTag);
319
320 // Part of the nested-name-specifier in C++0x.
321 if (LangOpts.CPlusPlus11)
322 IsNestedNameSpecifier = true;
323 } else if (const auto *Record = dyn_cast<RecordDecl>(ND)) {
324 if (Record->isUnion())
325 Contexts |= (1LL << CodeCompletionContext::CCC_UnionTag);
326 else
328
329 if (LangOpts.CPlusPlus)
330 IsNestedNameSpecifier = true;
331 } else if (isa<ClassTemplateDecl>(ND))
332 IsNestedNameSpecifier = true;
333 } else if (isa<ValueDecl>(ND) || isa<FunctionTemplateDecl>(ND)) {
334 // Values can appear in these contexts.
335 Contexts = (1LL << CodeCompletionContext::CCC_Statement)
339 } else if (isa<ObjCProtocolDecl>(ND)) {
341 } else if (isa<ObjCCategoryDecl>(ND)) {
343 } else if (isa<NamespaceDecl>(ND) || isa<NamespaceAliasDecl>(ND)) {
344 Contexts = (1LL << CodeCompletionContext::CCC_Namespace);
345
346 // Part of the nested-name-specifier.
347 IsNestedNameSpecifier = true;
348 }
349
350 return Contexts;
351}
352
353void ASTUnit::CacheCodeCompletionResults() {
354 if (!TheSema)
355 return;
356
357 SimpleTimer Timer(WantTiming);
358 Timer.setOutput("Cache global code completions for " + getMainFileName());
359
360 // Clear out the previous results.
361 ClearCachedCompletionResults();
362
363 // Gather the set of global code completions.
364 using Result = CodeCompletionResult;
365 SmallVector<Result, 8> Results;
366 CachedCompletionAllocator = std::make_shared<GlobalCodeCompletionAllocator>();
367 CodeCompletionTUInfo CCTUInfo(CachedCompletionAllocator);
368 TheSema->CodeCompletion().GatherGlobalCodeCompletions(
369 *CachedCompletionAllocator, CCTUInfo, Results);
370
371 // Translate global code completions into cached completions.
372 llvm::DenseMap<CanQualType, unsigned> CompletionTypes;
373 CodeCompletionContext CCContext(CodeCompletionContext::CCC_TopLevel);
374
375 for (auto &R : Results) {
376 switch (R.Kind) {
377 case Result::RK_Declaration: {
378 bool IsNestedNameSpecifier = false;
379 CachedCodeCompletionResult CachedResult;
380 CachedResult.Completion = R.CreateCodeCompletionString(
381 *TheSema, CCContext, *CachedCompletionAllocator, CCTUInfo,
382 IncludeBriefCommentsInCodeCompletion);
383 CachedResult.ShowInContexts = getDeclShowContexts(
384 R.Declaration, Ctx->getLangOpts(), IsNestedNameSpecifier);
385 CachedResult.Priority = R.Priority;
386 CachedResult.Kind = R.CursorKind;
387 CachedResult.Availability = R.Availability;
388
389 // Keep track of the type of this completion in an ASTContext-agnostic
390 // way.
391 QualType UsageType = getDeclUsageType(*Ctx, R.Qualifier, R.Declaration);
392 if (UsageType.isNull()) {
393 CachedResult.TypeClass = STC_Void;
394 CachedResult.Type = 0;
395 } else {
396 CanQualType CanUsageType
397 = Ctx->getCanonicalType(UsageType.getUnqualifiedType());
398 CachedResult.TypeClass = getSimplifiedTypeClass(CanUsageType);
399
400 // Determine whether we have already seen this type. If so, we save
401 // ourselves the work of formatting the type string by using the
402 // temporary, CanQualType-based hash table to find the associated value.
403 unsigned &TypeValue = CompletionTypes[CanUsageType];
404 if (TypeValue == 0) {
405 TypeValue = CompletionTypes.size();
406 CachedCompletionTypes[QualType(CanUsageType).getAsString()]
407 = TypeValue;
408 }
409
410 CachedResult.Type = TypeValue;
411 }
412
413 CachedCompletionResults.push_back(CachedResult);
414
415 /// Handle nested-name-specifiers in C++.
416 if (TheSema->Context.getLangOpts().CPlusPlus && IsNestedNameSpecifier &&
417 !R.StartsNestedNameSpecifier) {
418 // The contexts in which a nested-name-specifier can appear in C++.
419 uint64_t NNSContexts
432
433 if (isa<NamespaceDecl>(R.Declaration) ||
434 isa<NamespaceAliasDecl>(R.Declaration))
435 NNSContexts |= (1LL << CodeCompletionContext::CCC_Namespace);
436
437 if (uint64_t RemainingContexts
438 = NNSContexts & ~CachedResult.ShowInContexts) {
439 // If there any contexts where this completion can be a
440 // nested-name-specifier but isn't already an option, create a
441 // nested-name-specifier completion.
442 R.StartsNestedNameSpecifier = true;
443 CachedResult.Completion = R.CreateCodeCompletionString(
444 *TheSema, CCContext, *CachedCompletionAllocator, CCTUInfo,
445 IncludeBriefCommentsInCodeCompletion);
446 CachedResult.ShowInContexts = RemainingContexts;
447 CachedResult.Priority = CCP_NestedNameSpecifier;
448 CachedResult.TypeClass = STC_Void;
449 CachedResult.Type = 0;
450 CachedCompletionResults.push_back(CachedResult);
451 }
452 }
453 break;
454 }
455
456 case Result::RK_Keyword:
457 case Result::RK_Pattern:
458 // Ignore keywords and patterns; we don't care, since they are so
459 // easily regenerated.
460 break;
461
462 case Result::RK_Macro: {
463 CachedCodeCompletionResult CachedResult;
464 CachedResult.Completion = R.CreateCodeCompletionString(
465 *TheSema, CCContext, *CachedCompletionAllocator, CCTUInfo,
466 IncludeBriefCommentsInCodeCompletion);
467 CachedResult.ShowInContexts
480
481 CachedResult.Priority = R.Priority;
482 CachedResult.Kind = R.CursorKind;
483 CachedResult.Availability = R.Availability;
484 CachedResult.TypeClass = STC_Void;
485 CachedResult.Type = 0;
486 CachedCompletionResults.push_back(CachedResult);
487 break;
488 }
489 }
490 }
491
492 // Save the current top-level hash value.
493 CompletionCacheTopLevelHashValue = CurrentTopLevelHashValue;
494}
495
496void ASTUnit::ClearCachedCompletionResults() {
497 CachedCompletionResults.clear();
498 CachedCompletionTypes.clear();
499 CachedCompletionAllocator = nullptr;
500}
501
502namespace {
503
504/// Gathers information from ASTReader that will be used to initialize
505/// a Preprocessor.
506class ASTInfoCollector : public ASTReaderListener {
507 HeaderSearchOptions &HSOpts;
508 std::string &SpecificModuleCachePath;
509 PreprocessorOptions &PPOpts;
510 LangOptions &LangOpts;
511 CodeGenOptions &CodeGenOpts;
512 TargetOptions &TargetOpts;
513 uint32_t &Counter;
514
515public:
516 ASTInfoCollector(HeaderSearchOptions &HSOpts,
517 std::string &SpecificModuleCachePath,
518 PreprocessorOptions &PPOpts, LangOptions &LangOpts,
519 CodeGenOptions &CodeGenOpts, TargetOptions &TargetOpts,
520 uint32_t &Counter)
521 : HSOpts(HSOpts), SpecificModuleCachePath(SpecificModuleCachePath),
522 PPOpts(PPOpts), LangOpts(LangOpts), CodeGenOpts(CodeGenOpts),
523 TargetOpts(TargetOpts), Counter(Counter) {}
524
525 bool ReadLanguageOptions(const LangOptions &NewLangOpts,
526 StringRef ModuleFilename, bool Complain,
527 bool AllowCompatibleDifferences) override {
528 LangOpts = NewLangOpts;
529 return false;
530 }
531
532 bool ReadCodeGenOptions(const CodeGenOptions &NewCodeGenOpts,
533 StringRef ModuleFilename, bool Complain,
534 bool AllowCompatibleDifferences) override {
535 CodeGenOpts = NewCodeGenOpts;
536 return false;
537 }
538
539 bool ReadHeaderSearchOptions(const HeaderSearchOptions &NewHSOpts,
540 StringRef ModuleFilename,
541 StringRef NewSpecificModuleCachePath,
542 bool Complain) override {
543 HSOpts = NewHSOpts;
544 SpecificModuleCachePath = NewSpecificModuleCachePath;
545 return false;
546 }
547
548 bool ReadHeaderSearchPaths(const HeaderSearchOptions &NewHSOpts,
549 bool Complain) override {
550 HSOpts.UserEntries = NewHSOpts.UserEntries;
552 HSOpts.VFSOverlayFiles = NewHSOpts.VFSOverlayFiles;
553 return false;
554 }
555
556 bool ReadPreprocessorOptions(const PreprocessorOptions &NewPPOpts,
557 StringRef ModuleFilename, bool ReadMacros,
558 bool Complain,
559 std::string &SuggestedPredefines) override {
560 PPOpts = NewPPOpts;
561 return false;
562 }
563
564 bool ReadTargetOptions(const TargetOptions &NewTargetOpts,
565 StringRef ModuleFilename, bool Complain,
566 bool AllowCompatibleDifferences) override {
567 TargetOpts = NewTargetOpts;
568 return false;
569 }
570
571 void ReadCounter(const serialization::ModuleFile &M,
572 uint32_t NewCounter) override {
573 Counter = NewCounter;
574 }
575};
576} // anonymous namespace
577
581 bool CaptureNonErrorsFromIncludes)
582 : StoredDiags(StoredDiags), StandaloneDiags(StandaloneDiags),
583 CaptureNonErrorsFromIncludes(CaptureNonErrorsFromIncludes) {
584 assert((StoredDiags || StandaloneDiags) &&
585 "No output collections were passed to StoredDiagnosticConsumer.");
586}
587
589 const LangOptions &LangOpts, const Preprocessor *PP) {
590 this->LangOpts = &LangOpts;
591 if (PP)
592 SourceMgr = &PP->getSourceManager();
593}
594
595static bool isInMainFile(const clang::Diagnostic &D) {
596 if (!D.hasSourceManager() || !D.getLocation().isValid())
597 return false;
598
599 auto &M = D.getSourceManager();
600 return M.isWrittenInMainFile(M.getExpansionLoc(D.getLocation()));
601}
602
604 DiagnosticsEngine::Level Level, const Diagnostic &Info) {
605 // Default implementation (Warnings/errors count).
607
608 // Only record the diagnostic if it's part of the source manager we know
609 // about. This effectively drops diagnostics from modules we're building.
610 // FIXME: In the long run, ee don't want to drop source managers from modules.
611 if (!Info.hasSourceManager() || &Info.getSourceManager() == SourceMgr) {
612 if (!CaptureNonErrorsFromIncludes && Level <= DiagnosticsEngine::Warning &&
613 !isInMainFile(Info)) {
614 return;
615 }
616
617 StoredDiagnostic *ResultDiag = nullptr;
618 if (StoredDiags) {
619 StoredDiags->emplace_back(Level, Info);
620 ResultDiag = &StoredDiags->back();
621 }
622
623 if (StandaloneDiags) {
624 std::optional<StoredDiagnostic> StoredDiag;
625 if (!ResultDiag) {
626 StoredDiag.emplace(Level, Info);
627 ResultDiag = &*StoredDiag;
628 }
629 StandaloneDiags->emplace_back(*LangOpts, *ResultDiag);
630 }
631 }
632}
633
635 CaptureDiagsKind CaptureDiagnostics, DiagnosticsEngine &Diags,
638 : Diags(Diags),
639 Client(StoredDiags, StandaloneDiags,
640 CaptureDiagnostics !=
642 if (CaptureDiagnostics != CaptureDiagsKind::None ||
643 Diags.getClient() == nullptr) {
644 OwningPreviousClient = Diags.takeClient();
645 PreviousClient = Diags.getClient();
646 Diags.setClient(&Client, false);
647 }
648}
649
651 if (Diags.getClient() == &Client)
652 Diags.setClient(PreviousClient, !!OwningPreviousClient.release());
653}
654
656 return Reader;
657}
658
660 if (WriterData)
661 return &WriterData->Writer;
662 return nullptr;
663}
664
666 if (WriterData)
667 return &WriterData->Writer;
668 return nullptr;
669}
670
671std::unique_ptr<llvm::MemoryBuffer>
672ASTUnit::getBufferForFile(StringRef Filename, std::string *ErrorStr) {
673 assert(FileMgr);
674 auto Buffer = FileMgr->getBufferForFile(Filename, UserFilesAreVolatile);
675 if (Buffer)
676 return std::move(*Buffer);
677 if (ErrorStr)
678 *ErrorStr = Buffer.getError().message();
679 return nullptr;
680}
681
682/// Configure the diagnostics object for use with ASTUnit.
683void ASTUnit::ConfigureDiags(IntrusiveRefCntPtr<DiagnosticsEngine> Diags,
684 ASTUnit &AST,
685 CaptureDiagsKind CaptureDiagnostics) {
686 assert(Diags.get() && "no DiagnosticsEngine was provided");
687 if (CaptureDiagnostics != CaptureDiagsKind::None)
688 Diags->setClient(new FilterAndStoreDiagnosticConsumer(
689 &AST.StoredDiagnostics, nullptr,
691}
692
693std::unique_ptr<ASTUnit> ASTUnit::LoadFromASTFile(
694 StringRef Filename, const PCHContainerReader &PCHContainerRdr,
696 std::shared_ptr<DiagnosticOptions> DiagOpts,
698 const FileSystemOptions &FileSystemOpts, const HeaderSearchOptions &HSOpts,
699 const LangOptions *ProvidedLangOpts, bool OnlyLocalDecls,
700 CaptureDiagsKind CaptureDiagnostics, bool AllowASTWithCompilerErrors,
701 bool UserFilesAreVolatile) {
702 std::unique_ptr<ASTUnit> AST(new ASTUnit(true));
703
704 // Recover resources if we crash before exiting this method.
705 llvm::CrashRecoveryContextCleanupRegistrar<ASTUnit>
706 ASTUnitCleanup(AST.get());
707 llvm::CrashRecoveryContextCleanupRegistrar<DiagnosticsEngine,
708 llvm::CrashRecoveryContextReleaseRefCleanup<DiagnosticsEngine>>
709 DiagCleanup(Diags.get());
710
711 ConfigureDiags(Diags, *AST, CaptureDiagnostics);
712
713 std::unique_ptr<LangOptions> LocalLangOpts;
714 const LangOptions &LangOpts = [&]() -> const LangOptions & {
715 if (ProvidedLangOpts)
716 return *ProvidedLangOpts;
717 LocalLangOpts = std::make_unique<LangOptions>();
718 return *LocalLangOpts;
719 }();
720
721 AST->LangOpts = std::make_unique<LangOptions>(LangOpts);
722 AST->OnlyLocalDecls = OnlyLocalDecls;
723 AST->CaptureDiagnostics = CaptureDiagnostics;
724 AST->DiagOpts = DiagOpts;
725 AST->Diagnostics = Diags;
726 AST->UserFilesAreVolatile = UserFilesAreVolatile;
727 AST->HSOpts = std::make_unique<HeaderSearchOptions>(HSOpts);
728 AST->HSOpts->ModuleFormat = std::string(PCHContainerRdr.getFormats().front());
729 AST->PPOpts = std::make_shared<PreprocessorOptions>();
730 AST->CodeGenOpts = std::make_unique<CodeGenOptions>();
731 AST->TargetOpts = std::make_shared<TargetOptions>();
732
733 AST->ModCache = createCrossProcessModuleCache();
734
735 // Gather info for preprocessor construction later on.
736 std::string SpecificModuleCachePath;
737 unsigned Counter = 0;
738 // Using a temporary FileManager since the AST file might specify custom
739 // HeaderSearchOptions::VFSOverlayFiles that affect the underlying VFS.
740 FileManager TmpFileMgr(FileSystemOpts, VFS);
741 ASTInfoCollector Collector(*AST->HSOpts, SpecificModuleCachePath,
742 *AST->PPOpts, *AST->LangOpts, *AST->CodeGenOpts,
743 *AST->TargetOpts, Counter);
745 Filename, TmpFileMgr, *AST->ModCache, PCHContainerRdr,
746 /*FindModuleFileExtensions=*/true, Collector,
747 /*ValidateDiagnosticOptions=*/true, ASTReader::ARR_None)) {
748 AST->getDiagnostics().Report(diag::err_fe_unable_to_load_ast_file);
749 return nullptr;
750 }
751
752 VFS = createVFSFromOverlayFiles(AST->HSOpts->VFSOverlayFiles,
753 *AST->Diagnostics, std::move(VFS));
754
755 AST->FileMgr = llvm::makeIntrusiveRefCnt<FileManager>(FileSystemOpts, VFS);
756
757 AST->SourceMgr = llvm::makeIntrusiveRefCnt<SourceManager>(
758 AST->getDiagnostics(), AST->getFileManager(), UserFilesAreVolatile);
759
760 AST->HSOpts->PrebuiltModuleFiles = HSOpts.PrebuiltModuleFiles;
761 AST->HSOpts->PrebuiltModulePaths = HSOpts.PrebuiltModulePaths;
762 AST->HeaderInfo = std::make_unique<HeaderSearch>(
763 AST->getHeaderSearchOpts(), AST->getSourceManager(),
764 AST->getDiagnostics(), AST->getLangOpts(),
765 /*Target=*/nullptr);
766 AST->HeaderInfo->setModuleCachePath(SpecificModuleCachePath);
767
768 AST->PP = std::make_shared<Preprocessor>(
769 *AST->PPOpts, AST->getDiagnostics(), *AST->LangOpts,
770 AST->getSourceManager(), *AST->HeaderInfo, AST->ModuleLoader,
771 /*IILookup=*/nullptr,
772 /*OwnsHeaderSearch=*/false);
773
774 if (ToLoad >= LoadASTOnly)
775 AST->Ctx = llvm::makeIntrusiveRefCnt<ASTContext>(
776 *AST->LangOpts, AST->getSourceManager(), AST->PP->getIdentifierTable(),
777 AST->PP->getSelectorTable(), AST->PP->getBuiltinInfo(),
778 AST->getTranslationUnitKind());
779
780 DisableValidationForModuleKind disableValid =
782 if (::getenv("LIBCLANG_DISABLE_PCH_VALIDATION"))
784 AST->Reader = llvm::makeIntrusiveRefCnt<ASTReader>(
785 *AST->PP, *AST->ModCache, AST->Ctx.get(), PCHContainerRdr,
786 *AST->CodeGenOpts, ArrayRef<std::shared_ptr<ModuleFileExtension>>(),
787 /*isysroot=*/"",
788 /*DisableValidationKind=*/disableValid, AllowASTWithCompilerErrors);
789
790 // Attach the AST reader to the AST context as an external AST source, so that
791 // declarations will be deserialized from the AST file as needed.
792 // We need the external source to be set up before we read the AST, because
793 // eagerly-deserialized declarations may use it.
794 if (AST->Ctx)
795 AST->Ctx->setExternalSource(AST->Reader);
796
797 AST->Target =
798 TargetInfo::CreateTargetInfo(AST->PP->getDiagnostics(), *AST->TargetOpts);
799 // Inform the target of the language options.
800 //
801 // FIXME: We shouldn't need to do this, the target should be immutable once
802 // created. This complexity should be lifted elsewhere.
803 AST->Target->adjust(AST->PP->getDiagnostics(), *AST->LangOpts,
804 /*AuxTarget=*/nullptr);
805
806 // Initialize the preprocessor.
807 AST->PP->Initialize(*AST->Target);
808
809 AST->PP->setCounterValue(Counter);
810
811 if (AST->Ctx) {
812 // Initialize the ASTContext
813 AST->Ctx->InitBuiltinTypes(*AST->Target);
814
815 // Adjust printing policy based on language options.
816 AST->Ctx->setPrintingPolicy(PrintingPolicy(*AST->LangOpts));
817
818 // We didn't have access to the comment options when the ASTContext was
819 // constructed, so register them now.
820 AST->Ctx->getCommentCommandTraits().registerCommentOptions(
821 AST->LangOpts->CommentOpts);
822 }
823
824 // The temporary FileManager we used for ASTReader::readASTFileControlBlock()
825 // might have already read stdin, and reading it again will fail. Let's
826 // explicitly forward the buffer.
827 if (Filename == "-")
828 if (auto FE = llvm::expectedToOptional(TmpFileMgr.getSTDIN()))
829 if (auto BufRef = TmpFileMgr.getBufferForFile(*FE)) {
830 auto Buf = llvm::MemoryBuffer::getMemBufferCopy(
831 (*BufRef)->getBuffer(), (*BufRef)->getBufferIdentifier());
832 AST->Reader->getModuleManager().addInMemoryBuffer("-", std::move(Buf));
833 }
834
835 // Reinstate the provided options that are relevant for reading AST files.
836 AST->HSOpts->ForceCheckCXX20ModulesInputFiles =
837 HSOpts.ForceCheckCXX20ModulesInputFiles;
838
839 switch (AST->Reader->ReadAST(Filename, serialization::MK_MainFile,
842 break;
843
850 AST->getDiagnostics().Report(diag::err_fe_unable_to_load_ast_file);
851 return nullptr;
852 }
853
854 // Now that we have successfully loaded the AST file, we can reinstate some
855 // options that the clients expect us to preserve (but would trip AST file
856 // validation, so we couldn't set them earlier).
857 AST->HSOpts->UserEntries = HSOpts.UserEntries;
858 AST->HSOpts->SystemHeaderPrefixes = HSOpts.SystemHeaderPrefixes;
859 AST->HSOpts->VFSOverlayFiles = HSOpts.VFSOverlayFiles;
860 AST->LangOpts->PICLevel = LangOpts.PICLevel;
861 AST->LangOpts->PIE = LangOpts.PIE;
862
863 AST->OriginalSourceFile = std::string(AST->Reader->getOriginalSourceFile());
864
865 Module *M = AST->HeaderInfo->lookupModule(AST->getLangOpts().CurrentModule);
866 if (M && AST->getLangOpts().isCompilingModule() && M->isNamedModule())
867 AST->Ctx->setCurrentNamedModule(M);
868
869 // Create an AST consumer, even though it isn't used.
870 if (ToLoad >= LoadASTOnly)
871 AST->Consumer.reset(new ASTConsumer);
872
873 // Create a semantic analysis object and tell the AST reader about it.
874 if (ToLoad >= LoadEverything) {
875 AST->TheSema = std::make_unique<Sema>(*AST->PP, *AST->Ctx, *AST->Consumer);
876 AST->TheSema->Initialize();
877 AST->Reader->InitializeSema(*AST->TheSema);
878 }
879
880 // Tell the diagnostic client that we have started a source file.
881 AST->getDiagnostics().getClient()->BeginSourceFile(AST->PP->getLangOpts(),
882 AST->PP.get());
883
884 return AST;
885}
886
887/// Add the given macro to the hash of all top-level entities.
888static void AddDefinedMacroToHash(const Token &MacroNameTok, unsigned &Hash) {
889 Hash = llvm::djbHash(MacroNameTok.getIdentifierInfo()->getName(), Hash);
890}
891
892namespace {
893
894/// Preprocessor callback class that updates a hash value with the names
895/// of all macros that have been defined by the translation unit.
896class MacroDefinitionTrackerPPCallbacks : public PPCallbacks {
897 unsigned &Hash;
898
899public:
900 explicit MacroDefinitionTrackerPPCallbacks(unsigned &Hash) : Hash(Hash) {}
901
902 void MacroDefined(const Token &MacroNameTok,
903 const MacroDirective *MD) override {
904 AddDefinedMacroToHash(MacroNameTok, Hash);
905 }
906};
907
908} // namespace
909
910/// Add the given declaration to the hash of all top-level entities.
911static void AddTopLevelDeclarationToHash(Decl *D, unsigned &Hash) {
912 if (!D)
913 return;
914
915 DeclContext *DC = D->getDeclContext();
916 if (!DC)
917 return;
918
919 if (!(DC->isTranslationUnit() || DC->getLookupParent()->isTranslationUnit()))
920 return;
921
922 if (const auto *ND = dyn_cast<NamedDecl>(D)) {
923 if (const auto *EnumD = dyn_cast<EnumDecl>(D)) {
924 // For an unscoped enum include the enumerators in the hash since they
925 // enter the top-level namespace.
926 if (!EnumD->isScoped()) {
927 for (const auto *EI : EnumD->enumerators()) {
928 if (EI->getIdentifier())
929 Hash = llvm::djbHash(EI->getIdentifier()->getName(), Hash);
930 }
931 }
932 }
933
934 if (ND->getIdentifier())
935 Hash = llvm::djbHash(ND->getIdentifier()->getName(), Hash);
936 else if (DeclarationName Name = ND->getDeclName()) {
937 std::string NameStr = Name.getAsString();
938 Hash = llvm::djbHash(NameStr, Hash);
939 }
940 return;
941 }
942
943 if (const auto *ImportD = dyn_cast<ImportDecl>(D)) {
944 if (const Module *Mod = ImportD->getImportedModule()) {
945 std::string ModName = Mod->getFullModuleName();
946 Hash = llvm::djbHash(ModName, Hash);
947 }
948 return;
949 }
950}
951
952namespace {
953
954class TopLevelDeclTrackerConsumer : public ASTConsumer {
955 ASTUnit &Unit;
956 unsigned &Hash;
957
958public:
959 TopLevelDeclTrackerConsumer(ASTUnit &_Unit, unsigned &Hash)
960 : Unit(_Unit), Hash(Hash) {
961 Hash = 0;
962 }
963
964 void handleTopLevelDecl(Decl *D) {
965 if (!D)
966 return;
967
968 // FIXME: Currently ObjC method declarations are incorrectly being
969 // reported as top-level declarations, even though their DeclContext
970 // is the containing ObjC @interface/@implementation. This is a
971 // fundamental problem in the parser right now.
972 if (isa<ObjCMethodDecl>(D))
973 return;
974
976 Unit.addTopLevelDecl(D);
977
978 handleFileLevelDecl(D);
979 }
980
981 void handleFileLevelDecl(Decl *D) {
982 Unit.addFileLevelDecl(D);
983 if (auto *NSD = dyn_cast<NamespaceDecl>(D)) {
984 for (auto *I : NSD->decls())
985 handleFileLevelDecl(I);
986 }
987 }
988
989 bool HandleTopLevelDecl(DeclGroupRef D) override {
990 for (auto *TopLevelDecl : D)
991 handleTopLevelDecl(TopLevelDecl);
992 return true;
993 }
994
995 // We're not interested in "interesting" decls.
996 void HandleInterestingDecl(DeclGroupRef) override {}
997
998 void HandleTopLevelDeclInObjCContainer(DeclGroupRef D) override {
999 for (auto *TopLevelDecl : D)
1000 handleTopLevelDecl(TopLevelDecl);
1001 }
1002
1003 ASTMutationListener *GetASTMutationListener() override {
1004 return Unit.getASTMutationListener();
1005 }
1006
1007 ASTDeserializationListener *GetASTDeserializationListener() override {
1008 return Unit.getDeserializationListener();
1009 }
1010};
1011
1012class TopLevelDeclTrackerAction : public ASTFrontendAction {
1013public:
1014 ASTUnit &Unit;
1015
1016 std::unique_ptr<ASTConsumer> CreateASTConsumer(CompilerInstance &CI,
1017 StringRef InFile) override {
1019 std::make_unique<MacroDefinitionTrackerPPCallbacks>(
1021 return std::make_unique<TopLevelDeclTrackerConsumer>(
1022 Unit, Unit.getCurrentTopLevelHashValue());
1023 }
1024
1025public:
1026 TopLevelDeclTrackerAction(ASTUnit &_Unit) : Unit(_Unit) {}
1027
1028 bool hasCodeCompletionSupport() const override { return false; }
1029
1030 TranslationUnitKind getTranslationUnitKind() override {
1031 return Unit.getTranslationUnitKind();
1032 }
1033};
1034
1035class ASTUnitPreambleCallbacks : public PreambleCallbacks {
1036public:
1037 unsigned getHash() const { return Hash; }
1038
1039 std::vector<Decl *> takeTopLevelDecls() { return std::move(TopLevelDecls); }
1040
1041 std::vector<LocalDeclID> takeTopLevelDeclIDs() {
1042 return std::move(TopLevelDeclIDs);
1043 }
1044
1045 void AfterPCHEmitted(ASTWriter &Writer) override {
1046 TopLevelDeclIDs.reserve(TopLevelDecls.size());
1047 for (const auto *D : TopLevelDecls) {
1048 // Invalid top-level decls may not have been serialized.
1049 if (D->isInvalidDecl())
1050 continue;
1051 TopLevelDeclIDs.push_back(Writer.getDeclID(D));
1052 }
1053 }
1054
1055 void HandleTopLevelDecl(DeclGroupRef DG) override {
1056 for (auto *D : DG) {
1057 // FIXME: Currently ObjC method declarations are incorrectly being
1058 // reported as top-level declarations, even though their DeclContext
1059 // is the containing ObjC @interface/@implementation. This is a
1060 // fundamental problem in the parser right now.
1061 if (isa<ObjCMethodDecl>(D))
1062 continue;
1064 TopLevelDecls.push_back(D);
1065 }
1066 }
1067
1068 std::unique_ptr<PPCallbacks> createPPCallbacks() override {
1069 return std::make_unique<MacroDefinitionTrackerPPCallbacks>(Hash);
1070 }
1071
1072private:
1073 unsigned Hash = 0;
1074 std::vector<Decl *> TopLevelDecls;
1075 std::vector<LocalDeclID> TopLevelDeclIDs;
1076 llvm::SmallVector<StandaloneDiagnostic, 4> PreambleDiags;
1077};
1078
1079} // namespace
1080
1081static bool isNonDriverDiag(const StoredDiagnostic &StoredDiag) {
1082 return StoredDiag.getLocation().isValid();
1083}
1084
1085static void
1087 // Get rid of stored diagnostics except the ones from the driver which do not
1088 // have a source location.
1089 llvm::erase_if(StoredDiags, isNonDriverDiag);
1090}
1091
1093 StoredDiagnostics,
1094 SourceManager &SM) {
1095 // The stored diagnostic has the old source manager in it; update
1096 // the locations to refer into the new source manager. Since we've
1097 // been careful to make sure that the source manager's state
1098 // before and after are identical, so that we can reuse the source
1099 // location itself.
1100 for (auto &SD : StoredDiagnostics) {
1101 if (SD.getLocation().isValid()) {
1102 FullSourceLoc Loc(SD.getLocation(), SM);
1103 SD.setLocation(Loc);
1104 }
1105 }
1106}
1107
1108/// Parse the source file into a translation unit using the given compiler
1109/// invocation, replacing the current translation unit.
1110///
1111/// \returns True if a failure occurred that causes the ASTUnit not to
1112/// contain any translation-unit information, false otherwise.
1113bool ASTUnit::Parse(std::shared_ptr<PCHContainerOperations> PCHContainerOps,
1114 std::unique_ptr<llvm::MemoryBuffer> OverrideMainBuffer,
1116 if (!Invocation)
1117 return true;
1118
1119 if (VFS && FileMgr)
1120 assert(VFS == &FileMgr->getVirtualFileSystem() &&
1121 "VFS passed to Parse and VFS in FileMgr are different");
1122
1123 CCInvocation = std::make_shared<CompilerInvocation>(*Invocation);
1124 if (OverrideMainBuffer) {
1125 assert(Preamble &&
1126 "No preamble was built, but OverrideMainBuffer is not null");
1127 Preamble->AddImplicitPreamble(*CCInvocation, VFS, OverrideMainBuffer.get());
1128 // VFS may have changed...
1129 }
1130
1131 // Create the compiler instance to use for building the AST.
1132 auto Clang = std::make_unique<CompilerInstance>(CCInvocation,
1133 std::move(PCHContainerOps));
1134
1135 // Clean up on error, disengage it if the function returns successfully.
1136 llvm::scope_exit CleanOnError([&]() {
1137 // Remove the overridden buffer we used for the preamble.
1138 SavedMainFileBuffer = nullptr;
1139
1140 // Keep the ownership of the data in the ASTUnit because the client may
1141 // want to see the diagnostics.
1142 transferASTDataFromCompilerInstance(*Clang);
1143 FailedParseDiagnostics.swap(StoredDiagnostics);
1144 StoredDiagnostics.clear();
1145 NumStoredDiagnosticsFromDriver = 0;
1146 });
1147
1148 // Ensure that Clang has a FileManager with the right VFS, which may have
1149 // changed above in AddImplicitPreamble. If VFS is nullptr, rely on
1150 // createFileManager to create one.
1151 if (VFS && FileMgr && &FileMgr->getVirtualFileSystem() == VFS) {
1152 Clang->setVirtualFileSystem(std::move(VFS));
1153 Clang->setFileManager(FileMgr);
1154 } else {
1155 Clang->setVirtualFileSystem(std::move(VFS));
1156 Clang->createFileManager();
1157 FileMgr = Clang->getFileManagerPtr();
1158 }
1159
1160 // Recover resources if we crash before exiting this method.
1161 llvm::CrashRecoveryContextCleanupRegistrar<CompilerInstance>
1162 CICleanup(Clang.get());
1163
1164 OriginalSourceFile =
1165 std::string(Clang->getFrontendOpts().Inputs[0].getFile());
1166
1167 // Set up diagnostics, capturing any diagnostics that would
1168 // otherwise be dropped.
1169 Clang->setDiagnostics(getDiagnosticsPtr());
1170
1171 // Create the target instance.
1172 if (!Clang->createTarget())
1173 return true;
1174
1175 assert(Clang->getFrontendOpts().Inputs.size() == 1 &&
1176 "Invocation must have exactly one source file!");
1177 assert(Clang->getFrontendOpts().Inputs[0].getKind().getFormat() ==
1179 "FIXME: AST inputs not yet supported here!");
1180 assert(Clang->getFrontendOpts().Inputs[0].getKind().getLanguage() !=
1182 "IR inputs not support here!");
1183
1184 // Configure the various subsystems.
1185 LangOpts =
1186 std::make_unique<LangOptions>(Clang->getInvocation().getLangOpts());
1187 FileSystemOpts = Clang->getFileSystemOpts();
1188
1189 ResetForParse();
1190
1191 SourceMgr = llvm::makeIntrusiveRefCnt<SourceManager>(
1192 getDiagnostics(), *FileMgr, +UserFilesAreVolatile);
1193 if (!OverrideMainBuffer) {
1194 checkAndRemoveNonDriverDiags(StoredDiagnostics);
1195 TopLevelDeclsInPreamble.clear();
1196 }
1197
1198 // Create the source manager.
1199 Clang->setSourceManager(getSourceManagerPtr());
1200
1201 // If the main file has been overridden due to the use of a preamble,
1202 // make that override happen and introduce the preamble.
1203 if (OverrideMainBuffer) {
1204 // The stored diagnostic has the old source manager in it; update
1205 // the locations to refer into the new source manager. Since we've
1206 // been careful to make sure that the source manager's state
1207 // before and after are identical, so that we can reuse the source
1208 // location itself.
1209 checkAndSanitizeDiags(StoredDiagnostics, getSourceManager());
1210
1211 // Keep track of the override buffer;
1212 SavedMainFileBuffer = std::move(OverrideMainBuffer);
1213 }
1214
1215 std::unique_ptr<TopLevelDeclTrackerAction> Act(
1216 new TopLevelDeclTrackerAction(*this));
1217
1218 // Recover resources if we crash before exiting this method.
1219 llvm::CrashRecoveryContextCleanupRegistrar<TopLevelDeclTrackerAction>
1220 ActCleanup(Act.get());
1221
1222 if (!Act->BeginSourceFile(*Clang, Clang->getFrontendOpts().Inputs[0]))
1223 return true;
1224
1225 if (SavedMainFileBuffer) {
1226 StoredDiagnostics.clear();
1227 StoredDiagnostics.reserve(PreambleDiagnostics.size());
1228 llvm::transform(std::move(PreambleDiagnostics),
1229 std::back_inserter(StoredDiagnostics),
1230 [&](auto &&StandaloneDiag) {
1233 std::move(StandaloneDiag), PreambleSrcLocCache);
1234 });
1235 } else
1236 PreambleSrcLocCache.clear();
1237
1238 if (llvm::Error Err = Act->Execute()) {
1239 consumeError(std::move(Err)); // FIXME this drops errors on the floor.
1240 return true;
1241 }
1242
1243 transferASTDataFromCompilerInstance(*Clang);
1244
1245 Act->EndSourceFile();
1246
1247 FailedParseDiagnostics.clear();
1248
1249 CleanOnError.release();
1250
1251 return false;
1252}
1253
1254/// Attempt to build or re-use a precompiled preamble when (re-)parsing
1255/// the source file.
1256///
1257/// This routine will compute the preamble of the main source file. If a
1258/// non-trivial preamble is found, it will precompile that preamble into a
1259/// precompiled header so that the precompiled preamble can be used to reduce
1260/// reparsing time. If a precompiled preamble has already been constructed,
1261/// this routine will determine if it is still valid and, if so, avoid
1262/// rebuilding the precompiled preamble.
1263///
1264/// \param AllowRebuild When true (the default), this routine is
1265/// allowed to rebuild the precompiled preamble if it is found to be
1266/// out-of-date.
1267///
1268/// \param MaxLines When non-zero, the maximum number of lines that
1269/// can occur within the preamble.
1270///
1271/// \returns If the precompiled preamble can be used, returns a newly-allocated
1272/// buffer that should be used in place of the main file when doing so.
1273/// Otherwise, returns a NULL pointer.
1274std::unique_ptr<llvm::MemoryBuffer>
1275ASTUnit::getMainBufferWithPrecompiledPreamble(
1276 std::shared_ptr<PCHContainerOperations> PCHContainerOps,
1277 CompilerInvocation &PreambleInvocationIn,
1278 IntrusiveRefCntPtr<llvm::vfs::FileSystem> VFS, bool AllowRebuild,
1279 unsigned MaxLines) {
1280 auto MainFilePath =
1281 PreambleInvocationIn.getFrontendOpts().Inputs[0].getFile();
1282 std::unique_ptr<llvm::MemoryBuffer> MainFileBuffer =
1283 getBufferForFileHandlingRemapping(PreambleInvocationIn, VFS.get(),
1284 MainFilePath, UserFilesAreVolatile);
1285 if (!MainFileBuffer)
1286 return nullptr;
1287
1288 PreambleBounds Bounds = ComputePreambleBounds(
1289 PreambleInvocationIn.getLangOpts(), *MainFileBuffer, MaxLines);
1290 if (!Bounds.Size)
1291 return nullptr;
1292
1293 if (Preamble) {
1294 if (Preamble->CanReuse(PreambleInvocationIn, *MainFileBuffer, Bounds,
1295 *VFS)) {
1296 // Okay! We can re-use the precompiled preamble.
1297
1298 // Set the state of the diagnostic object to mimic its state
1299 // after parsing the preamble.
1302 PreambleInvocationIn.getDiagnosticOpts(), *VFS);
1303 getDiagnostics().setNumWarnings(NumWarningsInPreamble);
1304
1305 PreambleRebuildCountdown = 1;
1306 return MainFileBuffer;
1307 } else {
1308 Preamble.reset();
1309 PreambleDiagnostics.clear();
1310 TopLevelDeclsInPreamble.clear();
1311 PreambleSrcLocCache.clear();
1312 PreambleRebuildCountdown = 1;
1313 }
1314 }
1315
1316 // If the preamble rebuild counter > 1, it's because we previously
1317 // failed to build a preamble and we're not yet ready to try
1318 // again. Decrement the counter and return a failure.
1319 if (PreambleRebuildCountdown > 1) {
1320 --PreambleRebuildCountdown;
1321 return nullptr;
1322 }
1323
1324 assert(!Preamble && "No Preamble should be stored at that point");
1325 // If we aren't allowed to rebuild the precompiled preamble, just
1326 // return now.
1327 if (!AllowRebuild)
1328 return nullptr;
1329
1330 ++PreambleCounter;
1331
1332 SmallVector<StandaloneDiagnostic, 4> NewPreambleDiagsStandalone;
1333 SmallVector<StoredDiagnostic, 4> NewPreambleDiags;
1334 ASTUnitPreambleCallbacks Callbacks;
1335 {
1336 std::optional<CaptureDroppedDiagnostics> Capture;
1337 if (CaptureDiagnostics != CaptureDiagsKind::None)
1338 Capture.emplace(CaptureDiagnostics, *Diagnostics, &NewPreambleDiags,
1339 &NewPreambleDiagsStandalone);
1340
1341 // We did not previously compute a preamble, or it can't be reused anyway.
1342 SimpleTimer PreambleTimer(WantTiming);
1343 PreambleTimer.setOutput("Precompiling preamble");
1344
1345 const bool PreviousSkipFunctionBodies =
1346 PreambleInvocationIn.getFrontendOpts().SkipFunctionBodies;
1347 if (SkipFunctionBodies == SkipFunctionBodiesScope::Preamble)
1348 PreambleInvocationIn.getFrontendOpts().SkipFunctionBodies = true;
1349
1350 llvm::ErrorOr<PrecompiledPreamble> NewPreamble = PrecompiledPreamble::Build(
1351 PreambleInvocationIn, MainFileBuffer.get(), Bounds, Diagnostics, VFS,
1352 PCHContainerOps, StorePreamblesInMemory, PreambleStoragePath,
1353 Callbacks);
1354
1355 PreambleInvocationIn.getFrontendOpts().SkipFunctionBodies =
1356 PreviousSkipFunctionBodies;
1357
1358 if (NewPreamble) {
1359 Preamble = std::move(*NewPreamble);
1360 PreambleRebuildCountdown = 1;
1361 } else {
1362 switch (static_cast<BuildPreambleError>(NewPreamble.getError().value())) {
1364 // Try again next time.
1365 PreambleRebuildCountdown = 1;
1366 return nullptr;
1371 // These erros are more likely to repeat, retry after some period.
1372 PreambleRebuildCountdown = DefaultPreambleRebuildInterval;
1373 return nullptr;
1374 }
1375 llvm_unreachable("unexpected BuildPreambleError");
1376 }
1377 }
1378
1379 assert(Preamble && "Preamble wasn't built");
1380
1381 TopLevelDecls.clear();
1382 TopLevelDeclsInPreamble = Callbacks.takeTopLevelDeclIDs();
1383 PreambleTopLevelHashValue = Callbacks.getHash();
1384
1385 NumWarningsInPreamble = getDiagnostics().getNumWarnings();
1386
1387 checkAndRemoveNonDriverDiags(NewPreambleDiags);
1388 StoredDiagnostics = std::move(NewPreambleDiags);
1389 PreambleDiagnostics = std::move(NewPreambleDiagsStandalone);
1390
1391 // If the hash of top-level entities differs from the hash of the top-level
1392 // entities the last time we rebuilt the preamble, clear out the completion
1393 // cache.
1394 if (CurrentTopLevelHashValue != PreambleTopLevelHashValue) {
1395 CompletionCacheTopLevelHashValue = 0;
1396 PreambleTopLevelHashValue = CurrentTopLevelHashValue;
1397 }
1398
1399 return MainFileBuffer;
1400}
1401
1402void ASTUnit::RealizeTopLevelDeclsFromPreamble() {
1403 assert(Preamble && "Should only be called when preamble was built");
1404
1405 std::vector<Decl *> Resolved;
1406 Resolved.reserve(TopLevelDeclsInPreamble.size());
1407 // The module file of the preamble.
1408 serialization::ModuleFile &MF = Reader->getModuleManager().getPrimaryModule();
1409 for (const auto TopLevelDecl : TopLevelDeclsInPreamble) {
1410 // Resolve the declaration ID to an actual declaration, possibly
1411 // deserializing the declaration in the process.
1412 if (Decl *D = Reader->GetLocalDecl(MF, TopLevelDecl))
1413 Resolved.push_back(D);
1414 }
1415 TopLevelDeclsInPreamble.clear();
1416 TopLevelDecls.insert(TopLevelDecls.begin(), Resolved.begin(), Resolved.end());
1417}
1418
1419void ASTUnit::transferASTDataFromCompilerInstance(CompilerInstance &CI) {
1420 // Steal the created target, context, and preprocessor if they have been
1421 // created.
1422 LangOpts = std::make_unique<LangOptions>(CI.getInvocation().getLangOpts());
1423 TheSema = CI.takeSema();
1424 Consumer = CI.takeASTConsumer();
1425 if (CI.hasASTContext())
1426 Ctx = CI.getASTContextPtr();
1427 if (CI.hasPreprocessor())
1428 PP = CI.getPreprocessorPtr();
1429 CI.setSourceManager(nullptr);
1430 CI.setFileManager(nullptr);
1431 if (CI.hasTarget())
1432 Target = CI.getTargetPtr();
1433 Reader = CI.getASTReader();
1434 ModCache = CI.getModuleCachePtr();
1435 HadModuleLoaderFatalFailure = CI.hadModuleLoaderFatalFailure();
1436 if (Invocation != CI.getInvocationPtr()) {
1437 // This happens when Parse creates a copy of \c Invocation to modify.
1438 ModifiedInvocation = CI.getInvocationPtr();
1439 }
1440}
1441
1442StringRef ASTUnit::getMainFileName() const {
1443 if (Invocation && !Invocation->getFrontendOpts().Inputs.empty()) {
1444 const FrontendInputFile &Input = Invocation->getFrontendOpts().Inputs[0];
1445 if (Input.isFile())
1446 return Input.getFile();
1447 else
1448 return Input.getBuffer().getBufferIdentifier();
1449 }
1450
1451 if (SourceMgr) {
1452 if (OptionalFileEntryRef FE =
1453 SourceMgr->getFileEntryRefForID(SourceMgr->getMainFileID()))
1454 return FE->getName();
1455 }
1456
1457 return {};
1458}
1459
1460StringRef ASTUnit::getASTFileName() const {
1461 if (!isMainFileAST())
1462 return {};
1463
1465 Mod = Reader->getModuleManager().getPrimaryModule();
1466 return Mod.FileName;
1467}
1468
1469std::unique_ptr<ASTUnit>
1470ASTUnit::create(std::shared_ptr<CompilerInvocation> CI,
1471 std::shared_ptr<DiagnosticOptions> DiagOpts,
1473 CaptureDiagsKind CaptureDiagnostics,
1474 bool UserFilesAreVolatile) {
1475 std::unique_ptr<ASTUnit> AST(new ASTUnit(false));
1476 ConfigureDiags(Diags, *AST, CaptureDiagnostics);
1479 AST->DiagOpts = DiagOpts;
1480 AST->Diagnostics = Diags;
1481 AST->FileSystemOpts = CI->getFileSystemOpts();
1482 AST->Invocation = std::move(CI);
1483 AST->FileMgr =
1484 llvm::makeIntrusiveRefCnt<FileManager>(AST->FileSystemOpts, VFS);
1485 AST->UserFilesAreVolatile = UserFilesAreVolatile;
1486 AST->SourceMgr = llvm::makeIntrusiveRefCnt<SourceManager>(
1487 AST->getDiagnostics(), *AST->FileMgr, UserFilesAreVolatile);
1488 AST->ModCache = createCrossProcessModuleCache();
1489
1490 return AST;
1491}
1492
1494 std::shared_ptr<CompilerInvocation> CI,
1495 std::shared_ptr<PCHContainerOperations> PCHContainerOps,
1496 std::shared_ptr<DiagnosticOptions> DiagOpts,
1498 ASTUnit *Unit, bool Persistent, StringRef ResourceFilesPath,
1499 bool OnlyLocalDecls, CaptureDiagsKind CaptureDiagnostics,
1500 unsigned PrecompilePreambleAfterNParses, bool CacheCodeCompletionResults,
1501 bool UserFilesAreVolatile, std::unique_ptr<ASTUnit> *ErrAST) {
1502 assert(CI && "A CompilerInvocation is required");
1503
1504 std::unique_ptr<ASTUnit> OwnAST;
1505 ASTUnit *AST = Unit;
1506 if (!AST) {
1507 // Create the AST unit.
1508 OwnAST =
1509 create(CI, DiagOpts, Diags, CaptureDiagnostics, UserFilesAreVolatile);
1510 AST = OwnAST.get();
1511 if (!AST)
1512 return nullptr;
1513 }
1514
1515 if (!ResourceFilesPath.empty()) {
1516 // Override the resources path.
1517 CI->getHeaderSearchOpts().ResourceDir = std::string(ResourceFilesPath);
1518 }
1519 AST->OnlyLocalDecls = OnlyLocalDecls;
1520 AST->CaptureDiagnostics = CaptureDiagnostics;
1521 if (PrecompilePreambleAfterNParses > 0)
1522 AST->PreambleRebuildCountdown = PrecompilePreambleAfterNParses;
1523 AST->TUKind = Action ? Action->getTranslationUnitKind() : TU_Complete;
1524 AST->ShouldCacheCodeCompletionResults = CacheCodeCompletionResults;
1525 AST->IncludeBriefCommentsInCodeCompletion = false;
1526
1527 // Recover resources if we crash before exiting this method.
1528 llvm::CrashRecoveryContextCleanupRegistrar<ASTUnit>
1529 ASTUnitCleanup(OwnAST.get());
1530 llvm::CrashRecoveryContextCleanupRegistrar<DiagnosticsEngine,
1531 llvm::CrashRecoveryContextReleaseRefCleanup<DiagnosticsEngine>>
1532 DiagCleanup(Diags.get());
1533
1534 // We'll manage file buffers ourselves.
1535 CI->getPreprocessorOpts().RetainRemappedFileBuffers = true;
1536 CI->getFrontendOpts().DisableFree = false;
1537 ProcessWarningOptions(AST->getDiagnostics(), CI->getDiagnosticOpts(),
1539
1540 // Create the compiler instance to use for building the AST.
1541 auto Clang = std::make_unique<CompilerInstance>(std::move(CI),
1542 std::move(PCHContainerOps));
1543
1544 // Recover resources if we crash before exiting this method.
1545 llvm::CrashRecoveryContextCleanupRegistrar<CompilerInstance>
1546 CICleanup(Clang.get());
1547
1548 AST->OriginalSourceFile =
1549 std::string(Clang->getFrontendOpts().Inputs[0].getFile());
1550
1551 // Set up diagnostics, capturing any diagnostics that would
1552 // otherwise be dropped.
1553 Clang->setDiagnostics(AST->getDiagnosticsPtr());
1554
1555 // Create the target instance.
1556 if (!Clang->createTarget())
1557 return nullptr;
1558
1559 assert(Clang->getFrontendOpts().Inputs.size() == 1 &&
1560 "Invocation must have exactly one source file!");
1561 assert(Clang->getFrontendOpts().Inputs[0].getKind().getFormat() ==
1563 "FIXME: AST inputs not yet supported here!");
1564 assert(Clang->getFrontendOpts().Inputs[0].getKind().getLanguage() !=
1566 "IR inputs not support here!");
1567
1568 // Configure the various subsystems.
1569 AST->TheSema.reset();
1570 AST->Ctx = nullptr;
1571 AST->PP = nullptr;
1572 AST->Reader = nullptr;
1573
1574 // Create a file manager object to provide access to and cache the filesystem.
1575 Clang->setVirtualFileSystem(AST->getVirtualFileSystemPtr());
1576 Clang->setFileManager(AST->getFileManagerPtr());
1577
1578 // Create the source manager.
1579 Clang->setSourceManager(AST->getSourceManagerPtr());
1580
1581 FrontendAction *Act = Action;
1582
1583 std::unique_ptr<TopLevelDeclTrackerAction> TrackerAct;
1584 if (!Act) {
1585 TrackerAct.reset(new TopLevelDeclTrackerAction(*AST));
1586 Act = TrackerAct.get();
1587 }
1588
1589 // Recover resources if we crash before exiting this method.
1590 llvm::CrashRecoveryContextCleanupRegistrar<TopLevelDeclTrackerAction>
1591 ActCleanup(TrackerAct.get());
1592
1593 if (!Act->BeginSourceFile(*Clang, Clang->getFrontendOpts().Inputs[0])) {
1594 AST->transferASTDataFromCompilerInstance(*Clang);
1595 if (OwnAST && ErrAST)
1596 ErrAST->swap(OwnAST);
1597
1598 return nullptr;
1599 }
1600
1601 if (Persistent && !TrackerAct) {
1602 Clang->getPreprocessor().addPPCallbacks(
1603 std::make_unique<MacroDefinitionTrackerPPCallbacks>(
1605 std::vector<std::unique_ptr<ASTConsumer>> Consumers;
1606 if (Clang->hasASTConsumer())
1607 Consumers.push_back(Clang->takeASTConsumer());
1608 Consumers.push_back(std::make_unique<TopLevelDeclTrackerConsumer>(
1609 *AST, AST->getCurrentTopLevelHashValue()));
1610 Clang->setASTConsumer(
1611 std::make_unique<MultiplexConsumer>(std::move(Consumers)));
1612 }
1613 if (llvm::Error Err = Act->Execute()) {
1614 consumeError(std::move(Err)); // FIXME this drops errors on the floor.
1615 AST->transferASTDataFromCompilerInstance(*Clang);
1616 if (OwnAST && ErrAST)
1617 ErrAST->swap(OwnAST);
1618
1619 return nullptr;
1620 }
1621
1622 // Steal the created target, context, and preprocessor.
1623 AST->transferASTDataFromCompilerInstance(*Clang);
1624
1625 Act->EndSourceFile();
1626
1627 if (OwnAST)
1628 return OwnAST.release();
1629 else
1630 return AST;
1631}
1632
1633bool ASTUnit::LoadFromCompilerInvocation(
1634 std::shared_ptr<PCHContainerOperations> PCHContainerOps,
1635 unsigned PrecompilePreambleAfterNParses,
1637 if (!Invocation)
1638 return true;
1639
1640 assert(VFS && "VFS is null");
1641
1642 // We'll manage file buffers ourselves.
1643 Invocation->getPreprocessorOpts().RetainRemappedFileBuffers = true;
1644 Invocation->getFrontendOpts().DisableFree = false;
1646 ProcessWarningOptions(getDiagnostics(), Invocation->getDiagnosticOpts(),
1647 *VFS);
1648
1649 std::unique_ptr<llvm::MemoryBuffer> OverrideMainBuffer;
1650 if (PrecompilePreambleAfterNParses > 0) {
1651 PreambleRebuildCountdown = PrecompilePreambleAfterNParses;
1652 OverrideMainBuffer =
1653 getMainBufferWithPrecompiledPreamble(PCHContainerOps, *Invocation, VFS);
1655 ProcessWarningOptions(getDiagnostics(), Invocation->getDiagnosticOpts(),
1656 *VFS);
1657 }
1658
1659 SimpleTimer ParsingTimer(WantTiming);
1660 ParsingTimer.setOutput("Parsing " + getMainFileName());
1661
1662 // Recover resources if we crash before exiting this method.
1663 llvm::CrashRecoveryContextCleanupRegistrar<llvm::MemoryBuffer>
1664 MemBufferCleanup(OverrideMainBuffer.get());
1665
1666 return Parse(std::move(PCHContainerOps), std::move(OverrideMainBuffer), VFS);
1667}
1668
1669std::unique_ptr<ASTUnit> ASTUnit::LoadFromCompilerInvocation(
1670 std::shared_ptr<CompilerInvocation> CI,
1671 std::shared_ptr<PCHContainerOperations> PCHContainerOps,
1672 std::shared_ptr<DiagnosticOptions> DiagOpts,
1674 IntrusiveRefCntPtr<FileManager> FileMgr, bool OnlyLocalDecls,
1675 CaptureDiagsKind CaptureDiagnostics,
1676 unsigned PrecompilePreambleAfterNParses, TranslationUnitKind TUKind,
1677 bool CacheCodeCompletionResults, bool IncludeBriefCommentsInCodeCompletion,
1678 bool UserFilesAreVolatile) {
1679 // Create the AST unit.
1680 std::unique_ptr<ASTUnit> AST(new ASTUnit(false));
1681 ConfigureDiags(Diags, *AST, CaptureDiagnostics);
1682 AST->DiagOpts = DiagOpts;
1683 AST->Diagnostics = Diags;
1684 AST->OnlyLocalDecls = OnlyLocalDecls;
1685 AST->CaptureDiagnostics = CaptureDiagnostics;
1686 AST->TUKind = TUKind;
1687 AST->ShouldCacheCodeCompletionResults = CacheCodeCompletionResults;
1688 AST->IncludeBriefCommentsInCodeCompletion
1689 = IncludeBriefCommentsInCodeCompletion;
1690 AST->Invocation = std::move(CI);
1691 AST->FileSystemOpts = FileMgr->getFileSystemOpts();
1692 AST->FileMgr = FileMgr;
1693 AST->UserFilesAreVolatile = UserFilesAreVolatile;
1694
1695 // Recover resources if we crash before exiting this method.
1696 llvm::CrashRecoveryContextCleanupRegistrar<ASTUnit>
1697 ASTUnitCleanup(AST.get());
1698 llvm::CrashRecoveryContextCleanupRegistrar<DiagnosticsEngine,
1699 llvm::CrashRecoveryContextReleaseRefCleanup<DiagnosticsEngine>>
1700 DiagCleanup(Diags.get());
1701
1702 if (AST->LoadFromCompilerInvocation(std::move(PCHContainerOps),
1703 PrecompilePreambleAfterNParses,
1704 AST->FileMgr->getVirtualFileSystemPtr()))
1705 return nullptr;
1706 return AST;
1707}
1708
1709bool ASTUnit::Reparse(std::shared_ptr<PCHContainerOperations> PCHContainerOps,
1710 ArrayRef<RemappedFile> RemappedFiles,
1712 if (!Invocation)
1713 return true;
1714
1715 if (!VFS) {
1716 assert(FileMgr && "FileMgr is null on Reparse call");
1717 VFS = FileMgr->getVirtualFileSystemPtr();
1718 }
1719
1720 clearFileLevelDecls();
1721
1722 SimpleTimer ParsingTimer(WantTiming);
1723 ParsingTimer.setOutput("Reparsing " + getMainFileName());
1724
1725 // Remap files.
1726 PreprocessorOptions &PPOpts = Invocation->getPreprocessorOpts();
1727 for (const auto &RB : PPOpts.RemappedFileBuffers)
1728 delete RB.second;
1729
1730 Invocation->getPreprocessorOpts().clearRemappedFiles();
1731 for (const auto &RemappedFile : RemappedFiles) {
1732 Invocation->getPreprocessorOpts().addRemappedFile(RemappedFile.first,
1733 RemappedFile.second);
1734 }
1735
1736 // If we have a preamble file lying around, or if we might try to
1737 // build a precompiled preamble, do so now.
1738 std::unique_ptr<llvm::MemoryBuffer> OverrideMainBuffer;
1739 if (Preamble || PreambleRebuildCountdown > 0)
1740 OverrideMainBuffer =
1741 getMainBufferWithPrecompiledPreamble(PCHContainerOps, *Invocation, VFS);
1742
1743 // Clear out the diagnostics state.
1744 FileMgr.reset();
1746 ProcessWarningOptions(getDiagnostics(), Invocation->getDiagnosticOpts(),
1747 *VFS);
1748 if (OverrideMainBuffer)
1749 getDiagnostics().setNumWarnings(NumWarningsInPreamble);
1750
1751 // Parse the sources
1752 bool Result =
1753 Parse(std::move(PCHContainerOps), std::move(OverrideMainBuffer), VFS);
1754
1755 // If we're caching global code-completion results, and the top-level
1756 // declarations have changed, clear out the code-completion cache.
1757 if (!Result && ShouldCacheCodeCompletionResults &&
1758 CurrentTopLevelHashValue != CompletionCacheTopLevelHashValue)
1759 CacheCodeCompletionResults();
1760
1761 // We now need to clear out the completion info related to this translation
1762 // unit; it'll be recreated if necessary.
1763 CCTUInfo.reset();
1764
1765 return Result;
1766}
1767
1769 SavedMainFileBuffer.reset();
1770
1771 SourceMgr.reset();
1772 TheSema.reset();
1773 Ctx.reset();
1774 PP.reset();
1775 Reader.reset();
1776
1777 TopLevelDecls.clear();
1778 clearFileLevelDecls();
1779}
1780
1781//----------------------------------------------------------------------------//
1782// Code completion
1783//----------------------------------------------------------------------------//
1784
1785namespace {
1786
1787 /// Code completion consumer that combines the cached code-completion
1788 /// results from an ASTUnit with the code-completion results provided to it,
1789 /// then passes the result on to
1790 class AugmentedCodeCompleteConsumer : public CodeCompleteConsumer {
1791 uint64_t NormalContexts;
1792 ASTUnit &AST;
1794
1795 public:
1796 AugmentedCodeCompleteConsumer(ASTUnit &AST, CodeCompleteConsumer &Next,
1797 const CodeCompleteOptions &CodeCompleteOpts)
1798 : CodeCompleteConsumer(CodeCompleteOpts), AST(AST), Next(Next) {
1799 // Compute the set of contexts in which we will look when we don't have
1800 // any information about the specific context.
1801 NormalContexts
1815
1816 if (AST.getASTContext().getLangOpts().CPlusPlus)
1817 NormalContexts |= (1LL << CodeCompletionContext::CCC_EnumTag)
1820 }
1821
1822 void ProcessCodeCompleteResults(Sema &S, CodeCompletionContext Context,
1823 CodeCompletionResult *Results,
1824 unsigned NumResults) override;
1825
1826 void ProcessOverloadCandidates(Sema &S, unsigned CurrentArg,
1827 OverloadCandidate *Candidates,
1828 unsigned NumCandidates,
1829 SourceLocation OpenParLoc,
1830 bool Braced) override {
1831 Next.ProcessOverloadCandidates(S, CurrentArg, Candidates, NumCandidates,
1832 OpenParLoc, Braced);
1833 }
1834
1835 CodeCompletionAllocator &getAllocator() override {
1836 return Next.getAllocator();
1837 }
1838
1839 CodeCompletionTUInfo &getCodeCompletionTUInfo() override {
1840 return Next.getCodeCompletionTUInfo();
1841 }
1842 };
1843
1844} // namespace
1845
1846/// Helper function that computes which global names are hidden by the
1847/// local code-completion results.
1849 CodeCompletionResult *Results,
1850 unsigned NumResults,
1851 ASTContext &Ctx,
1852 llvm::StringSet<llvm::BumpPtrAllocator> &HiddenNames){
1853 bool OnlyTagNames = false;
1854 switch (Context.getKind()) {
1874 break;
1875
1879 OnlyTagNames = true;
1880 break;
1881
1899 // We're looking for nothing, or we're looking for names that cannot
1900 // be hidden.
1901 return;
1902 }
1903
1904 using Result = CodeCompletionResult;
1905 for (unsigned I = 0; I != NumResults; ++I) {
1906 if (Results[I].Kind != Result::RK_Declaration)
1907 continue;
1908
1909 unsigned IDNS
1911
1912 bool Hiding = false;
1913 if (OnlyTagNames)
1914 Hiding = (IDNS & Decl::IDNS_Tag);
1915 else {
1916 unsigned HiddenIDNS = (Decl::IDNS_Type | Decl::IDNS_Member |
1919 if (Ctx.getLangOpts().CPlusPlus)
1920 HiddenIDNS |= Decl::IDNS_Tag;
1921 Hiding = (IDNS & HiddenIDNS);
1922 }
1923
1924 if (!Hiding)
1925 continue;
1926
1927 DeclarationName Name = Results[I].Declaration->getDeclName();
1928 if (IdentifierInfo *Identifier = Name.getAsIdentifierInfo())
1929 HiddenNames.insert(Identifier->getName());
1930 else
1931 HiddenNames.insert(Name.getAsString());
1932 }
1933}
1934
1935void AugmentedCodeCompleteConsumer::ProcessCodeCompleteResults(Sema &S,
1936 CodeCompletionContext Context,
1937 CodeCompletionResult *Results,
1938 unsigned NumResults) {
1939 // Merge the results we were given with the results we cached.
1940 bool AddedResult = false;
1941 uint64_t InContexts =
1942 Context.getKind() == CodeCompletionContext::CCC_Recovery
1943 ? NormalContexts : (1LL << Context.getKind());
1944 // Contains the set of names that are hidden by "local" completion results.
1945 llvm::StringSet<llvm::BumpPtrAllocator> HiddenNames;
1947 SmallVector<Result, 8> AllResults;
1949 C = AST.cached_completion_begin(),
1950 CEnd = AST.cached_completion_end();
1951 C != CEnd; ++C) {
1952 // If the context we are in matches any of the contexts we are
1953 // interested in, we'll add this result.
1954 if ((C->ShowInContexts & InContexts) == 0)
1955 continue;
1956
1957 // If we haven't added any results previously, do so now.
1958 if (!AddedResult) {
1959 CalculateHiddenNames(Context, Results, NumResults, S.Context,
1960 HiddenNames);
1961 AllResults.insert(AllResults.end(), Results, Results + NumResults);
1962 AddedResult = true;
1963 }
1964
1965 // Determine whether this global completion result is hidden by a local
1966 // completion result. If so, skip it.
1967 if (C->Kind != CXCursor_MacroDefinition &&
1968 HiddenNames.count(C->Completion->getTypedText()))
1969 continue;
1970
1971 // Adjust priority based on similar type classes.
1972 unsigned Priority = C->Priority;
1973 CodeCompletionString *Completion = C->Completion;
1974 if (!Context.getPreferredType().isNull()) {
1975 if (C->Kind == CXCursor_MacroDefinition) {
1976 Priority = getMacroUsagePriority(C->Completion->getTypedText(),
1977 S.getLangOpts(),
1978 Context.getPreferredType()->isAnyPointerType());
1979 } else if (C->Type) {
1982 Context.getPreferredType().getUnqualifiedType());
1984 if (ExpectedSTC == C->TypeClass) {
1985 // We know this type is similar; check for an exact match.
1986 llvm::StringMap<unsigned> &CachedCompletionTypes
1988 llvm::StringMap<unsigned>::iterator Pos
1989 = CachedCompletionTypes.find(QualType(Expected).getAsString());
1990 if (Pos != CachedCompletionTypes.end() && Pos->second == C->Type)
1991 Priority /= CCF_ExactTypeMatch;
1992 else
1993 Priority /= CCF_SimilarTypeMatch;
1994 }
1995 }
1996 }
1997
1998 // Adjust the completion string, if required.
1999 if (C->Kind == CXCursor_MacroDefinition &&
2000 Context.getKind() == CodeCompletionContext::CCC_MacroNameUse) {
2001 // Create a new code-completion string that just contains the
2002 // macro name, without its arguments.
2003 CodeCompletionBuilder Builder(getAllocator(), getCodeCompletionTUInfo(),
2004 CCP_CodePattern, C->Availability);
2005 Builder.AddTypedTextChunk(C->Completion->getTypedText());
2006 Priority = CCP_CodePattern;
2007 Completion = Builder.TakeString();
2008 }
2009
2010 AllResults.push_back(Result(Completion, Priority, C->Kind,
2011 C->Availability));
2012 }
2013
2014 // If we did not add any cached completion results, just forward the
2015 // results we were given to the next consumer.
2016 if (!AddedResult) {
2017 Next.ProcessCodeCompleteResults(S, Context, Results, NumResults);
2018 return;
2019 }
2020
2021 Next.ProcessCodeCompleteResults(S, Context, AllResults.data(),
2022 AllResults.size());
2023}
2024
2026 StringRef File, unsigned Line, unsigned Column,
2027 ArrayRef<RemappedFile> RemappedFiles, bool IncludeMacros,
2028 bool IncludeCodePatterns, bool IncludeBriefComments,
2029 CodeCompleteConsumer &Consumer,
2030 std::shared_ptr<PCHContainerOperations> PCHContainerOps,
2034 SmallVectorImpl<StoredDiagnostic> &StoredDiagnostics,
2036 std::unique_ptr<SyntaxOnlyAction> Act) {
2037 if (!Invocation)
2038 return;
2039
2040 SimpleTimer CompletionTimer(WantTiming);
2041 CompletionTimer.setOutput("Code completion @ " + File + ":" +
2042 Twine(Line) + ":" + Twine(Column));
2043
2044 auto CCInvocation = std::make_shared<CompilerInvocation>(*Invocation);
2045
2046 FrontendOptions &FrontendOpts = CCInvocation->getFrontendOpts();
2047 CodeCompleteOptions &CodeCompleteOpts = FrontendOpts.CodeCompleteOpts;
2048 PreprocessorOptions &PreprocessorOpts = CCInvocation->getPreprocessorOpts();
2049
2050 CodeCompleteOpts.IncludeMacros = IncludeMacros &&
2051 CachedCompletionResults.empty();
2052 CodeCompleteOpts.IncludeCodePatterns = IncludeCodePatterns;
2053 CodeCompleteOpts.IncludeGlobals = CachedCompletionResults.empty();
2054 CodeCompleteOpts.IncludeBriefComments = IncludeBriefComments;
2055 CodeCompleteOpts.LoadExternal = Consumer.loadExternal();
2056 CodeCompleteOpts.IncludeFixIts = Consumer.includeFixIts();
2057
2058 assert(IncludeBriefComments == this->IncludeBriefCommentsInCodeCompletion);
2059
2060 FrontendOpts.CodeCompletionAt.FileName = std::string(File);
2061 FrontendOpts.CodeCompletionAt.Line = Line;
2062 FrontendOpts.CodeCompletionAt.Column = Column;
2063
2064 // Set the language options appropriately.
2065 LangOpts = CCInvocation->getLangOpts();
2066
2067 // Spell-checking and warnings are wasteful during code-completion.
2068 LangOpts.SpellChecking = false;
2069 CCInvocation->getDiagnosticOpts().IgnoreWarnings = true;
2070
2071 auto Clang = std::make_unique<CompilerInstance>(std::move(CCInvocation),
2072 PCHContainerOps);
2073
2074 // Recover resources if we crash before exiting this method.
2075 llvm::CrashRecoveryContextCleanupRegistrar<CompilerInstance>
2076 CICleanup(Clang.get());
2077
2078 auto &Inv = Clang->getInvocation();
2079 OriginalSourceFile =
2080 std::string(Clang->getFrontendOpts().Inputs[0].getFile());
2081
2082 // Set up diagnostics, capturing any diagnostics produced.
2083 Clang->setDiagnostics(Diag);
2085 Clang->getDiagnostics(),
2086 &StoredDiagnostics, nullptr);
2087 ProcessWarningOptions(*Diag, Inv.getDiagnosticOpts(),
2088 FileMgr->getVirtualFileSystem());
2089
2090 // Create the target instance.
2091 if (!Clang->createTarget()) {
2092 return;
2093 }
2094
2095 assert(Clang->getFrontendOpts().Inputs.size() == 1 &&
2096 "Invocation must have exactly one source file!");
2097 assert(Clang->getFrontendOpts().Inputs[0].getKind().getFormat() ==
2099 "FIXME: AST inputs not yet supported here!");
2100 assert(Clang->getFrontendOpts().Inputs[0].getKind().getLanguage() !=
2102 "IR inputs not support here!");
2103
2104 // Use the source and file managers that we were given.
2105 Clang->setVirtualFileSystem(FileMgr->getVirtualFileSystemPtr());
2106 Clang->setFileManager(FileMgr);
2107 Clang->setSourceManager(SourceMgr);
2108
2109 // Remap files.
2110 PreprocessorOpts.clearRemappedFiles();
2111 PreprocessorOpts.RetainRemappedFileBuffers = true;
2112 for (const auto &RemappedFile : RemappedFiles) {
2113 PreprocessorOpts.addRemappedFile(RemappedFile.first, RemappedFile.second);
2114 OwnedBuffers.push_back(RemappedFile.second);
2115 }
2116
2117 // Use the code completion consumer we were given, but adding any cached
2118 // code-completion results.
2119 AugmentedCodeCompleteConsumer *AugmentedConsumer
2120 = new AugmentedCodeCompleteConsumer(*this, Consumer, CodeCompleteOpts);
2121 Clang->setCodeCompletionConsumer(AugmentedConsumer);
2122
2123 auto getUniqueID =
2124 [&FileMgr](StringRef Filename) -> std::optional<llvm::sys::fs::UniqueID> {
2125 if (auto Status = FileMgr->getVirtualFileSystem().status(Filename))
2126 return Status->getUniqueID();
2127 return std::nullopt;
2128 };
2129
2130 auto hasSameUniqueID = [getUniqueID](StringRef LHS, StringRef RHS) {
2131 if (LHS == RHS)
2132 return true;
2133 if (auto LHSID = getUniqueID(LHS))
2134 if (auto RHSID = getUniqueID(RHS))
2135 return *LHSID == *RHSID;
2136 return false;
2137 };
2138
2139 // If we have a precompiled preamble, try to use it. We only allow
2140 // the use of the precompiled preamble if we're if the completion
2141 // point is within the main file, after the end of the precompiled
2142 // preamble.
2143 std::unique_ptr<llvm::MemoryBuffer> OverrideMainBuffer;
2144 if (Preamble && Line > 1 && hasSameUniqueID(File, OriginalSourceFile)) {
2145 OverrideMainBuffer = getMainBufferWithPrecompiledPreamble(
2146 PCHContainerOps, Inv, FileMgr->getVirtualFileSystemPtr(), false,
2147 Line - 1);
2148 }
2149
2150 // If the main file has been overridden due to the use of a preamble,
2151 // make that override happen and introduce the preamble.
2152 if (OverrideMainBuffer) {
2153 assert(Preamble &&
2154 "No preamble was built, but OverrideMainBuffer is not null");
2155
2157 FileMgr->getVirtualFileSystemPtr();
2158 Preamble->AddImplicitPreamble(Clang->getInvocation(), VFS,
2159 OverrideMainBuffer.get());
2160 // FIXME: there is no way to update VFS if it was changed by
2161 // AddImplicitPreamble as FileMgr is accepted as a parameter by this method.
2162 // We use on-disk preambles instead and rely on FileMgr's VFS to ensure the
2163 // PCH files are always readable.
2164 OwnedBuffers.push_back(OverrideMainBuffer.release());
2165 } else {
2166 PreprocessorOpts.PrecompiledPreambleBytes.first = 0;
2167 PreprocessorOpts.PrecompiledPreambleBytes.second = false;
2168 }
2169
2170 // Disable the preprocessing record if modules are not enabled.
2171 if (!Clang->getLangOpts().Modules)
2172 PreprocessorOpts.DetailedRecord = false;
2173
2174 if (!Act)
2175 Act.reset(new SyntaxOnlyAction);
2176
2177 if (Act->BeginSourceFile(*Clang, Clang->getFrontendOpts().Inputs[0])) {
2178 if (llvm::Error Err = Act->Execute()) {
2179 consumeError(std::move(Err)); // FIXME this drops errors on the floor.
2180 }
2181 Act->EndSourceFile();
2182 }
2183}
2184
2185bool ASTUnit::Save(StringRef File) {
2186 if (HadModuleLoaderFatalFailure)
2187 return true;
2188
2189 // FIXME: Can we somehow regenerate the stat cache here, or do we need to
2190 // unconditionally create a stat cache when we parse the file?
2191
2192 if (llvm::Error Err = llvm::writeToOutput(
2193 File, [this](llvm::raw_ostream &Out) {
2194 return serialize(Out) ? llvm::make_error<llvm::StringError>(
2195 "ASTUnit serialization failed",
2196 llvm::inconvertibleErrorCode())
2197 : llvm::Error::success();
2198 })) {
2199 consumeError(std::move(Err));
2200 return true;
2201 }
2202 return false;
2203}
2204
2205static bool serializeUnit(ASTWriter &Writer, SmallVectorImpl<char> &Buffer,
2206 Sema &S, raw_ostream &OS) {
2207 Writer.WriteAST(&S, std::string(), nullptr, "");
2208
2209 // Write the generated bitstream to "Out".
2210 if (!Buffer.empty())
2211 OS.write(Buffer.data(), Buffer.size());
2212
2213 return false;
2214}
2215
2216bool ASTUnit::serialize(raw_ostream &OS) {
2217 if (WriterData)
2218 return serializeUnit(WriterData->Writer, WriterData->Buffer, getSema(), OS);
2219
2220 SmallString<128> Buffer;
2221 llvm::BitstreamWriter Stream(Buffer);
2222 std::shared_ptr<ModuleCache> ModCache = createCrossProcessModuleCache();
2223 ASTWriter Writer(Stream, Buffer, *ModCache, *CodeGenOpts, {});
2224 return serializeUnit(Writer, Buffer, getSema(), OS);
2225}
2226
2228 assert(D);
2229
2230 // We only care about local declarations.
2231 if (D->isFromASTFile())
2232 return;
2233
2234 SourceManager &SM = *SourceMgr;
2235 SourceLocation Loc = D->getLocation();
2236 if (Loc.isInvalid() || !SM.isLocalSourceLocation(Loc))
2237 return;
2238
2239 // We only keep track of the file-level declarations of each file.
2241 return;
2242
2243 SourceLocation FileLoc = SM.getFileLoc(Loc);
2244 assert(SM.isLocalSourceLocation(FileLoc));
2245 auto [FID, Offset] = SM.getDecomposedLoc(FileLoc);
2246 if (FID.isInvalid())
2247 return;
2248
2249 std::unique_ptr<LocDeclsTy> &Decls = FileDecls[FID];
2250 if (!Decls)
2251 Decls = std::make_unique<LocDeclsTy>();
2252
2253 std::pair<unsigned, Decl *> LocDecl(Offset, D);
2254
2255 if (Decls->empty() || Decls->back().first <= Offset) {
2256 Decls->push_back(LocDecl);
2257 return;
2258 }
2259
2260 LocDeclsTy::iterator I =
2261 llvm::upper_bound(*Decls, LocDecl, llvm::less_first());
2262
2263 Decls->insert(I, LocDecl);
2264}
2265
2266void ASTUnit::findFileRegionDecls(FileID File, unsigned Offset, unsigned Length,
2267 SmallVectorImpl<Decl *> &Decls) {
2268 if (File.isInvalid())
2269 return;
2270
2271 if (SourceMgr->isLoadedFileID(File)) {
2272 assert(Ctx->getExternalSource() && "No external source!");
2273 return Ctx->getExternalSource()->FindFileRegionDecls(File, Offset, Length,
2274 Decls);
2275 }
2276
2277 FileDeclsTy::iterator I = FileDecls.find(File);
2278 if (I == FileDecls.end())
2279 return;
2280
2281 LocDeclsTy &LocDecls = *I->second;
2282 if (LocDecls.empty())
2283 return;
2284
2285 LocDeclsTy::iterator BeginIt =
2286 llvm::partition_point(LocDecls, [=](std::pair<unsigned, Decl *> LD) {
2287 return LD.first < Offset;
2288 });
2289 if (BeginIt != LocDecls.begin())
2290 --BeginIt;
2291
2292 // If we are pointing at a top-level decl inside an objc container, we need
2293 // to backtrack until we find it otherwise we will fail to report that the
2294 // region overlaps with an objc container.
2295 while (BeginIt != LocDecls.begin() &&
2296 BeginIt->second->isTopLevelDeclInObjCContainer())
2297 --BeginIt;
2298
2299 LocDeclsTy::iterator EndIt = llvm::upper_bound(
2300 LocDecls, std::make_pair(Offset + Length, (Decl *)nullptr),
2301 llvm::less_first());
2302 if (EndIt != LocDecls.end())
2303 ++EndIt;
2304
2305 for (LocDeclsTy::iterator DIt = BeginIt; DIt != EndIt; ++DIt)
2306 Decls.push_back(DIt->second);
2307}
2308
2310 unsigned Line, unsigned Col) const {
2312 SourceLocation Loc = SM.translateFileLineCol(File, Line, Col);
2313 return SM.getMacroArgExpandedLocation(Loc);
2314}
2315
2317 unsigned Offset) const {
2319 SourceLocation FileLoc = SM.translateFileLineCol(File, 1, 1);
2320 return SM.getMacroArgExpandedLocation(FileLoc.getLocWithOffset(Offset));
2321}
2322
2323/// If \arg Loc is a loaded location from the preamble, returns
2324/// the corresponding local location of the main file, otherwise it returns
2325/// \arg Loc.
2327 FileID PreambleID;
2328 if (SourceMgr)
2329 PreambleID = SourceMgr->getPreambleFileID();
2330
2331 if (Loc.isInvalid() || !Preamble || PreambleID.isInvalid())
2332 return Loc;
2333
2334 unsigned Offs;
2335 if (SourceMgr->isInFileID(Loc, PreambleID, &Offs) && Offs < Preamble->getBounds().Size) {
2336 SourceLocation FileLoc
2337 = SourceMgr->getLocForStartOfFile(SourceMgr->getMainFileID());
2338 return FileLoc.getLocWithOffset(Offs);
2339 }
2340
2341 return Loc;
2342}
2343
2344/// If \arg Loc is a local location of the main file but inside the
2345/// preamble chunk, returns the corresponding loaded location from the
2346/// preamble, otherwise it returns \arg Loc.
2348 FileID PreambleID;
2349 if (SourceMgr)
2350 PreambleID = SourceMgr->getPreambleFileID();
2351
2352 if (Loc.isInvalid() || !Preamble || PreambleID.isInvalid())
2353 return Loc;
2354
2355 unsigned Offs;
2356 if (SourceMgr->isInFileID(Loc, SourceMgr->getMainFileID(), &Offs) &&
2357 Offs < Preamble->getBounds().Size) {
2358 SourceLocation FileLoc = SourceMgr->getLocForStartOfFile(PreambleID);
2359 return FileLoc.getLocWithOffset(Offs);
2360 }
2361
2362 return Loc;
2363}
2364
2366 FileID FID;
2367 if (SourceMgr)
2368 FID = SourceMgr->getPreambleFileID();
2369
2370 if (Loc.isInvalid() || FID.isInvalid())
2371 return false;
2372
2373 return SourceMgr->isInFileID(Loc, FID);
2374}
2375
2377 FileID FID;
2378 if (SourceMgr)
2379 FID = SourceMgr->getMainFileID();
2380
2381 if (Loc.isInvalid() || FID.isInvalid())
2382 return false;
2383
2384 return SourceMgr->isInFileID(Loc, FID);
2385}
2386
2388 FileID FID;
2389 if (SourceMgr)
2390 FID = SourceMgr->getPreambleFileID();
2391
2392 if (FID.isInvalid())
2393 return {};
2394
2395 return SourceMgr->getLocForEndOfFile(FID);
2396}
2397
2399 FileID FID;
2400 if (SourceMgr)
2401 FID = SourceMgr->getMainFileID();
2402
2403 if (FID.isInvalid())
2404 return {};
2405
2406 return SourceMgr->getLocForStartOfFile(FID);
2407}
2408
2409llvm::iterator_range<PreprocessingRecord::iterator>
2411 if (isMainFileAST()) {
2413 Mod = Reader->getModuleManager().getPrimaryModule();
2414 return Reader->getModulePreprocessedEntities(Mod);
2415 }
2416
2417 if (PreprocessingRecord *PPRec = PP->getPreprocessingRecord())
2418 return llvm::make_range(PPRec->local_begin(), PPRec->local_end());
2419
2420 return llvm::make_range(PreprocessingRecord::iterator(),
2422}
2423
2425 if (isMainFileAST()) {
2427 Mod = Reader->getModuleManager().getPrimaryModule();
2428 for (const auto *D : Reader->getModuleFileLevelDecls(Mod)) {
2429 if (!Fn(context, D))
2430 return false;
2431 }
2432
2433 return true;
2434 }
2435
2437 TLEnd = top_level_end();
2438 TL != TLEnd; ++TL) {
2439 if (!Fn(context, *TL))
2440 return false;
2441 }
2442
2443 return true;
2444}
2445
2447 if (!Reader)
2448 return std::nullopt;
2449
2450 serialization::ModuleFile *Mod = nullptr;
2451 Reader->getModuleManager().visit([&Mod](serialization::ModuleFile &M) {
2452 switch (M.Kind) {
2456 return true; // skip dependencies.
2458 Mod = &M;
2459 return true; // found it.
2461 return false; // look in dependencies.
2463 return false; // look in dependencies.
2464 }
2465
2466 return true;
2467 });
2468 if (Mod)
2469 return Mod->File;
2470
2471 return std::nullopt;
2472}
2473
2476}
2477
2479 auto &LangOpts = getLangOpts();
2480
2481 Language Lang;
2482 if (LangOpts.OpenCL)
2483 Lang = Language::OpenCL;
2484 else if (LangOpts.CUDA)
2485 Lang = Language::CUDA;
2486 else if (LangOpts.CPlusPlus)
2487 Lang = LangOpts.ObjC ? Language::ObjCXX : Language::CXX;
2488 else
2489 Lang = LangOpts.ObjC ? Language::ObjC : Language::C;
2490
2492 if (LangOpts.getCompilingModule() == LangOptions::CMK_ModuleMap)
2494
2495 // We don't know if input was preprocessed. Assume not.
2496 bool PP = false;
2497
2498 return InputKind(Lang, Fmt, PP);
2499}
2500
2501#ifndef NDEBUG
2502ASTUnit::ConcurrencyState::ConcurrencyState() {
2503 Mutex = new std::recursive_mutex;
2504}
2505
2506ASTUnit::ConcurrencyState::~ConcurrencyState() {
2507 delete static_cast<std::recursive_mutex *>(Mutex);
2508}
2509
2510void ASTUnit::ConcurrencyState::start() {
2511 bool acquired = static_cast<std::recursive_mutex *>(Mutex)->try_lock();
2512 assert(acquired && "Concurrent access to ASTUnit!");
2513}
2514
2515void ASTUnit::ConcurrencyState::finish() {
2516 static_cast<std::recursive_mutex *>(Mutex)->unlock();
2517}
2518
2519#else // NDEBUG
2520
2521ASTUnit::ConcurrencyState::ConcurrencyState() { Mutex = nullptr; }
2522ASTUnit::ConcurrencyState::~ConcurrencyState() {}
2523void ASTUnit::ConcurrencyState::start() {}
2524void ASTUnit::ConcurrencyState::finish() {}
2525
2526#endif // NDEBUG
Defines the clang::ASTContext interface.
static void checkAndSanitizeDiags(SmallVectorImpl< StoredDiagnostic > &StoredDiagnostics, SourceManager &SM)
Definition ASTUnit.cpp:1092
static void CalculateHiddenNames(const CodeCompletionContext &Context, CodeCompletionResult *Results, unsigned NumResults, ASTContext &Ctx, llvm::StringSet< llvm::BumpPtrAllocator > &HiddenNames)
Helper function that computes which global names are hidden by the local code-completion results.
Definition ASTUnit.cpp:1848
static uint64_t getDeclShowContexts(const NamedDecl *ND, const LangOptions &LangOpts, bool &IsNestedNameSpecifier)
Determine the set of code-completion contexts in which this declaration should be shown.
Definition ASTUnit.cpp:275
static void AddTopLevelDeclarationToHash(Decl *D, unsigned &Hash)
Add the given declaration to the hash of all top-level entities.
Definition ASTUnit.cpp:911
static bool moveOnNoError(llvm::ErrorOr< T > Val, T &Output)
Definition ASTUnit.cpp:145
static std::unique_ptr< T > valueOrNull(llvm::ErrorOr< std::unique_ptr< T > > Val)
Definition ASTUnit.cpp:138
static bool serializeUnit(ASTWriter &Writer, SmallVectorImpl< char > &Buffer, Sema &S, raw_ostream &OS)
Definition ASTUnit.cpp:2205
static std::unique_ptr< llvm::MemoryBuffer > getBufferForFileHandlingRemapping(const CompilerInvocation &Invocation, llvm::vfs::FileSystem *VFS, StringRef FilePath, bool isVolatile)
Get a source buffer for MainFilePath, handling all file-to-file and file-to-buffer remappings inside ...
Definition ASTUnit.cpp:155
const unsigned DefaultPreambleRebuildInterval
After failing to build a precompiled preamble (due to errors in the source that occurs in the preambl...
Definition ASTUnit.cpp:222
static void checkAndRemoveNonDriverDiags(SmallVectorImpl< StoredDiagnostic > &StoredDiags)
Definition ASTUnit.cpp:1086
static bool isInMainFile(const clang::Diagnostic &D)
Definition ASTUnit.cpp:595
static bool isNonDriverDiag(const StoredDiagnostic &StoredDiag)
Definition ASTUnit.cpp:1081
static std::atomic< unsigned > ActiveASTUnitObjects
Tracks the number of ASTUnit objects that are currently active.
Definition ASTUnit.cpp:227
static void AddDefinedMacroToHash(const Token &MacroNameTok, unsigned &Hash)
Add the given macro to the hash of all top-level entities.
Definition ASTUnit.cpp:888
Defines the Diagnostic-related interfaces.
Defines the C++ Decl subclasses, other than those for templates (found in DeclTemplate....
Defines the C++ template declaration subclasses.
Defines the clang::FileManager interface and associated types.
FormatToken * Next
The next token in the unwrapped line.
Defines the clang::FrontendAction interface and various convenience abstract classes (clang::ASTFront...
Defines the clang::IdentifierInfo, clang::IdentifierTable, and clang::Selector interfaces.
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
Defines the clang::LangOptions interface.
static DiagnosticBuilder Diag(DiagnosticsEngine *Diags, const LangOptions &Features, FullSourceLoc TokLoc, const char *TokBegin, const char *TokRangeBegin, const char *TokRangeEnd, unsigned DiagID)
Produce a diagnostic highlighting some portion of a literal.
llvm::MachO::Record Record
Definition MachO.h:31
Defines the clang::Module class, which describes a module in the source code.
#define SM(sm)
Defines the PPCallbacks interface.
Defines the clang::Preprocessor interface.
This file declares facilities that support code completion.
Defines the clang::SourceLocation class and associated facilities.
Defines the SourceManager interface.
Defines the clang::TargetOptions class.
Allows QualTypes to be sorted and hence used in maps and sets.
C Language Family Type Representation.
ASTConsumer - This is an abstract interface that should be implemented by clients that read ASTs.
Definition ASTConsumer.h:35
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Definition ASTContext.h:220
static CanQualType getCanonicalType(QualType T)
Return the canonical (structural) type corresponding to the specified potentially non-canonical type ...
const LangOptions & getLangOpts() const
Definition ASTContext.h:944
Abstract base class to use for AST consumer-based frontend actions.
An abstract interface that should be implemented by listeners that want to be notified when an AST en...
Abstract interface for callback invocations by the ASTReader.
Definition ASTReader.h:117
@ ARR_None
The client can't handle any AST loading failures.
Definition ASTReader.h:1830
static bool readASTFileControlBlock(StringRef Filename, FileManager &FileMgr, const ModuleCache &ModCache, const PCHContainerReader &PCHContainerRdr, bool FindModuleFileExtensions, ASTReaderListener &Listener, bool ValidateDiagnosticOptions, unsigned ClientLoadCapabilities=ARR_ConfigurationMismatch|ARR_OutOfDate)
Read the control block for the named AST file.
@ Success
The control block was read successfully.
Definition ASTReader.h:453
@ ConfigurationMismatch
The AST file was written with a different language/target configuration.
Definition ASTReader.h:470
@ OutOfDate
The AST file is out-of-date relative to its input files, and needs to be regenerated.
Definition ASTReader.h:463
@ Failure
The AST file itself appears corrupted.
Definition ASTReader.h:456
@ VersionMismatch
The AST file was written by a different version of Clang.
Definition ASTReader.h:466
@ HadErrors
The AST file has errors.
Definition ASTReader.h:473
@ Missing
The AST file was missing.
Definition ASTReader.h:459
Utility class for loading a ASTContext from an AST file.
Definition ASTUnit.h:93
unsigned & getCurrentTopLevelHashValue()
Retrieve a reference to the current top-level name hash value.
Definition ASTUnit.h:567
void enableSourceFileDiagnostics()
Enable source-range based diagnostic messages.
Definition ASTUnit.cpp:267
void addFileLevelDecl(Decl *D)
Add a new local file-level declaration.
Definition ASTUnit.cpp:2227
const FileManager & getFileManager() const
Definition ASTUnit.h:499
void CodeComplete(StringRef File, unsigned Line, unsigned Column, ArrayRef< RemappedFile > RemappedFiles, bool IncludeMacros, bool IncludeCodePatterns, bool IncludeBriefComments, CodeCompleteConsumer &Consumer, std::shared_ptr< PCHContainerOperations > PCHContainerOps, llvm::IntrusiveRefCntPtr< DiagnosticsEngine > Diag, LangOptions &LangOpts, llvm::IntrusiveRefCntPtr< SourceManager > SourceMgr, llvm::IntrusiveRefCntPtr< FileManager > FileMgr, SmallVectorImpl< StoredDiagnostic > &StoredDiagnostics, SmallVectorImpl< const llvm::MemoryBuffer * > &OwnedBuffers, std::unique_ptr< SyntaxOnlyAction > Act)
Perform code completion at the given file, line, and column within this translation unit.
Definition ASTUnit.cpp:2025
cached_completion_iterator cached_completion_end()
Definition ASTUnit.h:655
static std::unique_ptr< ASTUnit > LoadFromASTFile(StringRef Filename, const PCHContainerReader &PCHContainerRdr, WhatToLoad ToLoad, IntrusiveRefCntPtr< llvm::vfs::FileSystem > VFS, std::shared_ptr< DiagnosticOptions > DiagOpts, IntrusiveRefCntPtr< DiagnosticsEngine > Diags, const FileSystemOptions &FileSystemOpts, const HeaderSearchOptions &HSOpts, const LangOptions *LangOpts=nullptr, bool OnlyLocalDecls=false, CaptureDiagsKind CaptureDiagnostics=CaptureDiagsKind::None, bool AllowASTWithCompilerErrors=false, bool UserFilesAreVolatile=false)
Create a ASTUnit from an AST file.
Definition ASTUnit.cpp:693
bool serialize(raw_ostream &OS)
Serialize this translation unit with the given output stream.
Definition ASTUnit.cpp:2216
ASTDeserializationListener * getDeserializationListener()
Definition ASTUnit.cpp:665
bool Reparse(std::shared_ptr< PCHContainerOperations > PCHContainerOps, ArrayRef< RemappedFile > RemappedFiles={}, IntrusiveRefCntPtr< llvm::vfs::FileSystem > VFS=nullptr)
Reparse the source files using the same command-line options that were originally used to produce thi...
Definition ASTUnit.cpp:1709
std::unique_ptr< llvm::MemoryBuffer > getBufferForFile(StringRef Filename, std::string *ErrorStr=nullptr)
Definition ASTUnit.cpp:672
llvm::StringMap< unsigned > & getCachedCompletionTypes()
Retrieve the mapping from formatted type names to unique type identifiers.
Definition ASTUnit.h:309
const DiagnosticsEngine & getDiagnostics() const
Definition ASTUnit.h:433
SourceLocation getLocation(const FileEntry *File, unsigned Line, unsigned Col) const
Get the source location for the given file:line:col triplet.
Definition ASTUnit.cpp:2309
void ResetForParse()
Free data that will be re-generated on the next parse.
Definition ASTUnit.cpp:1768
llvm::IntrusiveRefCntPtr< SourceManager > getSourceManagerPtr()
Definition ASTUnit.h:441
InputKind getInputKind() const
Determine the input kind this AST unit represents.
Definition ASTUnit.cpp:2478
OptionalFileEntryRef getPCHFile()
Get the PCH file if one was included.
Definition ASTUnit.cpp:2446
StringRef getMainFileName() const
Definition ASTUnit.cpp:1442
Sema & getSema() const
Definition ASTUnit.h:469
SourceLocation mapLocationToPreamble(SourceLocation Loc) const
If Loc is a local location of the main file but inside the preamble chunk, returns the corresponding ...
Definition ASTUnit.cpp:2347
cached_completion_iterator cached_completion_begin()
Definition ASTUnit.h:651
const LangOptions & getLangOpts() const
Definition ASTUnit.h:474
bool isMainFileAST() const
Definition ASTUnit.h:428
std::vector< Decl * >::iterator top_level_iterator
Definition ASTUnit.h:524
const SourceManager & getSourceManager() const
Definition ASTUnit.h:439
SourceLocation getEndOfPreambleFileID() const
Definition ASTUnit.cpp:2387
std::vector< CachedCodeCompletionResult >::iterator cached_completion_iterator
Definition ASTUnit.h:648
llvm::IntrusiveRefCntPtr< DiagnosticsEngine > getDiagnosticsPtr()
Definition ASTUnit.h:435
static ASTUnit * LoadFromCompilerInvocationAction(std::shared_ptr< CompilerInvocation > CI, std::shared_ptr< PCHContainerOperations > PCHContainerOps, std::shared_ptr< DiagnosticOptions > DiagOpts, IntrusiveRefCntPtr< DiagnosticsEngine > Diags, FrontendAction *Action=nullptr, ASTUnit *Unit=nullptr, bool Persistent=true, StringRef ResourceFilesPath=StringRef(), bool OnlyLocalDecls=false, CaptureDiagsKind CaptureDiagnostics=CaptureDiagsKind::None, unsigned PrecompilePreambleAfterNParses=0, bool CacheCodeCompletionResults=false, bool UserFilesAreVolatile=false, std::unique_ptr< ASTUnit > *ErrAST=nullptr)
Create an ASTUnit from a source file, via a CompilerInvocation object, by invoking the optionally pro...
Definition ASTUnit.cpp:1493
@ LoadASTOnly
Load the AST, but do not restore Sema state.
Definition ASTUnit.h:711
@ LoadEverything
Load everything, including Sema.
Definition ASTUnit.h:714
top_level_iterator top_level_end()
Definition ASTUnit.h:533
SourceLocation getStartOfMainFileID() const
Definition ASTUnit.cpp:2398
IntrusiveRefCntPtr< ASTReader > getASTReader() const
Definition ASTUnit.cpp:655
IntrusiveRefCntPtr< FileManager > getFileManagerPtr()
Definition ASTUnit.h:501
bool(*)(void *context, const Decl *D) DeclVisitorFn
Type for a function iterating over a number of declarations.
Definition ASTUnit.h:671
bool visitLocalTopLevelDecls(void *context, DeclVisitorFn Fn)
Iterate over local declarations (locally parsed if this is a parsed source file or the loaded declara...
Definition ASTUnit.cpp:2424
IntrusiveRefCntPtr< llvm::vfs::FileSystem > getVirtualFileSystemPtr()
Definition ASTUnit.h:494
llvm::iterator_range< PreprocessingRecord::iterator > getLocalPreprocessingEntities() const
Returns an iterator range for the local preprocessing entities of the local Preprocessor,...
Definition ASTUnit.cpp:2410
top_level_iterator top_level_begin()
Definition ASTUnit.h:526
ASTMutationListener * getASTMutationListener()
Definition ASTUnit.cpp:659
TranslationUnitKind getTranslationUnitKind() const
Determine what kind of translation unit this AST represents.
Definition ASTUnit.h:690
void setPreprocessor(std::shared_ptr< Preprocessor > pp)
Definition ASTUnit.cpp:263
StringRef getASTFileName() const
If this ASTUnit came from an AST file, returns the filename for it.
Definition ASTUnit.cpp:1460
bool Save(StringRef File)
Save this translation unit to a file with the given name.
Definition ASTUnit.cpp:2185
static std::unique_ptr< ASTUnit > create(std::shared_ptr< CompilerInvocation > CI, std::shared_ptr< DiagnosticOptions > DiagOpts, IntrusiveRefCntPtr< DiagnosticsEngine > Diags, CaptureDiagsKind CaptureDiagnostics, bool UserFilesAreVolatile)
Create a ASTUnit. Gets ownership of the passed CompilerInvocation.
Definition ASTUnit.cpp:1470
void addTopLevelDecl(Decl *D)
Add a new top-level declaration.
Definition ASTUnit.h:551
bool isInMainFileID(SourceLocation Loc) const
Definition ASTUnit.cpp:2376
bool isModuleFile() const
Returns true if the ASTUnit was constructed from a serialized module file.
Definition ASTUnit.cpp:2474
void findFileRegionDecls(FileID File, unsigned Offset, unsigned Length, SmallVectorImpl< Decl * > &Decls)
Get the decls that are contained in a file in the Offset/Length range.
Definition ASTUnit.cpp:2266
const ASTContext & getASTContext() const
Definition ASTUnit.h:449
bool isInPreambleFileID(SourceLocation Loc) const
Definition ASTUnit.cpp:2365
SourceLocation mapLocationFromPreamble(SourceLocation Loc) const
If Loc is a loaded location from the preamble, returns the corresponding local location of the main f...
Definition ASTUnit.cpp:2326
std::pair< std::string, llvm::MemoryBuffer * > RemappedFile
A mapping from a file name to the memory buffer that stores the remapped contents of that file.
Definition ASTUnit.h:697
Writes an AST file containing the contents of a translation unit.
Definition ASTWriter.h:97
LocalDeclID getDeclID(const Decl *D)
Determine the local declaration ID of an already-emitted declaration.
ASTFileSignature WriteAST(llvm::PointerUnion< Sema *, Preprocessor * > Subject, StringRef OutputFile, Module *WritingModule, StringRef isysroot, bool ShouldCacheASTInMemory=false)
Write a precompiled header or a module with the AST produced by the Sema object, or a dependency scan...
RAII object that optionally captures and filters diagnostics, if there is no diagnostic client to cap...
Definition ASTUnit.h:940
CaptureDroppedDiagnostics(CaptureDiagsKind CaptureDiagnostics, DiagnosticsEngine &Diags, SmallVectorImpl< StoredDiagnostic > *StoredDiags, SmallVectorImpl< StandaloneDiagnostic > *StandaloneDiags)
Definition ASTUnit.cpp:634
Abstract interface for a consumer of code-completion information.
Options controlling the behavior of code completion.
unsigned IncludeCodePatterns
Show code patterns in code completion results.
unsigned IncludeFixIts
Include results after corrections (small fix-its), e.g.
unsigned LoadExternal
Hint whether to load data from the external AST to provide full results.
unsigned IncludeMacros
Show macros in code completion results.
unsigned IncludeBriefComments
Show brief documentation comments in code completion results.
unsigned IncludeGlobals
Show top-level decls in code completion results.
A builder class used to construct new code-completion strings.
The context in which code completion occurred, so that the code-completion consumer can process the r...
@ CCC_TypeQualifiers
Code completion within a type-qualifier list.
@ CCC_ObjCMessageReceiver
Code completion occurred where an Objective-C message receiver is expected.
@ CCC_PreprocessorExpression
Code completion occurred within a preprocessor expression.
@ CCC_ObjCCategoryName
Code completion where an Objective-C category name is expected.
@ CCC_ObjCIvarList
Code completion occurred within the instance variable list of an Objective-C interface,...
@ CCC_Statement
Code completion occurred where a statement (or declaration) is expected in a function,...
@ CCC_Type
Code completion occurred where a type name is expected.
@ CCC_ArrowMemberAccess
Code completion occurred on the right-hand side of a member access expression using the arrow operato...
@ CCC_ClassStructUnion
Code completion occurred within a class, struct, or union.
@ CCC_ObjCInterface
Code completion occurred within an Objective-C interface, protocol, or category interface.
@ CCC_ObjCPropertyAccess
Code completion occurred on the right-hand side of an Objective-C property access expression.
@ CCC_Expression
Code completion occurred where an expression is expected.
@ CCC_SelectorName
Code completion for a selector, as in an @selector expression.
@ CCC_TopLevelOrExpression
Code completion at a top level, i.e.
@ CCC_EnumTag
Code completion occurred after the "enum" keyword, to indicate an enumeration name.
@ CCC_UnionTag
Code completion occurred after the "union" keyword, to indicate a union name.
@ CCC_ParenthesizedExpression
Code completion in a parenthesized expression, which means that we may also have types here in C and ...
@ CCC_TopLevel
Code completion occurred within a "top-level" completion context, e.g., at namespace or global scope.
@ CCC_ClassOrStructTag
Code completion occurred after the "struct" or "class" keyword, to indicate a struct or class name.
@ CCC_ObjCClassMessage
Code completion where an Objective-C class message is expected.
@ CCC_ObjCImplementation
Code completion occurred within an Objective-C implementation or category implementation.
@ CCC_IncludedFile
Code completion inside the filename part of a include directive.
@ CCC_ObjCInstanceMessage
Code completion where an Objective-C instance message is expected.
@ CCC_SymbolOrNewName
Code completion occurred where both a new name and an existing symbol is permissible.
@ CCC_Recovery
An unknown context, in which we are recovering from a parsing error and don't know which completions ...
@ CCC_ObjCProtocolName
Code completion occurred where a protocol name is expected.
@ CCC_OtherWithMacros
An unspecified code-completion context where we should also add macro completions.
@ CCC_NewName
Code completion occurred where a new name is expected.
@ CCC_MacroNameUse
Code completion occurred where a macro name is expected (without any arguments, in the case of a func...
@ CCC_Symbol
Code completion occurred where an existing name(such as type, functionor variable) is expected.
@ CCC_Attribute
Code completion of an attribute name.
@ CCC_Other
An unspecified code-completion context.
@ CCC_DotMemberAccess
Code completion occurred on the right-hand side of a member access expression using the dot operator.
@ CCC_MacroName
Code completion occurred where an macro is being defined.
@ CCC_Namespace
Code completion occurred where a namespace or namespace alias is expected.
@ CCC_PreprocessorDirective
Code completion occurred where a preprocessor directive is expected.
@ CCC_NaturalLanguage
Code completion occurred in a context where natural language is expected, e.g., a comment or string l...
@ CCC_ObjCInterfaceName
Code completion where the name of an Objective-C class is expected.
Captures a result of code completion.
const NamedDecl * Declaration
When Kind == RK_Declaration or RK_Pattern, the declaration we are referring to.
A "string" used to describe how code completion can be performed for an entity.
CodeGenOptions - Track various options which control how the code is optimized and passed to the back...
CompilerInstance - Helper class for managing a single instance of the Clang compiler.
std::shared_ptr< Preprocessor > getPreprocessorPtr()
std::unique_ptr< Sema > takeSema()
IntrusiveRefCntPtr< ASTContext > getASTContextPtr() const
IntrusiveRefCntPtr< ASTReader > getASTReader() const
std::shared_ptr< ModuleCache > getModuleCachePtr() const
Preprocessor & getPreprocessor() const
Return the current preprocessor.
IntrusiveRefCntPtr< TargetInfo > getTargetPtr() const
std::shared_ptr< CompilerInvocation > getInvocationPtr()
bool hadModuleLoaderFatalFailure() const
void setSourceManager(llvm::IntrusiveRefCntPtr< SourceManager > Value)
setSourceManager - Replace the current source manager.
CompilerInvocation & getInvocation()
std::unique_ptr< ASTConsumer > takeASTConsumer()
takeASTConsumer - Remove the current AST consumer and give ownership to the caller.
void setFileManager(IntrusiveRefCntPtr< FileManager > Value)
Replace the current file manager.
Helper class for holding the data necessary to invoke the compiler.
PreprocessorOptions & getPreprocessorOpts()
LangOptions & getLangOpts()
Mutable getters.
FrontendOptions & getFrontendOpts()
DiagnosticOptions & getDiagnosticOpts()
DeclContext - This is used only as base class of specific decl types that can act as declaration cont...
Definition DeclBase.h:1449
bool isFileContext() const
Definition DeclBase.h:2180
bool isTranslationUnit() const
Definition DeclBase.h:2185
DeclContext * getLookupParent()
Find the parent context of this context that will be used for unqualified name lookup.
Decl - This represents one declaration (or definition), e.g.
Definition DeclBase.h:86
bool isFromASTFile() const
Determine whether this declaration came from an AST file (such as a precompiled header or module) rat...
Definition DeclBase.h:793
unsigned getIdentifierNamespace() const
Definition DeclBase.h:889
SourceLocation getLocation() const
Definition DeclBase.h:439
@ IDNS_NonMemberOperator
This declaration is a C++ operator declared in a non-class context.
Definition DeclBase.h:168
@ IDNS_Ordinary
Ordinary names.
Definition DeclBase.h:144
@ IDNS_Type
Types, declared with 'struct foo', typedefs, etc.
Definition DeclBase.h:130
@ IDNS_Member
Members, declared with object declarations within tag definitions.
Definition DeclBase.h:136
@ IDNS_Namespace
Namespaces, declared with 'namespace foo {}'.
Definition DeclBase.h:140
@ IDNS_Tag
Tags, declared with 'struct foo;' and referenced with 'struct foo'.
Definition DeclBase.h:125
DeclContext * getDeclContext()
Definition DeclBase.h:448
DeclContext * getLexicalDeclContext()
getLexicalDeclContext - The declaration context where this Decl was lexically declared (LexicalDC).
Definition DeclBase.h:918
The name of a declaration.
IdentifierInfo * getAsIdentifierInfo() const
Retrieve the IdentifierInfo * stored in this declaration name, or null if this declaration name isn't...
std::string getAsString() const
Retrieve the human-readable string for this name.
virtual void EndSourceFile()
Callback to inform the diagnostic client that processing of a source file has ended.
virtual void HandleDiagnostic(DiagnosticsEngine::Level DiagLevel, const Diagnostic &Info)
Handle this diagnostic, reporting it to the user or capturing it to a log as needed.
virtual void BeginSourceFile(const LangOptions &LangOpts, const Preprocessor *PP=nullptr)
Callback to inform the diagnostic client that processing of a source file is beginning.
A little helper class (which is basically a smart pointer that forwards info from DiagnosticsEngine a...
const SourceLocation & getLocation() const
SourceManager & getSourceManager() const
bool hasSourceManager() const
Concrete class used by the front-end to report problems and issues.
Definition Diagnostic.h:232
void setNumWarnings(unsigned NumWarnings)
Definition Diagnostic.h:889
Level
The level of the diagnostic, after it has been through mapping.
Definition Diagnostic.h:237
DiagnosticConsumer * getClient()
Definition Diagnostic.h:607
unsigned getNumWarnings() const
Definition Diagnostic.h:887
void Reset(bool soft=false)
Reset the state of the diagnostic object to its initial configuration.
Cached information about one file (either on disk or in the virtual file system).
Definition FileEntry.h:302
An opaque identifier used by SourceManager which refers to a source file (MemoryBuffer) along with it...
bool isInvalid() const
Implements support for file system lookup, file system caching, and directory search management.
Definition FileManager.h:53
llvm::vfs::FileSystem & getVirtualFileSystem() const
llvm::ErrorOr< std::unique_ptr< llvm::MemoryBuffer > > getBufferForFile(FileEntryRef Entry, bool isVolatile=false, bool RequiresNullTerminator=true, std::optional< int64_t > MaybeLimit=std::nullopt, bool IsText=true)
Open the specified file as a MemoryBuffer, returning a new MemoryBuffer if successful,...
llvm::Expected< FileEntryRef > getSTDIN()
Get the FileEntryRef for stdin, returning an error if stdin cannot be read.
Keeps track of options that affect how file operations are performed.
Diagnostic consumer that saves each diagnostic it is given.
Definition ASTUnit.h:918
void BeginSourceFile(const LangOptions &LangOpts, const Preprocessor *PP=nullptr) override
Callback to inform the diagnostic client that processing of a source file is beginning.
Definition ASTUnit.cpp:588
FilterAndStoreDiagnosticConsumer(SmallVectorImpl< StoredDiagnostic > *StoredDiags, SmallVectorImpl< StandaloneDiagnostic > *StandaloneDiags, bool CaptureNonErrorsFromIncludes)
Definition ASTUnit.cpp:578
void HandleDiagnostic(DiagnosticsEngine::Level Level, const Diagnostic &Info) override
Handle this diagnostic, reporting it to the user or capturing it to a log as needed.
Definition ASTUnit.cpp:603
Abstract base class for actions which can be performed by the frontend.
virtual void EndSourceFile()
Perform any per-file post processing, deallocate per-file objects, and run statistics and output file...
llvm::Error Execute()
Set the source manager's main input file, and run the action.
virtual TranslationUnitKind getTranslationUnitKind()
For AST-based actions, the kind of translation unit we're handling.
bool BeginSourceFile(CompilerInstance &CI, const FrontendInputFile &Input)
Prepare the action for processing the input file Input.
An input file for the front end.
llvm::MemoryBufferRef getBuffer() const
StringRef getFile() const
FrontendOptions - Options for controlling the behavior of the frontend.
unsigned SkipFunctionBodies
Skip over function bodies to speed up parsing in cases you do not need them (e.g.
CodeCompleteOptions CodeCompleteOpts
ParsedSourceLocation CodeCompletionAt
If given, enable code completion at the provided location.
SmallVector< FrontendInputFile, 0 > Inputs
The input files and their types.
A SourceLocation and its associated SourceManager.
HeaderSearchOptions - Helper class for storing options related to the initialization of the HeaderSea...
std::vector< SystemHeaderPrefix > SystemHeaderPrefixes
User-specified system header prefixes.
std::vector< std::string > VFSOverlayFiles
The set of user-provided virtual filesystem overlay files.
std::vector< Entry > UserEntries
User specified include entries.
One of these records is kept for each identifier that is lexed.
StringRef getName() const
Return the actual identifier string.
The kind of a file that we've been handed as an input.
Format
The input file format.
@ CMK_ModuleMap
Compiling a module from a module map.
Keeps track of the various options that can be enabled, which controls the dialect of C or C++ that i...
bool isCompilingModule() const
Are we compiling a module?
Describes a module or submodule.
Definition Module.h:144
bool isNamedModule() const
Does this Module is a named module of a standard named module?
Definition Module.h:224
This represents a decl that may have a name.
Definition Decl.h:274
NamedDecl * getUnderlyingDecl()
Looks through UsingDecls and ObjCCompatibleAliasDecls for the underlying named decl.
Definition Decl.h:487
DeclarationName getDeclName() const
Get the actual, stored name of the declaration, which may be a special name.
Definition Decl.h:340
This abstract interface provides operations for unwrapping containers for serialized ASTs (precompile...
virtual llvm::ArrayRef< llvm::StringRef > getFormats() const =0
Equivalent to the format passed to -fmodule-format=.
This interface provides a way to observe the actions of the preprocessor as it does its thing.
Definition PPCallbacks.h:37
A set of callbacks to gather useful information while building a preamble.
static llvm::ErrorOr< PrecompiledPreamble > Build(const CompilerInvocation &Invocation, const llvm::MemoryBuffer *MainFileBuffer, PreambleBounds Bounds, IntrusiveRefCntPtr< DiagnosticsEngine > Diagnostics, IntrusiveRefCntPtr< llvm::vfs::FileSystem > VFS, std::shared_ptr< PCHContainerOperations > PCHContainerOps, bool StoreInMemory, StringRef StoragePath, PreambleCallbacks &Callbacks)
Try to build PrecompiledPreamble for Invocation.
Iteration over the preprocessed entities.
A record of the steps taken while preprocessing a source file, including the various preprocessing di...
PreprocessorOptions - This class is used for passing the various options used in preprocessor initial...
std::pair< unsigned, bool > PrecompiledPreambleBytes
If non-zero, the implicit PCH include is actually a precompiled preamble that covers this number of b...
bool RetainRemappedFileBuffers
Whether the compiler instance should retain (i.e., not free) the buffers associated with remapped fil...
bool DetailedRecord
Whether we should maintain a detailed record of all macro definitions and expansions.
void addRemappedFile(StringRef From, StringRef To)
Engages in a tight little dance with the lexer to efficiently preprocess tokens.
void addPPCallbacks(std::unique_ptr< PPCallbacks > C)
SourceManager & getSourceManager() const
A (possibly-)qualified type.
Definition TypeBase.h:937
bool isNull() const
Return true if this QualType doesn't point to a type yet.
Definition TypeBase.h:1004
QualType getUnqualifiedType() const
Retrieve the unqualified variant of the given type, removing as little sugar as possible.
Definition TypeBase.h:8386
Sema - This implements semantic analysis and AST building for C.
Definition Sema.h:855
ASTContext & Context
Definition Sema.h:1285
const LangOptions & getLangOpts() const
Definition Sema.h:919
Encodes a location in the source.
bool isValid() const
Return true if this is a valid SourceLocation object.
SourceLocation getLocWithOffset(IntTy Offset) const
Return a source location with the specified offset from this SourceLocation.
This class handles loading and caching of source files into memory.
bool isWrittenInMainFile(SourceLocation Loc) const
Returns true if the spelling location for the given location is in the main file buffer.
Represents a diagnostic in a form that can be retained until its corresponding source manager is dest...
const FullSourceLoc & getLocation() const
static TargetInfo * CreateTargetInfo(DiagnosticsEngine &Diags, TargetOptions &Opts)
Construct a target for the given options.
Definition Targets.cpp:806
Token - This structure provides full information about a lexed token.
Definition Token.h:36
IdentifierInfo * getIdentifierInfo() const
Definition Token.h:195
Information about a module that has been loaded by the ASTReader.
Definition ModuleFile.h:130
FileEntryRef File
The file entry for the module file.
Definition ModuleFile.h:185
std::string FileName
The file name of the module file.
Definition ModuleFile.h:145
ModuleKind Kind
The type of this module.
Definition ModuleFile.h:142
@ CXCursor_MacroDefinition
Definition Index.h:2288
Defines the clang::TargetInfo interface.
@ VFS
Remove unused -ivfsoverlay arguments.
@ MK_PCH
File is a PCH file treated as such.
Definition ModuleFile.h:51
@ MK_Preamble
File is a PCH file treated as the preamble.
Definition ModuleFile.h:54
@ MK_MainFile
File is a PCH file treated as the actual main file.
Definition ModuleFile.h:57
@ MK_ExplicitModule
File is an explicitly-loaded module.
Definition ModuleFile.h:48
@ MK_ImplicitModule
File is an implicitly-loaded module.
Definition ModuleFile.h:45
@ MK_PrebuiltModule
File is from a prebuilt module path.
Definition ModuleFile.h:60
The JSON file list parser is used to communicate input to InstallAPI.
CanQual< Type > CanQualType
Represents a canonical, potentially-qualified type.
bool isa(CodeGen::Address addr)
Definition Address.h:330
CustomizableOptional< FileEntryRef > OptionalFileEntryRef
Definition FileEntry.h:208
IntrusiveRefCntPtr< llvm::vfs::FileSystem > createVFSFromOverlayFiles(ArrayRef< std::string > VFSOverlayFiles, DiagnosticsEngine &Diags, IntrusiveRefCntPtr< llvm::vfs::FileSystem > BaseFS)
@ CCP_NestedNameSpecifier
Priority for a nested-name-specifier.
@ CCP_CodePattern
Priority for a code pattern.
std::shared_ptr< ModuleCache > createCrossProcessModuleCache()
Creates new ModuleCache backed by a file system directory that may be operated on by multiple process...
@ Parse
Parse the block; this code is always used.
Definition Parser.h:137
Language
The language for the input, used to select and validate the language standard and possible actions.
@ C
Languages that the frontend can parse and compile.
@ Result
The result type of a method or function.
Definition TypeBase.h:905
SimplifiedTypeClass
A simplified classification of types used when determining "similar" types for code completion.
const FunctionProtoType * T
CaptureDiagsKind
Enumerates the available kinds for capturing diagnostics.
Definition ASTUnit.h:90
IntrusiveRefCntPtr< llvm::vfs::FileSystem > createVFSFromCompilerInvocation(const CompilerInvocation &CI, DiagnosticsEngine &Diags)
void ProcessWarningOptions(DiagnosticsEngine &Diags, const DiagnosticOptions &Opts, llvm::vfs::FileSystem &VFS, bool ReportDiags=true)
ProcessWarningOptions - Initialize the diagnostic client and process the warning options specified on...
Definition Warnings.cpp:46
TranslationUnitKind
Describes the kind of translation unit being processed.
@ TU_Complete
The translation unit is a complete translation unit.
@ CCF_ExactTypeMatch
Divide by this factor when a code-completion result's type exactly matches the type we expect.
@ CCF_SimilarTypeMatch
Divide by this factor when a code-completion result's type is similar to the type we expect (e....
SimplifiedTypeClass getSimplifiedTypeClass(CanQualType T)
Determine the simplified type class of the given canonical type.
unsigned getMacroUsagePriority(StringRef MacroName, const LangOptions &LangOpts, bool PreferredTypeIsPointer=false)
Determine the priority to be given to a macro code completion result with the given name.
DisableValidationForModuleKind
Whether to disable the normal validation performed on precompiled headers and module files when they ...
@ None
Perform validation, don't disable it.
@ All
Disable validation for all kinds.
PreambleBounds ComputePreambleBounds(const LangOptions &LangOpts, const llvm::MemoryBufferRef &Buffer, unsigned MaxLines)
Runs lexer to compute suggested preamble bounds.
llvm::StringRef getAsString(SyncScope S)
Definition SyncScope.h:62
QualType getDeclUsageType(ASTContext &C, NestedNameSpecifier Qualifier, const NamedDecl *ND)
Determine the type that this declaration will have if it is used as a type or in an expression.
StoredDiagnostic translateStandaloneDiag(FileManager &FileMgr, SourceManager &SrcMgr, const StandaloneDiagnostic &StandaloneDiag, llvm::StringMap< SourceLocation > &SrcLocCache)
Translates StandaloneDiag into a StoredDiagnostic, associating it with the provided FileManager and S...
unsigned long uint64_t
unsigned int uint32_t
#define false
Definition stdbool.h:26
__LIBC_ATTRS FILE * stderr
A cached code-completion result, which may be introduced in one of many different contexts.
Definition ASTUnit.h:271
CodeCompletionString * Completion
The code-completion string corresponding to this completion result.
Definition ASTUnit.h:274
OverloadCandidate - A single candidate in an overload set (C++ 13.3).
Definition Overload.h:932
unsigned Size
Size of the preamble in bytes.
Definition Lexer.h:62
Describes how types, statements, expressions, and declarations should be printed.