clang 19.0.0git
ExecuteCompilerInvocation.cpp
Go to the documentation of this file.
1//===--- ExecuteCompilerInvocation.cpp ------------------------------------===//
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// This file holds ExecuteCompilerInvocation(). It is split into its own file to
10// minimize the impact of pulling in essentially everything else in Clang.
11//
12//===----------------------------------------------------------------------===//
13
16#include "clang/Config/config.h"
29#include "llvm/Option/OptTable.h"
30#include "llvm/Option/Option.h"
31#include "llvm/Support/BuryPointer.h"
32#include "llvm/Support/DynamicLibrary.h"
33#include "llvm/Support/ErrorHandling.h"
34using namespace clang;
35using namespace llvm::opt;
36
37namespace clang {
38
39static std::unique_ptr<FrontendAction>
41 using namespace clang::frontend;
42 StringRef Action("unknown");
43 (void)Action;
44
45 switch (CI.getFrontendOpts().ProgramAction) {
46 case ASTDeclList: return std::make_unique<ASTDeclListAction>();
47 case ASTDump: return std::make_unique<ASTDumpAction>();
48 case ASTPrint: return std::make_unique<ASTPrintAction>();
49 case ASTView: return std::make_unique<ASTViewAction>();
50 case DumpCompilerOptions:
51 return std::make_unique<DumpCompilerOptionsAction>();
52 case DumpRawTokens: return std::make_unique<DumpRawTokensAction>();
53 case DumpTokens: return std::make_unique<DumpTokensAction>();
54 case EmitAssembly: return std::make_unique<EmitAssemblyAction>();
55 case EmitBC: return std::make_unique<EmitBCAction>();
56 case EmitHTML: return std::make_unique<HTMLPrintAction>();
57 case EmitLLVM: return std::make_unique<EmitLLVMAction>();
58 case EmitLLVMOnly: return std::make_unique<EmitLLVMOnlyAction>();
59 case EmitCodeGenOnly: return std::make_unique<EmitCodeGenOnlyAction>();
60 case EmitObj: return std::make_unique<EmitObjAction>();
61 case ExtractAPI:
62 return std::make_unique<ExtractAPIAction>();
63 case FixIt: return std::make_unique<FixItAction>();
64 case GenerateModule:
65 return std::make_unique<GenerateModuleFromModuleMapAction>();
66 case GenerateModuleInterface:
67 return std::make_unique<GenerateModuleInterfaceAction>();
68 case GenerateReducedModuleInterface:
69 return std::make_unique<GenerateReducedModuleInterfaceAction>();
70 case GenerateHeaderUnit:
71 return std::make_unique<GenerateHeaderUnitAction>();
72 case GeneratePCH: return std::make_unique<GeneratePCHAction>();
73 case GenerateInterfaceStubs:
74 return std::make_unique<GenerateInterfaceStubsAction>();
75 case InitOnly: return std::make_unique<InitOnlyAction>();
76 case ParseSyntaxOnly: return std::make_unique<SyntaxOnlyAction>();
77 case ModuleFileInfo: return std::make_unique<DumpModuleInfoAction>();
78 case VerifyPCH: return std::make_unique<VerifyPCHAction>();
79 case TemplightDump: return std::make_unique<TemplightDumpAction>();
80
81 case PluginAction: {
82 for (const FrontendPluginRegistry::entry &Plugin :
83 FrontendPluginRegistry::entries()) {
84 if (Plugin.getName() == CI.getFrontendOpts().ActionName) {
85 std::unique_ptr<PluginASTAction> P(Plugin.instantiate());
86 if ((P->getActionType() != PluginASTAction::ReplaceAction &&
87 P->getActionType() != PluginASTAction::CmdlineAfterMainAction) ||
88 !P->ParseArgs(
89 CI,
90 CI.getFrontendOpts().PluginArgs[std::string(Plugin.getName())]))
91 return nullptr;
92 return std::move(P);
93 }
94 }
95
96 CI.getDiagnostics().Report(diag::err_fe_invalid_plugin_name)
98 return nullptr;
99 }
100
101 case PrintPreamble: return std::make_unique<PrintPreambleAction>();
102 case PrintPreprocessedInput: {
105 return std::make_unique<RewriteIncludesAction>();
106 return std::make_unique<PrintPreprocessedAction>();
107 }
108
109 case RewriteMacros: return std::make_unique<RewriteMacrosAction>();
110 case RewriteTest: return std::make_unique<RewriteTestAction>();
111#if CLANG_ENABLE_OBJC_REWRITER
112 case RewriteObjC: return std::make_unique<RewriteObjCAction>();
113#else
114 case RewriteObjC: Action = "RewriteObjC"; break;
115#endif
116#if CLANG_ENABLE_ARCMT
117 case MigrateSource:
118 return std::make_unique<arcmt::MigrateSourceAction>();
119#else
120 case MigrateSource: Action = "MigrateSource"; break;
121#endif
122#if CLANG_ENABLE_STATIC_ANALYZER
123 case RunAnalysis: return std::make_unique<ento::AnalysisAction>();
124#else
125 case RunAnalysis: Action = "RunAnalysis"; break;
126#endif
127 case RunPreprocessorOnly: return std::make_unique<PreprocessOnlyAction>();
128 case PrintDependencyDirectivesSourceMinimizerOutput:
129 return std::make_unique<PrintDependencyDirectivesSourceMinimizerAction>();
130 }
131
132#if !CLANG_ENABLE_ARCMT || !CLANG_ENABLE_STATIC_ANALYZER \
133 || !CLANG_ENABLE_OBJC_REWRITER
134 CI.getDiagnostics().Report(diag::err_fe_action_not_available) << Action;
135 return 0;
136#else
137 llvm_unreachable("Invalid program action!");
138#endif
139}
140
141std::unique_ptr<FrontendAction>
143 // Create the underlying action.
144 std::unique_ptr<FrontendAction> Act = CreateFrontendBaseAction(CI);
145 if (!Act)
146 return nullptr;
147
148 const FrontendOptions &FEOpts = CI.getFrontendOpts();
149
150 if (FEOpts.FixAndRecompile) {
151 Act = std::make_unique<FixItRecompile>(std::move(Act));
152 }
153
154#if CLANG_ENABLE_ARCMT
157 // Potentially wrap the base FE action in an ARC Migrate Tool action.
158 switch (FEOpts.ARCMTAction) {
160 break;
162 Act = std::make_unique<arcmt::CheckAction>(std::move(Act));
163 break;
165 Act = std::make_unique<arcmt::ModifyAction>(std::move(Act));
166 break;
168 Act = std::make_unique<arcmt::MigrateAction>(std::move(Act),
169 FEOpts.MTMigrateDir,
172 break;
173 }
174
176 Act = std::make_unique<arcmt::ObjCMigrateAction>(std::move(Act),
177 FEOpts.MTMigrateDir,
178 FEOpts.ObjCMTAction);
179 }
180 }
181#endif
182
183 // Wrap the base FE action in an extract api action to generate
184 // symbol graph as a biproduct of compilation (enabled with
185 // --emit-symbol-graph option)
186 if (FEOpts.EmitSymbolGraph) {
187 if (FEOpts.SymbolGraphOutputDir.empty()) {
188 CI.getDiagnostics().Report(diag::warn_missing_symbol_graph_dir);
190 }
191 CI.getCodeGenOpts().ClearASTBeforeBackend = false;
192 Act = std::make_unique<WrappingExtractAPIAction>(std::move(Act));
193 }
194
195 // If there are any AST files to merge, create a frontend action
196 // adaptor to perform the merge.
197 if (!FEOpts.ASTMergeFiles.empty())
198 Act = std::make_unique<ASTMergeAction>(std::move(Act),
199 FEOpts.ASTMergeFiles);
200
201 return Act;
202}
203
205 // Honor -help.
206 if (Clang->getFrontendOpts().ShowHelp) {
207 driver::getDriverOptTable().printHelp(
208 llvm::outs(), "clang -cc1 [options] file...",
209 "LLVM 'Clang' Compiler: http://clang.llvm.org",
210 /*ShowHidden=*/false, /*ShowAllAliases=*/false,
211 llvm::opt::Visibility(driver::options::CC1Option));
212 return true;
213 }
214
215 // Honor -version.
216 //
217 // FIXME: Use a better -version message?
218 if (Clang->getFrontendOpts().ShowVersion) {
219 llvm::cl::PrintVersionMessage();
220 return true;
221 }
222
223 Clang->LoadRequestedPlugins();
224
225 // Honor -mllvm.
226 //
227 // FIXME: Remove this, one day.
228 // This should happen AFTER plugins have been loaded!
229 if (!Clang->getFrontendOpts().LLVMArgs.empty()) {
230 unsigned NumArgs = Clang->getFrontendOpts().LLVMArgs.size();
231 auto Args = std::make_unique<const char*[]>(NumArgs + 2);
232 Args[0] = "clang (LLVM option parsing)";
233 for (unsigned i = 0; i != NumArgs; ++i)
234 Args[i + 1] = Clang->getFrontendOpts().LLVMArgs[i].c_str();
235 Args[NumArgs + 1] = nullptr;
236 llvm::cl::ParseCommandLineOptions(NumArgs + 1, Args.get());
237 }
238
239#if CLANG_ENABLE_STATIC_ANALYZER
240 // These should happen AFTER plugins have been loaded!
241
242 AnalyzerOptions &AnOpts = Clang->getAnalyzerOpts();
243
244 // Honor -analyzer-checker-help and -analyzer-checker-help-hidden.
245 if (AnOpts.ShowCheckerHelp || AnOpts.ShowCheckerHelpAlpha ||
247 ento::printCheckerHelp(llvm::outs(), *Clang);
248 return true;
249 }
250
251 // Honor -analyzer-checker-option-help.
254 ento::printCheckerConfigList(llvm::outs(), *Clang);
255 return true;
256 }
257
258 // Honor -analyzer-list-enabled-checkers.
259 if (AnOpts.ShowEnabledCheckerList) {
260 ento::printEnabledCheckerList(llvm::outs(), *Clang);
261 return true;
262 }
263
264 // Honor -analyzer-config-help.
265 if (AnOpts.ShowConfigOptionsList) {
266 ento::printAnalyzerConfigList(llvm::outs());
267 return true;
268 }
269#endif
270
271 // If there were errors in processing arguments, don't do anything else.
272 if (Clang->getDiagnostics().hasErrorOccurred())
273 return false;
274 // Create and execute the frontend action.
275 std::unique_ptr<FrontendAction> Act(CreateFrontendAction(*Clang));
276 if (!Act)
277 return false;
278 bool Success = Clang->ExecuteAction(*Act);
279 if (Clang->getFrontendOpts().DisableFree)
280 llvm::BuryPointer(std::move(Act));
281 return Success;
282}
283
284} // namespace clang
StringRef P
This file defines the ExtractAPIAction and WrappingExtractAPIAction frontend actions.
Stores options for the analyzer from the command line.
unsigned ShowCheckerOptionDeveloperList
CompilerInstance - Helper class for managing a single instance of the Clang compiler.
AnalyzerOptions & getAnalyzerOpts()
DiagnosticsEngine & getDiagnostics() const
Get the current diagnostics engine.
PreprocessorOutputOptions & getPreprocessorOutputOpts()
void LoadRequestedPlugins()
Load the list of plugins requested in the FrontendOptions.
FrontendOptions & getFrontendOpts()
bool ExecuteAction(FrontendAction &Act)
ExecuteAction - Execute the provided action against the compiler's CompilerInvocation object.
CodeGenOptions & getCodeGenOpts()
DiagnosticBuilder Report(SourceLocation Loc, unsigned DiagID)
Issue the message to the client.
Definition: Diagnostic.h:1547
bool hasErrorOccurred() const
Definition: Diagnostic.h:843
FrontendOptions - Options for controlling the behavior of the frontend.
unsigned EmitSymbolGraph
Whether to emit symbol graph files as a side effect of compilation.
std::map< std::string, std::vector< std::string > > PluginArgs
Args to pass to the plugins.
std::vector< std::string > LLVMArgs
A list of arguments to forward to LLVM's option processing; this should only be used for debugging an...
unsigned ShowHelp
Show the -help text.
unsigned FixAndRecompile
Apply fixes and recompile.
std::string ActionName
The name of the action to run when using a plugin action.
std::string ARCMTMigrateReportOut
unsigned ShowVersion
Show the -version text.
unsigned ARCMTMigrateEmitARCErrors
Emit ARC errors even if the migrator can fix them.
std::string SymbolGraphOutputDir
std::vector< std::string > ASTMergeFiles
The list of AST files to merge.
unsigned DisableFree
Disable memory freeing on exit.
frontend::ActionKind ProgramAction
The frontend action to perform.
enum clang::FrontendOptions::@196 ARCMTAction
@ ReplaceAction
Replace the main action.
@ CmdlineAfterMainAction
Execute the action after the main action if on the command line.
unsigned RewriteIncludes
Preprocess include directives only.
unsigned RewriteImports
Include contents of transitively-imported modules.
const llvm::opt::OptTable & getDriverOptTable()
void printEnabledCheckerList(llvm::raw_ostream &OS, CompilerInstance &CI)
void printCheckerHelp(llvm::raw_ostream &OS, CompilerInstance &CI)
void printAnalyzerConfigList(llvm::raw_ostream &OS)
void printCheckerConfigList(llvm::raw_ostream &OS, CompilerInstance &CI)
@ MigrateSource
Run migrator.
@ GeneratePCH
Generate pre-compiled header.
The JSON file list parser is used to communicate input to InstallAPI.
static std::unique_ptr< FrontendAction > CreateFrontendBaseAction(CompilerInstance &CI)
bool ExecuteCompilerInvocation(CompilerInstance *Clang)
ExecuteCompilerInvocation - Execute the given actions described by the compiler invocation object in ...
std::unique_ptr< FrontendAction > CreateFrontendAction(CompilerInstance &CI)
Construct the FrontendAction of a compiler invocation based on the options specified for the compiler...
@ Success
Template argument deduction was successful.