1 //===--- FrontendAction.cpp -----------------------------------------------===//
3 // The LLVM Compiler Infrastructure
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
8 //===----------------------------------------------------------------------===//
10 #include "clang/Frontend/FrontendAction.h"
11 #include "clang/AST/ASTConsumer.h"
12 #include "clang/AST/ASTContext.h"
13 #include "clang/AST/DeclGroup.h"
14 #include "clang/Frontend/ASTUnit.h"
15 #include "clang/Frontend/CompilerInstance.h"
16 #include "clang/Frontend/FrontendDiagnostic.h"
17 #include "clang/Frontend/FrontendPluginRegistry.h"
18 #include "clang/Frontend/LayoutOverrideSource.h"
19 #include "clang/Frontend/MultiplexConsumer.h"
20 #include "clang/Frontend/Utils.h"
21 #include "clang/Lex/HeaderSearch.h"
22 #include "clang/Lex/LiteralSupport.h"
23 #include "clang/Lex/Preprocessor.h"
24 #include "clang/Lex/PreprocessorOptions.h"
25 #include "clang/Parse/ParseAST.h"
26 #include "clang/Serialization/ASTDeserializationListener.h"
27 #include "clang/Serialization/ASTReader.h"
28 #include "clang/Serialization/GlobalModuleIndex.h"
29 #include "llvm/Support/BuryPointer.h"
30 #include "llvm/Support/ErrorHandling.h"
31 #include "llvm/Support/FileSystem.h"
32 #include "llvm/Support/Path.h"
33 #include "llvm/Support/Timer.h"
34 #include "llvm/Support/raw_ostream.h"
35 #include <system_error>
36 using namespace clang;
38 LLVM_INSTANTIATE_REGISTRY(FrontendPluginRegistry)
42 class DelegatingDeserializationListener : public ASTDeserializationListener {
43 ASTDeserializationListener *Previous;
47 explicit DelegatingDeserializationListener(
48 ASTDeserializationListener *Previous, bool DeletePrevious)
49 : Previous(Previous), DeletePrevious(DeletePrevious) {}
50 ~DelegatingDeserializationListener() override {
55 void ReaderInitialized(ASTReader *Reader) override {
57 Previous->ReaderInitialized(Reader);
59 void IdentifierRead(serialization::IdentID ID,
60 IdentifierInfo *II) override {
62 Previous->IdentifierRead(ID, II);
64 void TypeRead(serialization::TypeIdx Idx, QualType T) override {
66 Previous->TypeRead(Idx, T);
68 void DeclRead(serialization::DeclID ID, const Decl *D) override {
70 Previous->DeclRead(ID, D);
72 void SelectorRead(serialization::SelectorID ID, Selector Sel) override {
74 Previous->SelectorRead(ID, Sel);
76 void MacroDefinitionRead(serialization::PreprocessedEntityID PPID,
77 MacroDefinitionRecord *MD) override {
79 Previous->MacroDefinitionRead(PPID, MD);
83 /// Dumps deserialized declarations.
84 class DeserializedDeclsDumper : public DelegatingDeserializationListener {
86 explicit DeserializedDeclsDumper(ASTDeserializationListener *Previous,
88 : DelegatingDeserializationListener(Previous, DeletePrevious) {}
90 void DeclRead(serialization::DeclID ID, const Decl *D) override {
91 llvm::outs() << "PCH DECL: " << D->getDeclKindName();
92 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D)) {
93 llvm::outs() << " - ";
94 ND->printQualifiedName(llvm::outs());
98 DelegatingDeserializationListener::DeclRead(ID, D);
102 /// Checks deserialized declarations and emits error if a name
103 /// matches one given in command-line using -error-on-deserialized-decl.
104 class DeserializedDeclsChecker : public DelegatingDeserializationListener {
106 std::set<std::string> NamesToCheck;
109 DeserializedDeclsChecker(ASTContext &Ctx,
110 const std::set<std::string> &NamesToCheck,
111 ASTDeserializationListener *Previous,
113 : DelegatingDeserializationListener(Previous, DeletePrevious), Ctx(Ctx),
114 NamesToCheck(NamesToCheck) {}
116 void DeclRead(serialization::DeclID ID, const Decl *D) override {
117 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D))
118 if (NamesToCheck.find(ND->getNameAsString()) != NamesToCheck.end()) {
120 = Ctx.getDiagnostics().getCustomDiagID(DiagnosticsEngine::Error,
121 "%0 was deserialized");
122 Ctx.getDiagnostics().Report(Ctx.getFullLoc(D->getLocation()), DiagID)
123 << ND->getNameAsString();
126 DelegatingDeserializationListener::DeclRead(ID, D);
130 } // end anonymous namespace
132 FrontendAction::FrontendAction() : Instance(nullptr) {}
134 FrontendAction::~FrontendAction() {}
136 void FrontendAction::setCurrentInput(const FrontendInputFile &CurrentInput,
137 std::unique_ptr<ASTUnit> AST) {
138 this->CurrentInput = CurrentInput;
139 CurrentASTUnit = std::move(AST);
142 Module *FrontendAction::getCurrentModule() const {
143 CompilerInstance &CI = getCompilerInstance();
144 return CI.getPreprocessor().getHeaderSearchInfo().lookupModule(
145 CI.getLangOpts().CurrentModule, /*AllowSearch*/false);
148 std::unique_ptr<ASTConsumer>
149 FrontendAction::CreateWrappedASTConsumer(CompilerInstance &CI,
151 std::unique_ptr<ASTConsumer> Consumer = CreateASTConsumer(CI, InFile);
155 // Validate -add-plugin args.
156 bool FoundAllPlugins = true;
157 for (const std::string &Arg : CI.getFrontendOpts().AddPluginActions) {
159 for (FrontendPluginRegistry::iterator it = FrontendPluginRegistry::begin(),
160 ie = FrontendPluginRegistry::end();
162 if (it->getName() == Arg)
166 CI.getDiagnostics().Report(diag::err_fe_invalid_plugin_name) << Arg;
167 FoundAllPlugins = false;
170 if (!FoundAllPlugins)
173 // If there are no registered plugins we don't need to wrap the consumer
174 if (FrontendPluginRegistry::begin() == FrontendPluginRegistry::end())
177 // If this is a code completion run, avoid invoking the plugin consumers
178 if (CI.hasCodeCompletionConsumer())
181 // Collect the list of plugins that go before the main action (in Consumers)
182 // or after it (in AfterConsumers)
183 std::vector<std::unique_ptr<ASTConsumer>> Consumers;
184 std::vector<std::unique_ptr<ASTConsumer>> AfterConsumers;
185 for (FrontendPluginRegistry::iterator it = FrontendPluginRegistry::begin(),
186 ie = FrontendPluginRegistry::end();
188 std::unique_ptr<PluginASTAction> P = it->instantiate();
189 PluginASTAction::ActionType ActionType = P->getActionType();
190 if (ActionType == PluginASTAction::Cmdline) {
191 // This is O(|plugins| * |add_plugins|), but since both numbers are
192 // way below 50 in practice, that's ok.
193 for (size_t i = 0, e = CI.getFrontendOpts().AddPluginActions.size();
195 if (it->getName() == CI.getFrontendOpts().AddPluginActions[i]) {
196 ActionType = PluginASTAction::AddAfterMainAction;
201 if ((ActionType == PluginASTAction::AddBeforeMainAction ||
202 ActionType == PluginASTAction::AddAfterMainAction) &&
203 P->ParseArgs(CI, CI.getFrontendOpts().PluginArgs[it->getName()])) {
204 std::unique_ptr<ASTConsumer> PluginConsumer = P->CreateASTConsumer(CI, InFile);
205 if (ActionType == PluginASTAction::AddBeforeMainAction) {
206 Consumers.push_back(std::move(PluginConsumer));
208 AfterConsumers.push_back(std::move(PluginConsumer));
213 // Add to Consumers the main consumer, then all the plugins that go after it
214 Consumers.push_back(std::move(Consumer));
215 for (auto &C : AfterConsumers) {
216 Consumers.push_back(std::move(C));
219 return llvm::make_unique<MultiplexConsumer>(std::move(Consumers));
222 /// For preprocessed files, if the first line is the linemarker and specifies
223 /// the original source file name, use that name as the input file name.
224 /// Returns the location of the first token after the line marker directive.
226 /// \param CI The compiler instance.
227 /// \param InputFile Populated with the filename from the line marker.
228 /// \param IsModuleMap If \c true, add a line note corresponding to this line
229 /// directive. (We need to do this because the directive will not be
230 /// visited by the preprocessor.)
231 static SourceLocation ReadOriginalFileName(CompilerInstance &CI,
232 std::string &InputFile,
233 bool IsModuleMap = false) {
234 auto &SourceMgr = CI.getSourceManager();
235 auto MainFileID = SourceMgr.getMainFileID();
237 bool Invalid = false;
238 const auto *MainFileBuf = SourceMgr.getBuffer(MainFileID, &Invalid);
240 return SourceLocation();
242 std::unique_ptr<Lexer> RawLexer(
243 new Lexer(MainFileID, MainFileBuf, SourceMgr, CI.getLangOpts()));
245 // If the first line has the syntax of
249 // we use FILENAME as the input file name.
251 if (RawLexer->LexFromRawLexer(T) || T.getKind() != tok::hash)
252 return SourceLocation();
253 if (RawLexer->LexFromRawLexer(T) || T.isAtStartOfLine() ||
254 T.getKind() != tok::numeric_constant)
255 return SourceLocation();
258 SourceLocation LineNoLoc = T.getLocation();
260 llvm::SmallString<16> Buffer;
261 if (Lexer::getSpelling(LineNoLoc, Buffer, SourceMgr, CI.getLangOpts())
262 .getAsInteger(10, LineNo))
263 return SourceLocation();
266 RawLexer->LexFromRawLexer(T);
267 if (T.isAtStartOfLine() || T.getKind() != tok::string_literal)
268 return SourceLocation();
270 StringLiteralParser Literal(T, CI.getPreprocessor());
271 if (Literal.hadError)
272 return SourceLocation();
273 RawLexer->LexFromRawLexer(T);
274 if (T.isNot(tok::eof) && !T.isAtStartOfLine())
275 return SourceLocation();
276 InputFile = Literal.GetString().str();
279 CI.getSourceManager().AddLineNote(
280 LineNoLoc, LineNo, SourceMgr.getLineTableFilenameID(InputFile), false,
281 false, SrcMgr::C_User_ModuleMap);
283 return T.getLocation();
286 static SmallVectorImpl<char> &
287 operator+=(SmallVectorImpl<char> &Includes, StringRef RHS) {
288 Includes.append(RHS.begin(), RHS.end());
292 static void addHeaderInclude(StringRef HeaderName,
293 SmallVectorImpl<char> &Includes,
294 const LangOptions &LangOpts,
296 if (IsExternC && LangOpts.CPlusPlus)
297 Includes += "extern \"C\" {\n";
299 Includes += "#import \"";
301 Includes += "#include \"";
303 Includes += HeaderName;
306 if (IsExternC && LangOpts.CPlusPlus)
310 /// Collect the set of header includes needed to construct the given
311 /// module and update the TopHeaders file set of the module.
313 /// \param Module The module we're collecting includes from.
315 /// \param Includes Will be augmented with the set of \#includes or \#imports
316 /// needed to load all of the named headers.
317 static std::error_code collectModuleHeaderIncludes(
318 const LangOptions &LangOpts, FileManager &FileMgr, DiagnosticsEngine &Diag,
319 ModuleMap &ModMap, clang::Module *Module, SmallVectorImpl<char> &Includes) {
320 // Don't collect any headers for unavailable modules.
321 if (!Module->isAvailable())
322 return std::error_code();
324 // Resolve all lazy header directives to header files.
325 ModMap.resolveHeaderDirectives(Module);
327 // If any headers are missing, we can't build this module. In most cases,
328 // diagnostics for this should have already been produced; we only get here
329 // if explicit stat information was provided.
330 // FIXME: If the name resolves to a file with different stat information,
331 // produce a better diagnostic.
332 if (!Module->MissingHeaders.empty()) {
333 auto &MissingHeader = Module->MissingHeaders.front();
334 Diag.Report(MissingHeader.FileNameLoc, diag::err_module_header_missing)
335 << MissingHeader.IsUmbrella << MissingHeader.FileName;
336 return std::error_code();
339 // Add includes for each of these headers.
340 for (auto HK : {Module::HK_Normal, Module::HK_Private}) {
341 for (Module::Header &H : Module->Headers[HK]) {
342 Module->addTopHeader(H.Entry);
343 // Use the path as specified in the module map file. We'll look for this
344 // file relative to the module build directory (the directory containing
345 // the module map file) so this will find the same file that we found
346 // while parsing the module map.
347 addHeaderInclude(H.NameAsWritten, Includes, LangOpts, Module->IsExternC);
350 // Note that Module->PrivateHeaders will not be a TopHeader.
352 if (Module::Header UmbrellaHeader = Module->getUmbrellaHeader()) {
353 Module->addTopHeader(UmbrellaHeader.Entry);
355 // Include the umbrella header for submodules.
356 addHeaderInclude(UmbrellaHeader.NameAsWritten, Includes, LangOpts,
358 } else if (Module::DirectoryName UmbrellaDir = Module->getUmbrellaDir()) {
359 // Add all of the headers we find in this subdirectory.
361 SmallString<128> DirNative;
362 llvm::sys::path::native(UmbrellaDir.Entry->getName(), DirNative);
364 llvm::vfs::FileSystem &FS = *FileMgr.getVirtualFileSystem();
365 for (llvm::vfs::recursive_directory_iterator Dir(FS, DirNative, EC), End;
366 Dir != End && !EC; Dir.increment(EC)) {
367 // Check whether this entry has an extension typically associated with
369 if (!llvm::StringSwitch<bool>(llvm::sys::path::extension(Dir->path()))
370 .Cases(".h", ".H", ".hh", ".hpp", true)
374 const FileEntry *Header = FileMgr.getFile(Dir->path());
375 // FIXME: This shouldn't happen unless there is a file system race. Is
376 // that worth diagnosing?
380 // If this header is marked 'unavailable' in this module, don't include
382 if (ModMap.isHeaderUnavailableInModule(Header, Module))
385 // Compute the relative path from the directory to this file.
386 SmallVector<StringRef, 16> Components;
387 auto PathIt = llvm::sys::path::rbegin(Dir->path());
388 for (int I = 0; I != Dir.level() + 1; ++I, ++PathIt)
389 Components.push_back(*PathIt);
390 SmallString<128> RelativeHeader(UmbrellaDir.NameAsWritten);
391 for (auto It = Components.rbegin(), End = Components.rend(); It != End;
393 llvm::sys::path::append(RelativeHeader, *It);
395 // Include this header as part of the umbrella directory.
396 Module->addTopHeader(Header);
397 addHeaderInclude(RelativeHeader, Includes, LangOpts, Module->IsExternC);
404 // Recurse into submodules.
405 for (clang::Module::submodule_iterator Sub = Module->submodule_begin(),
406 SubEnd = Module->submodule_end();
407 Sub != SubEnd; ++Sub)
408 if (std::error_code Err = collectModuleHeaderIncludes(
409 LangOpts, FileMgr, Diag, ModMap, *Sub, Includes))
412 return std::error_code();
415 static bool loadModuleMapForModuleBuild(CompilerInstance &CI, bool IsSystem,
417 std::string &PresumedModuleMapFile,
419 auto &SrcMgr = CI.getSourceManager();
420 HeaderSearch &HS = CI.getPreprocessor().getHeaderSearchInfo();
422 // Map the current input to a file.
423 FileID ModuleMapID = SrcMgr.getMainFileID();
424 const FileEntry *ModuleMap = SrcMgr.getFileEntryForID(ModuleMapID);
426 // If the module map is preprocessed, handle the initial line marker;
427 // line directives are not part of the module map syntax in general.
429 if (IsPreprocessed) {
430 SourceLocation EndOfLineMarker =
431 ReadOriginalFileName(CI, PresumedModuleMapFile, /*IsModuleMap*/ true);
432 if (EndOfLineMarker.isValid())
433 Offset = CI.getSourceManager().getDecomposedLoc(EndOfLineMarker).second;
436 // Load the module map file.
437 if (HS.loadModuleMapFile(ModuleMap, IsSystem, ModuleMapID, &Offset,
438 PresumedModuleMapFile))
441 if (SrcMgr.getBuffer(ModuleMapID)->getBufferSize() == Offset)
447 static Module *prepareToBuildModule(CompilerInstance &CI,
448 StringRef ModuleMapFilename) {
449 if (CI.getLangOpts().CurrentModule.empty()) {
450 CI.getDiagnostics().Report(diag::err_missing_module_name);
452 // FIXME: Eventually, we could consider asking whether there was just
453 // a single module described in the module map, and use that as a
454 // default. Then it would be fairly trivial to just "compile" a module
455 // map with a single module (the common case).
459 // Dig out the module definition.
460 HeaderSearch &HS = CI.getPreprocessor().getHeaderSearchInfo();
461 Module *M = HS.lookupModule(CI.getLangOpts().CurrentModule,
462 /*AllowSearch=*/false);
464 CI.getDiagnostics().Report(diag::err_missing_module)
465 << CI.getLangOpts().CurrentModule << ModuleMapFilename;
470 // Check whether we can build this module at all.
471 if (Preprocessor::checkModuleIsAvailable(CI.getLangOpts(), CI.getTarget(),
472 CI.getDiagnostics(), M))
475 // Inform the preprocessor that includes from within the input buffer should
476 // be resolved relative to the build directory of the module map file.
477 CI.getPreprocessor().setMainFileDir(M->Directory);
479 // If the module was inferred from a different module map (via an expanded
480 // umbrella module definition), track that fact.
481 // FIXME: It would be preferable to fill this in as part of processing
482 // the module map, rather than adding it after the fact.
483 StringRef OriginalModuleMapName = CI.getFrontendOpts().OriginalModuleMap;
484 if (!OriginalModuleMapName.empty()) {
485 auto *OriginalModuleMap =
486 CI.getFileManager().getFile(OriginalModuleMapName,
488 if (!OriginalModuleMap) {
489 CI.getDiagnostics().Report(diag::err_module_map_not_found)
490 << OriginalModuleMapName;
493 if (OriginalModuleMap != CI.getSourceManager().getFileEntryForID(
494 CI.getSourceManager().getMainFileID())) {
495 M->IsInferred = true;
496 CI.getPreprocessor().getHeaderSearchInfo().getModuleMap()
497 .setInferredModuleAllowedBy(M, OriginalModuleMap);
501 // If we're being run from the command-line, the module build stack will not
502 // have been filled in yet, so complete it now in order to allow us to detect
504 SourceManager &SourceMgr = CI.getSourceManager();
505 if (SourceMgr.getModuleBuildStack().empty())
506 SourceMgr.pushModuleBuildStack(CI.getLangOpts().CurrentModule,
507 FullSourceLoc(SourceLocation(), SourceMgr));
511 /// Compute the input buffer that should be used to build the specified module.
512 static std::unique_ptr<llvm::MemoryBuffer>
513 getInputBufferForModule(CompilerInstance &CI, Module *M) {
514 FileManager &FileMgr = CI.getFileManager();
516 // Collect the set of #includes we need to build the module.
517 SmallString<256> HeaderContents;
518 std::error_code Err = std::error_code();
519 if (Module::Header UmbrellaHeader = M->getUmbrellaHeader())
520 addHeaderInclude(UmbrellaHeader.NameAsWritten, HeaderContents,
521 CI.getLangOpts(), M->IsExternC);
522 Err = collectModuleHeaderIncludes(
523 CI.getLangOpts(), FileMgr, CI.getDiagnostics(),
524 CI.getPreprocessor().getHeaderSearchInfo().getModuleMap(), M,
528 CI.getDiagnostics().Report(diag::err_module_cannot_create_includes)
529 << M->getFullModuleName() << Err.message();
533 return llvm::MemoryBuffer::getMemBufferCopy(
534 HeaderContents, Module::getModuleInputBufferName());
537 bool FrontendAction::BeginSourceFile(CompilerInstance &CI,
538 const FrontendInputFile &RealInput) {
539 FrontendInputFile Input(RealInput);
540 assert(!Instance && "Already processing a source file!");
541 assert(!Input.isEmpty() && "Unexpected empty filename!");
542 setCurrentInput(Input);
543 setCompilerInstance(&CI);
545 bool HasBegunSourceFile = false;
546 bool ReplayASTFile = Input.getKind().getFormat() == InputKind::Precompiled &&
547 usesPreprocessorOnly();
548 if (!BeginInvocation(CI))
551 // If we're replaying the build of an AST file, import it and set up
552 // the initial state from its build.
554 IntrusiveRefCntPtr<DiagnosticsEngine> Diags(&CI.getDiagnostics());
556 // The AST unit populates its own diagnostics engine rather than ours.
557 IntrusiveRefCntPtr<DiagnosticsEngine> ASTDiags(
558 new DiagnosticsEngine(Diags->getDiagnosticIDs(),
559 &Diags->getDiagnosticOptions()));
560 ASTDiags->setClient(Diags->getClient(), /*OwnsClient*/false);
562 // FIXME: What if the input is a memory buffer?
563 StringRef InputFile = Input.getFile();
565 std::unique_ptr<ASTUnit> AST = ASTUnit::LoadFromASTFile(
566 InputFile, CI.getPCHContainerReader(), ASTUnit::LoadPreprocessorOnly,
567 ASTDiags, CI.getFileSystemOpts(), CI.getCodeGenOpts().DebugTypeExtRefs);
571 // Options relating to how we treat the input (but not what we do with it)
572 // are inherited from the AST unit.
573 CI.getHeaderSearchOpts() = AST->getHeaderSearchOpts();
574 CI.getPreprocessorOpts() = AST->getPreprocessorOpts();
575 CI.getLangOpts() = AST->getLangOpts();
577 // Set the shared objects, these are reset when we finish processing the
578 // file, otherwise the CompilerInstance will happily destroy them.
579 CI.setFileManager(&AST->getFileManager());
580 CI.createSourceManager(CI.getFileManager());
581 CI.getSourceManager().initializeForReplay(AST->getSourceManager());
583 // Preload all the module files loaded transitively by the AST unit. Also
584 // load all module map files that were parsed as part of building the AST
586 if (auto ASTReader = AST->getASTReader()) {
587 auto &MM = ASTReader->getModuleManager();
588 auto &PrimaryModule = MM.getPrimaryModule();
590 for (serialization::ModuleFile &MF : MM)
591 if (&MF != &PrimaryModule)
592 CI.getFrontendOpts().ModuleFiles.push_back(MF.FileName);
594 ASTReader->visitTopLevelModuleMaps(PrimaryModule,
595 [&](const FileEntry *FE) {
596 CI.getFrontendOpts().ModuleMapFiles.push_back(FE->getName());
600 // Set up the input file for replay purposes.
601 auto Kind = AST->getInputKind();
602 if (Kind.getFormat() == InputKind::ModuleMap) {
604 AST->getPreprocessor().getHeaderSearchInfo().lookupModule(
605 AST->getLangOpts().CurrentModule, /*AllowSearch*/ false);
606 assert(ASTModule && "module file does not define its own module");
607 Input = FrontendInputFile(ASTModule->PresumedModuleMapFile, Kind);
609 auto &OldSM = AST->getSourceManager();
610 FileID ID = OldSM.getMainFileID();
611 if (auto *File = OldSM.getFileEntryForID(ID))
612 Input = FrontendInputFile(File->getName(), Kind);
614 Input = FrontendInputFile(OldSM.getBuffer(ID), Kind);
616 setCurrentInput(Input, std::move(AST));
619 // AST files follow a very different path, since they share objects via the
621 if (Input.getKind().getFormat() == InputKind::Precompiled) {
622 assert(!usesPreprocessorOnly() && "this case was handled above");
623 assert(hasASTFileSupport() &&
624 "This action does not have AST file support!");
626 IntrusiveRefCntPtr<DiagnosticsEngine> Diags(&CI.getDiagnostics());
628 // FIXME: What if the input is a memory buffer?
629 StringRef InputFile = Input.getFile();
631 std::unique_ptr<ASTUnit> AST = ASTUnit::LoadFromASTFile(
632 InputFile, CI.getPCHContainerReader(), ASTUnit::LoadEverything, Diags,
633 CI.getFileSystemOpts(), CI.getCodeGenOpts().DebugTypeExtRefs);
638 // Inform the diagnostic client we are processing a source file.
639 CI.getDiagnosticClient().BeginSourceFile(CI.getLangOpts(), nullptr);
640 HasBegunSourceFile = true;
642 // Set the shared objects, these are reset when we finish processing the
643 // file, otherwise the CompilerInstance will happily destroy them.
644 CI.setFileManager(&AST->getFileManager());
645 CI.setSourceManager(&AST->getSourceManager());
646 CI.setPreprocessor(AST->getPreprocessorPtr());
647 Preprocessor &PP = CI.getPreprocessor();
648 PP.getBuiltinInfo().initializeBuiltins(PP.getIdentifierTable(),
650 CI.setASTContext(&AST->getASTContext());
652 setCurrentInput(Input, std::move(AST));
654 // Initialize the action.
655 if (!BeginSourceFileAction(CI))
658 // Create the AST consumer.
659 CI.setASTConsumer(CreateWrappedASTConsumer(CI, InputFile));
660 if (!CI.hasASTConsumer())
666 // Set up the file and source managers, if needed.
667 if (!CI.hasFileManager()) {
668 if (!CI.createFileManager()) {
672 if (!CI.hasSourceManager())
673 CI.createSourceManager(CI.getFileManager());
675 // Set up embedding for any specified files. Do this before we load any
676 // source files, including the primary module map for the compilation.
677 for (const auto &F : CI.getFrontendOpts().ModulesEmbedFiles) {
678 if (const auto *FE = CI.getFileManager().getFile(F, /*openFile*/true))
679 CI.getSourceManager().setFileIsTransient(FE);
681 CI.getDiagnostics().Report(diag::err_modules_embed_file_not_found) << F;
683 if (CI.getFrontendOpts().ModulesEmbedAllFiles)
684 CI.getSourceManager().setAllFilesAreTransient(true);
686 // IR files bypass the rest of initialization.
687 if (Input.getKind().getLanguage() == InputKind::LLVM_IR) {
688 assert(hasIRSupport() &&
689 "This action does not have IR file support!");
691 // Inform the diagnostic client we are processing a source file.
692 CI.getDiagnosticClient().BeginSourceFile(CI.getLangOpts(), nullptr);
693 HasBegunSourceFile = true;
695 // Initialize the action.
696 if (!BeginSourceFileAction(CI))
699 // Initialize the main file entry.
700 if (!CI.InitializeSourceManager(CurrentInput))
706 // If the implicit PCH include is actually a directory, rather than
707 // a single file, search for a suitable PCH file in that directory.
708 if (!CI.getPreprocessorOpts().ImplicitPCHInclude.empty()) {
709 FileManager &FileMgr = CI.getFileManager();
710 PreprocessorOptions &PPOpts = CI.getPreprocessorOpts();
711 StringRef PCHInclude = PPOpts.ImplicitPCHInclude;
712 std::string SpecificModuleCachePath = CI.getSpecificModuleCachePath();
713 if (const DirectoryEntry *PCHDir = FileMgr.getDirectory(PCHInclude)) {
715 SmallString<128> DirNative;
716 llvm::sys::path::native(PCHDir->getName(), DirNative);
718 llvm::vfs::FileSystem &FS = *FileMgr.getVirtualFileSystem();
719 for (llvm::vfs::directory_iterator Dir = FS.dir_begin(DirNative, EC),
721 Dir != DirEnd && !EC; Dir.increment(EC)) {
722 // Check whether this is an acceptable AST file.
723 if (ASTReader::isAcceptableASTFile(
724 Dir->path(), FileMgr, CI.getPCHContainerReader(),
725 CI.getLangOpts(), CI.getTargetOpts(), CI.getPreprocessorOpts(),
726 SpecificModuleCachePath)) {
727 PPOpts.ImplicitPCHInclude = Dir->path();
734 CI.getDiagnostics().Report(diag::err_fe_no_pch_in_dir) << PCHInclude;
740 // Set up the preprocessor if needed. When parsing model files the
741 // preprocessor of the original source is reused.
742 if (!isModelParsingAction())
743 CI.createPreprocessor(getTranslationUnitKind());
745 // Inform the diagnostic client we are processing a source file.
746 CI.getDiagnosticClient().BeginSourceFile(CI.getLangOpts(),
747 &CI.getPreprocessor());
748 HasBegunSourceFile = true;
750 // Initialize the main file entry.
751 if (!CI.InitializeSourceManager(Input))
754 // For module map files, we first parse the module map and synthesize a
755 // "<module-includes>" buffer before more conventional processing.
756 if (Input.getKind().getFormat() == InputKind::ModuleMap) {
757 CI.getLangOpts().setCompilingModule(LangOptions::CMK_ModuleMap);
759 std::string PresumedModuleMapFile;
760 unsigned OffsetToContents;
761 if (loadModuleMapForModuleBuild(CI, Input.isSystem(),
762 Input.isPreprocessed(),
763 PresumedModuleMapFile, OffsetToContents))
766 auto *CurrentModule = prepareToBuildModule(CI, Input.getFile());
770 CurrentModule->PresumedModuleMapFile = PresumedModuleMapFile;
772 if (OffsetToContents)
773 // If the module contents are in the same file, skip to them.
774 CI.getPreprocessor().setSkipMainFilePreamble(OffsetToContents, true);
776 // Otherwise, convert the module description to a suitable input buffer.
777 auto Buffer = getInputBufferForModule(CI, CurrentModule);
781 // Reinitialize the main file entry to refer to the new input.
782 auto Kind = CurrentModule->IsSystem ? SrcMgr::C_System : SrcMgr::C_User;
783 auto &SourceMgr = CI.getSourceManager();
784 auto BufferID = SourceMgr.createFileID(std::move(Buffer), Kind);
785 assert(BufferID.isValid() && "couldn't creaate module buffer ID");
786 SourceMgr.setMainFileID(BufferID);
790 // Initialize the action.
791 if (!BeginSourceFileAction(CI))
794 // If we were asked to load any module map files, do so now.
795 for (const auto &Filename : CI.getFrontendOpts().ModuleMapFiles) {
796 if (auto *File = CI.getFileManager().getFile(Filename))
797 CI.getPreprocessor().getHeaderSearchInfo().loadModuleMapFile(
798 File, /*IsSystem*/false);
800 CI.getDiagnostics().Report(diag::err_module_map_not_found) << Filename;
803 // Add a module declaration scope so that modules from -fmodule-map-file
804 // arguments may shadow modules found implicitly in search paths.
806 .getHeaderSearchInfo()
808 .finishModuleDeclarationScope();
810 // Create the AST context and consumer unless this is a preprocessor only
812 if (!usesPreprocessorOnly()) {
813 // Parsing a model file should reuse the existing ASTContext.
814 if (!isModelParsingAction())
815 CI.createASTContext();
817 // For preprocessed files, check if the first line specifies the original
818 // source file name with a linemarker.
819 std::string PresumedInputFile = getCurrentFileOrBufferName();
820 if (Input.isPreprocessed())
821 ReadOriginalFileName(CI, PresumedInputFile);
823 std::unique_ptr<ASTConsumer> Consumer =
824 CreateWrappedASTConsumer(CI, PresumedInputFile);
828 // FIXME: should not overwrite ASTMutationListener when parsing model files?
829 if (!isModelParsingAction())
830 CI.getASTContext().setASTMutationListener(Consumer->GetASTMutationListener());
832 if (!CI.getPreprocessorOpts().ChainedIncludes.empty()) {
833 // Convert headers to PCH and chain them.
834 IntrusiveRefCntPtr<ExternalSemaSource> source, FinalReader;
835 source = createChainedIncludesSource(CI, FinalReader);
838 CI.setModuleManager(static_cast<ASTReader *>(FinalReader.get()));
839 CI.getASTContext().setExternalSource(source);
840 } else if (CI.getLangOpts().Modules ||
841 !CI.getPreprocessorOpts().ImplicitPCHInclude.empty()) {
843 assert(hasPCHSupport() && "This action does not have PCH support!");
844 ASTDeserializationListener *DeserialListener =
845 Consumer->GetASTDeserializationListener();
846 bool DeleteDeserialListener = false;
847 if (CI.getPreprocessorOpts().DumpDeserializedPCHDecls) {
848 DeserialListener = new DeserializedDeclsDumper(DeserialListener,
849 DeleteDeserialListener);
850 DeleteDeserialListener = true;
852 if (!CI.getPreprocessorOpts().DeserializedPCHDeclsToErrorOn.empty()) {
853 DeserialListener = new DeserializedDeclsChecker(
855 CI.getPreprocessorOpts().DeserializedPCHDeclsToErrorOn,
856 DeserialListener, DeleteDeserialListener);
857 DeleteDeserialListener = true;
859 if (!CI.getPreprocessorOpts().ImplicitPCHInclude.empty()) {
860 CI.createPCHExternalASTSource(
861 CI.getPreprocessorOpts().ImplicitPCHInclude,
862 CI.getPreprocessorOpts().DisablePCHValidation,
863 CI.getPreprocessorOpts().AllowPCHWithCompilerErrors, DeserialListener,
864 DeleteDeserialListener);
865 if (!CI.getASTContext().getExternalSource())
868 // If modules are enabled, create the module manager before creating
869 // any builtins, so that all declarations know that they might be
870 // extended by an external source.
871 if (CI.getLangOpts().Modules || !CI.hasASTContext() ||
872 !CI.getASTContext().getExternalSource()) {
873 CI.createModuleManager();
874 CI.getModuleManager()->setDeserializationListener(DeserialListener,
875 DeleteDeserialListener);
879 CI.setASTConsumer(std::move(Consumer));
880 if (!CI.hasASTConsumer())
884 // Initialize built-in info as long as we aren't using an external AST
886 if (CI.getLangOpts().Modules || !CI.hasASTContext() ||
887 !CI.getASTContext().getExternalSource()) {
888 Preprocessor &PP = CI.getPreprocessor();
889 PP.getBuiltinInfo().initializeBuiltins(PP.getIdentifierTable(),
892 // FIXME: If this is a problem, recover from it by creating a multiplex
894 assert((!CI.getLangOpts().Modules || CI.getModuleManager()) &&
895 "modules enabled but created an external source that "
896 "doesn't support modules");
899 // If we were asked to load any module files, do so now.
900 for (const auto &ModuleFile : CI.getFrontendOpts().ModuleFiles)
901 if (!CI.loadModuleFile(ModuleFile))
904 // If there is a layout overrides file, attach an external AST source that
905 // provides the layouts from that file.
906 if (!CI.getFrontendOpts().OverrideRecordLayoutsFile.empty() &&
907 CI.hasASTContext() && !CI.getASTContext().getExternalSource()) {
908 IntrusiveRefCntPtr<ExternalASTSource>
909 Override(new LayoutOverrideSource(
910 CI.getFrontendOpts().OverrideRecordLayoutsFile));
911 CI.getASTContext().setExternalSource(Override);
916 // If we failed, reset state since the client will not end up calling the
917 // matching EndSourceFile().
919 if (HasBegunSourceFile)
920 CI.getDiagnosticClient().EndSourceFile();
921 CI.clearOutputFiles(/*EraseFiles=*/true);
922 CI.getLangOpts().setCompilingModule(LangOptions::CMK_None);
923 setCurrentInput(FrontendInputFile());
924 setCompilerInstance(nullptr);
928 bool FrontendAction::Execute() {
929 CompilerInstance &CI = getCompilerInstance();
931 if (CI.hasFrontendTimer()) {
932 llvm::TimeRegion Timer(CI.getFrontendTimer());
935 else ExecuteAction();
937 // If we are supposed to rebuild the global module index, do so now unless
938 // there were any module-build failures.
939 if (CI.shouldBuildGlobalModuleIndex() && CI.hasFileManager() &&
940 CI.hasPreprocessor()) {
942 CI.getPreprocessor().getHeaderSearchInfo().getModuleCachePath();
944 GlobalModuleIndex::writeIndex(CI.getFileManager(),
945 CI.getPCHContainerReader(), Cache);
951 void FrontendAction::EndSourceFile() {
952 CompilerInstance &CI = getCompilerInstance();
954 // Inform the diagnostic client we are done with this source file.
955 CI.getDiagnosticClient().EndSourceFile();
957 // Inform the preprocessor we are done.
958 if (CI.hasPreprocessor())
959 CI.getPreprocessor().EndSourceFile();
961 // Finalize the action.
962 EndSourceFileAction();
964 // Sema references the ast consumer, so reset sema first.
966 // FIXME: There is more per-file stuff we could just drop here?
967 bool DisableFree = CI.getFrontendOpts().DisableFree;
969 CI.resetAndLeakSema();
970 CI.resetAndLeakASTContext();
971 llvm::BuryPointer(CI.takeASTConsumer().get());
974 CI.setASTContext(nullptr);
975 CI.setASTConsumer(nullptr);
978 if (CI.getFrontendOpts().ShowStats) {
979 llvm::errs() << "\nSTATISTICS FOR '" << getCurrentFile() << "':\n";
980 CI.getPreprocessor().PrintStats();
981 CI.getPreprocessor().getIdentifierTable().PrintStats();
982 CI.getPreprocessor().getHeaderSearchInfo().PrintStats();
983 CI.getSourceManager().PrintStats();
984 llvm::errs() << "\n";
987 // Cleanup the output streams, and erase the output files if instructed by the
989 CI.clearOutputFiles(/*EraseFiles=*/shouldEraseOutputFiles());
991 if (isCurrentFileAST()) {
993 CI.resetAndLeakPreprocessor();
994 CI.resetAndLeakSourceManager();
995 CI.resetAndLeakFileManager();
996 llvm::BuryPointer(std::move(CurrentASTUnit));
998 CI.setPreprocessor(nullptr);
999 CI.setSourceManager(nullptr);
1000 CI.setFileManager(nullptr);
1004 setCompilerInstance(nullptr);
1005 setCurrentInput(FrontendInputFile());
1006 CI.getLangOpts().setCompilingModule(LangOptions::CMK_None);
1009 bool FrontendAction::shouldEraseOutputFiles() {
1010 return getCompilerInstance().getDiagnostics().hasErrorOccurred();
1013 //===----------------------------------------------------------------------===//
1015 //===----------------------------------------------------------------------===//
1017 void ASTFrontendAction::ExecuteAction() {
1018 CompilerInstance &CI = getCompilerInstance();
1019 if (!CI.hasPreprocessor())
1022 // FIXME: Move the truncation aspect of this into Sema, we delayed this till
1023 // here so the source manager would be initialized.
1024 if (hasCodeCompletionSupport() &&
1025 !CI.getFrontendOpts().CodeCompletionAt.FileName.empty())
1026 CI.createCodeCompletionConsumer();
1028 // Use a code completion consumer?
1029 CodeCompleteConsumer *CompletionConsumer = nullptr;
1030 if (CI.hasCodeCompletionConsumer())
1031 CompletionConsumer = &CI.getCodeCompletionConsumer();
1034 CI.createSema(getTranslationUnitKind(), CompletionConsumer);
1036 ParseAST(CI.getSema(), CI.getFrontendOpts().ShowStats,
1037 CI.getFrontendOpts().SkipFunctionBodies);
1040 void PluginASTAction::anchor() { }
1042 std::unique_ptr<ASTConsumer>
1043 PreprocessorFrontendAction::CreateASTConsumer(CompilerInstance &CI,
1045 llvm_unreachable("Invalid CreateASTConsumer on preprocessor action!");
1048 std::unique_ptr<ASTConsumer>
1049 WrapperFrontendAction::CreateASTConsumer(CompilerInstance &CI,
1051 return WrappedAction->CreateASTConsumer(CI, InFile);
1053 bool WrapperFrontendAction::BeginInvocation(CompilerInstance &CI) {
1054 return WrappedAction->BeginInvocation(CI);
1056 bool WrapperFrontendAction::BeginSourceFileAction(CompilerInstance &CI) {
1057 WrappedAction->setCurrentInput(getCurrentInput());
1058 WrappedAction->setCompilerInstance(&CI);
1059 auto Ret = WrappedAction->BeginSourceFileAction(CI);
1060 // BeginSourceFileAction may change CurrentInput, e.g. during module builds.
1061 setCurrentInput(WrappedAction->getCurrentInput());
1064 void WrapperFrontendAction::ExecuteAction() {
1065 WrappedAction->ExecuteAction();
1067 void WrapperFrontendAction::EndSourceFileAction() {
1068 WrappedAction->EndSourceFileAction();
1071 bool WrapperFrontendAction::usesPreprocessorOnly() const {
1072 return WrappedAction->usesPreprocessorOnly();
1074 TranslationUnitKind WrapperFrontendAction::getTranslationUnitKind() {
1075 return WrappedAction->getTranslationUnitKind();
1077 bool WrapperFrontendAction::hasPCHSupport() const {
1078 return WrappedAction->hasPCHSupport();
1080 bool WrapperFrontendAction::hasASTFileSupport() const {
1081 return WrappedAction->hasASTFileSupport();
1083 bool WrapperFrontendAction::hasIRSupport() const {
1084 return WrappedAction->hasIRSupport();
1086 bool WrapperFrontendAction::hasCodeCompletionSupport() const {
1087 return WrappedAction->hasCodeCompletionSupport();
1090 WrapperFrontendAction::WrapperFrontendAction(
1091 std::unique_ptr<FrontendAction> WrappedAction)
1092 : WrappedAction(std::move(WrappedAction)) {}