blob: 162a4914dec420d81d7b8e8ca62f5c7dfc297cc9 [file] [log] [blame]
Manuel Klimek47c245a2012-04-04 12:07:46 +00001//===--- Tooling.cpp - Running clang standalone tools ---------------------===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This file implements functions to run clang tools standalone instead
11// of running them as a plugin.
12//
13//===----------------------------------------------------------------------===//
14
15#include "clang/Tooling/Tooling.h"
Manuel Klimek47c245a2012-04-04 12:07:46 +000016#include "clang/Driver/Compilation.h"
17#include "clang/Driver/Driver.h"
Olivier Goffartb37a5e32016-08-30 17:42:29 +000018#include "clang/Driver/Options.h"
Manuel Klimek47c245a2012-04-04 12:07:46 +000019#include "clang/Driver/Tool.h"
Manuel Klimek9b30e2b2015-10-06 10:45:03 +000020#include "clang/Driver/ToolChain.h"
Peter Collingbournec689ee72013-11-06 20:12:45 +000021#include "clang/Frontend/ASTUnit.h"
Manuel Klimek47c245a2012-04-04 12:07:46 +000022#include "clang/Frontend/CompilerInstance.h"
Manuel Klimek47c245a2012-04-04 12:07:46 +000023#include "clang/Frontend/FrontendDiagnostic.h"
24#include "clang/Frontend/TextDiagnosticPrinter.h"
Mehdi Amini9670f842016-07-18 19:02:11 +000025#include "clang/Lex/PreprocessorOptions.h"
Chandler Carruth3a022472012-12-04 09:13:33 +000026#include "clang/Tooling/ArgumentsAdjusters.h"
27#include "clang/Tooling/CompilationDatabase.h"
NAKAMURA Takumi3a64a4b2012-04-04 13:59:41 +000028#include "llvm/ADT/STLExtras.h"
Alp Toker1d257e12014-06-04 03:28:55 +000029#include "llvm/Config/llvm-config.h"
Olivier Goffartb37a5e32016-08-30 17:42:29 +000030#include "llvm/Option/ArgList.h"
Reid Kleckner898229a2013-06-14 17:17:23 +000031#include "llvm/Option/Option.h"
Edwin Vane34794c52013-03-15 20:14:01 +000032#include "llvm/Support/Debug.h"
NAKAMURA Takumif0c87792012-04-04 13:59:36 +000033#include "llvm/Support/FileSystem.h"
NAKAMURA Takumi3a64a4b2012-04-04 13:59:41 +000034#include "llvm/Support/Host.h"
Mehdi Amini9670f842016-07-18 19:02:11 +000035#include "llvm/Support/Path.h"
NAKAMURA Takumi3a64a4b2012-04-04 13:59:41 +000036#include "llvm/Support/raw_ostream.h"
Benjamin Kramercfeacf52016-05-27 14:27:13 +000037#include <utility>
Manuel Klimek47c245a2012-04-04 12:07:46 +000038
Chandler Carruth57f5fbe2014-04-21 22:55:36 +000039#define DEBUG_TYPE "clang-tooling"
40
Manuel Klimek47c245a2012-04-04 12:07:46 +000041namespace clang {
42namespace tooling {
43
Angel Garcia Gomez637d1e62015-10-20 13:23:58 +000044ToolAction::~ToolAction() {}
Peter Collingbournec689ee72013-11-06 20:12:45 +000045
Angel Garcia Gomez637d1e62015-10-20 13:23:58 +000046FrontendActionFactory::~FrontendActionFactory() {}
Manuel Klimek47c245a2012-04-04 12:07:46 +000047
48// FIXME: This file contains structural duplication with other parts of the
49// code that sets up a compiler to run tools on it, and we should refactor
50// it to be based on the same framework.
51
52/// \brief Builds a clang driver initialized for running clang tools.
Benjamin Kramer407eb792015-10-09 13:03:25 +000053static clang::driver::Driver *newDriver(
54 clang::DiagnosticsEngine *Diagnostics, const char *BinaryName,
55 IntrusiveRefCntPtr<vfs::FileSystem> VFS) {
Benjamin Kramer7320b992016-06-15 14:20:56 +000056 clang::driver::Driver *CompilerDriver =
57 new clang::driver::Driver(BinaryName, llvm::sys::getDefaultTargetTriple(),
58 *Diagnostics, std::move(VFS));
Manuel Klimek47c245a2012-04-04 12:07:46 +000059 CompilerDriver->setTitle("clang_based_tool");
60 return CompilerDriver;
61}
62
63/// \brief Retrieves the clang CC1 specific flags out of the compilation's jobs.
64///
65/// Returns NULL on error.
Reid Kleckner898229a2013-06-14 17:17:23 +000066static const llvm::opt::ArgStringList *getCC1Arguments(
Manuel Klimek47c245a2012-04-04 12:07:46 +000067 clang::DiagnosticsEngine *Diagnostics,
68 clang::driver::Compilation *Compilation) {
69 // We expect to get back exactly one Command job, if we didn't something
70 // failed. Extract that job from the Compilation.
71 const clang::driver::JobList &Jobs = Compilation->getJobs();
Justin Bogneraab97922014-10-03 01:04:53 +000072 if (Jobs.size() != 1 || !isa<clang::driver::Command>(*Jobs.begin())) {
Dmitri Gribenkof8579502013-01-12 19:30:44 +000073 SmallString<256> error_msg;
Manuel Klimek47c245a2012-04-04 12:07:46 +000074 llvm::raw_svector_ostream error_stream(error_msg);
Hans Wennborgb212b342013-09-12 18:23:34 +000075 Jobs.Print(error_stream, "; ", true);
Manuel Klimek47c245a2012-04-04 12:07:46 +000076 Diagnostics->Report(clang::diag::err_fe_expected_compiler_job)
77 << error_stream.str();
Craig Topperccbc35e2014-05-20 04:51:16 +000078 return nullptr;
Manuel Klimek47c245a2012-04-04 12:07:46 +000079 }
80
81 // The one job we find should be to invoke clang again.
David Blaikiec11bf802014-09-04 16:04:28 +000082 const clang::driver::Command &Cmd =
Justin Bogneraab97922014-10-03 01:04:53 +000083 cast<clang::driver::Command>(*Jobs.begin());
David Blaikiec11bf802014-09-04 16:04:28 +000084 if (StringRef(Cmd.getCreator().getName()) != "clang") {
Manuel Klimek47c245a2012-04-04 12:07:46 +000085 Diagnostics->Report(clang::diag::err_fe_expected_clang_command);
Craig Topperccbc35e2014-05-20 04:51:16 +000086 return nullptr;
Manuel Klimek47c245a2012-04-04 12:07:46 +000087 }
88
David Blaikiec11bf802014-09-04 16:04:28 +000089 return &Cmd.getArguments();
Manuel Klimek47c245a2012-04-04 12:07:46 +000090}
91
92/// \brief Returns a clang build invocation initialized from the CC1 flags.
Manuel Klimekbea7dfb2015-03-28 00:42:36 +000093clang::CompilerInvocation *newInvocation(
Manuel Klimek47c245a2012-04-04 12:07:46 +000094 clang::DiagnosticsEngine *Diagnostics,
Reid Kleckner898229a2013-06-14 17:17:23 +000095 const llvm::opt::ArgStringList &CC1Args) {
Manuel Klimek47c245a2012-04-04 12:07:46 +000096 assert(!CC1Args.empty() && "Must at least contain the program name!");
97 clang::CompilerInvocation *Invocation = new clang::CompilerInvocation;
98 clang::CompilerInvocation::CreateFromArgs(
99 *Invocation, CC1Args.data() + 1, CC1Args.data() + CC1Args.size(),
100 *Diagnostics);
101 Invocation->getFrontendOpts().DisableFree = false;
Nick Lewycky39dc9f82013-06-25 17:01:21 +0000102 Invocation->getCodeGenOpts().DisableFree = false;
Peter Collingbournec0423b32014-03-02 23:37:26 +0000103 Invocation->getDependencyOutputOpts() = DependencyOutputOptions();
Manuel Klimek47c245a2012-04-04 12:07:46 +0000104 return Invocation;
105}
106
107bool runToolOnCode(clang::FrontendAction *ToolAction, const Twine &Code,
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000108 const Twine &FileName,
109 std::shared_ptr<PCHContainerOperations> PCHContainerOps) {
110 return runToolOnCodeWithArgs(ToolAction, Code, std::vector<std::string>(),
Benjamin Kramerd6da1a02016-06-12 20:05:23 +0000111 FileName, "clang-tool",
112 std::move(PCHContainerOps));
Nico Weber077a53e2012-08-30 02:02:19 +0000113}
114
Peter Collingbournec689ee72013-11-06 20:12:45 +0000115static std::vector<std::string>
Benjamin Kramer987a1d22016-01-29 11:29:02 +0000116getSyntaxOnlyToolArgs(const Twine &ToolName,
117 const std::vector<std::string> &ExtraArgs,
Peter Collingbournec689ee72013-11-06 20:12:45 +0000118 StringRef FileName) {
119 std::vector<std::string> Args;
Benjamin Kramer987a1d22016-01-29 11:29:02 +0000120 Args.push_back(ToolName.str());
Peter Collingbournec689ee72013-11-06 20:12:45 +0000121 Args.push_back("-fsyntax-only");
122 Args.insert(Args.end(), ExtraArgs.begin(), ExtraArgs.end());
123 Args.push_back(FileName.str());
124 return Args;
125}
126
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000127bool runToolOnCodeWithArgs(
128 clang::FrontendAction *ToolAction, const Twine &Code,
129 const std::vector<std::string> &Args, const Twine &FileName,
Benjamin Kramer987a1d22016-01-29 11:29:02 +0000130 const Twine &ToolName,
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000131 std::shared_ptr<PCHContainerOperations> PCHContainerOps,
132 const FileContentMappings &VirtualMappedFiles) {
Manuel Klimekd3aa1f42014-11-25 17:01:06 +0000133
Manuel Klimek47c245a2012-04-04 12:07:46 +0000134 SmallString<16> FileNameStorage;
135 StringRef FileNameRef = FileName.toNullTerminatedStringRef(FileNameStorage);
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000136 llvm::IntrusiveRefCntPtr<vfs::OverlayFileSystem> OverlayFileSystem(
137 new vfs::OverlayFileSystem(vfs::getRealFileSystem()));
138 llvm::IntrusiveRefCntPtr<vfs::InMemoryFileSystem> InMemoryFileSystem(
139 new vfs::InMemoryFileSystem);
140 OverlayFileSystem->pushOverlay(InMemoryFileSystem);
Peter Collingbournec689ee72013-11-06 20:12:45 +0000141 llvm::IntrusiveRefCntPtr<FileManager> Files(
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000142 new FileManager(FileSystemOptions(), OverlayFileSystem));
Benjamin Kramer987a1d22016-01-29 11:29:02 +0000143 ToolInvocation Invocation(getSyntaxOnlyToolArgs(ToolName, Args, FileNameRef),
Benjamin Kramerd6da1a02016-06-12 20:05:23 +0000144 ToolAction, Files.get(),
145 std::move(PCHContainerOps));
Manuel Klimek47c245a2012-04-04 12:07:46 +0000146
147 SmallString<1024> CodeStorage;
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000148 InMemoryFileSystem->addFile(FileNameRef, 0,
149 llvm::MemoryBuffer::getMemBuffer(
150 Code.toNullTerminatedStringRef(CodeStorage)));
Manuel Klimekd3aa1f42014-11-25 17:01:06 +0000151
152 for (auto &FilenameWithContent : VirtualMappedFiles) {
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000153 InMemoryFileSystem->addFile(
154 FilenameWithContent.first, 0,
155 llvm::MemoryBuffer::getMemBuffer(FilenameWithContent.second));
Manuel Klimekd3aa1f42014-11-25 17:01:06 +0000156 }
157
Manuel Klimek47c245a2012-04-04 12:07:46 +0000158 return Invocation.run();
159}
160
Manuel Klimek65fd0e12012-07-10 13:10:51 +0000161std::string getAbsolutePath(StringRef File) {
Manuel Klimek47c245a2012-04-04 12:07:46 +0000162 StringRef RelativePath(File);
NAKAMURA Takumi9b2d17c2012-05-23 22:24:20 +0000163 // FIXME: Should '.\\' be accepted on Win32?
Manuel Klimek47c245a2012-04-04 12:07:46 +0000164 if (RelativePath.startswith("./")) {
165 RelativePath = RelativePath.substr(strlen("./"));
166 }
Rafael Espindolac7367ff2013-08-10 01:40:10 +0000167
168 SmallString<1024> AbsolutePath = RelativePath;
Rafael Espindolac0809172014-06-12 14:02:15 +0000169 std::error_code EC = llvm::sys::fs::make_absolute(AbsolutePath);
Rafael Espindolac7367ff2013-08-10 01:40:10 +0000170 assert(!EC);
Rafael Espindola0b8e4a12013-08-10 04:25:53 +0000171 (void)EC;
Benjamin Kramer2d4d8cb2013-09-11 11:23:15 +0000172 llvm::sys::path::native(AbsolutePath);
173 return AbsolutePath.str();
Manuel Klimek47c245a2012-04-04 12:07:46 +0000174}
175
Manuel Klimek9b30e2b2015-10-06 10:45:03 +0000176void addTargetAndModeForProgramName(std::vector<std::string> &CommandLine,
177 StringRef InvokedAs) {
178 if (!CommandLine.empty() && !InvokedAs.empty()) {
179 bool AlreadyHasTarget = false;
180 bool AlreadyHasMode = false;
181 // Skip CommandLine[0].
182 for (auto Token = ++CommandLine.begin(); Token != CommandLine.end();
183 ++Token) {
184 StringRef TokenRef(*Token);
185 AlreadyHasTarget |=
186 (TokenRef == "-target" || TokenRef.startswith("-target="));
187 AlreadyHasMode |= (TokenRef == "--driver-mode" ||
188 TokenRef.startswith("--driver-mode="));
189 }
190 auto TargetMode =
191 clang::driver::ToolChain::getTargetAndModeFromProgramName(InvokedAs);
192 if (!AlreadyHasMode && !TargetMode.second.empty()) {
193 CommandLine.insert(++CommandLine.begin(), TargetMode.second);
194 }
195 if (!AlreadyHasTarget && !TargetMode.first.empty()) {
196 CommandLine.insert(++CommandLine.begin(), {"-target", TargetMode.first});
197 }
198 }
199}
200
Peter Collingbournec689ee72013-11-06 20:12:45 +0000201namespace {
202
203class SingleFrontendActionFactory : public FrontendActionFactory {
204 FrontendAction *Action;
205
206public:
207 SingleFrontendActionFactory(FrontendAction *Action) : Action(Action) {}
208
Craig Topperfb6b25b2014-03-15 04:29:04 +0000209 FrontendAction *create() override { return Action; }
Peter Collingbournec689ee72013-11-06 20:12:45 +0000210};
211
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000212}
Peter Collingbournec689ee72013-11-06 20:12:45 +0000213
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000214ToolInvocation::ToolInvocation(
215 std::vector<std::string> CommandLine, ToolAction *Action,
216 FileManager *Files, std::shared_ptr<PCHContainerOperations> PCHContainerOps)
217 : CommandLine(std::move(CommandLine)), Action(Action), OwnsAction(false),
Benjamin Kramercfeacf52016-05-27 14:27:13 +0000218 Files(Files), PCHContainerOps(std::move(PCHContainerOps)),
219 DiagConsumer(nullptr) {}
Peter Collingbournec689ee72013-11-06 20:12:45 +0000220
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000221ToolInvocation::ToolInvocation(
222 std::vector<std::string> CommandLine, FrontendAction *FAction,
223 FileManager *Files, std::shared_ptr<PCHContainerOperations> PCHContainerOps)
Benjamin Kramerefb1eb92014-03-20 12:48:36 +0000224 : CommandLine(std::move(CommandLine)),
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000225 Action(new SingleFrontendActionFactory(FAction)), OwnsAction(true),
Benjamin Kramercfeacf52016-05-27 14:27:13 +0000226 Files(Files), PCHContainerOps(std::move(PCHContainerOps)),
227 DiagConsumer(nullptr) {}
Peter Collingbournec689ee72013-11-06 20:12:45 +0000228
229ToolInvocation::~ToolInvocation() {
230 if (OwnsAction)
231 delete Action;
Manuel Klimek47c245a2012-04-04 12:07:46 +0000232}
233
234void ToolInvocation::mapVirtualFile(StringRef FilePath, StringRef Content) {
NAKAMURA Takumi4de31652012-06-02 15:34:21 +0000235 SmallString<1024> PathStorage;
236 llvm::sys::path::native(FilePath, PathStorage);
237 MappedFileContents[PathStorage] = Content;
Manuel Klimek47c245a2012-04-04 12:07:46 +0000238}
239
240bool ToolInvocation::run() {
241 std::vector<const char*> Argv;
Benjamin Kramerefb1eb92014-03-20 12:48:36 +0000242 for (const std::string &Str : CommandLine)
243 Argv.push_back(Str.c_str());
Manuel Klimek47c245a2012-04-04 12:07:46 +0000244 const char *const BinaryName = Argv[0];
Douglas Gregor811db4e2012-10-23 22:26:28 +0000245 IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts = new DiagnosticOptions();
Olivier Goffartb37a5e32016-08-30 17:42:29 +0000246 unsigned MissingArgIndex, MissingArgCount;
247 llvm::opt::InputArgList ParsedArgs =
248 driver::createDriverOptTable()->ParseArgs(
249 ArrayRef<const char *>(Argv).slice(1), MissingArgIndex,
250 MissingArgCount);
251 ParseDiagnosticArgs(*DiagOpts, ParsedArgs);
Manuel Klimek47c245a2012-04-04 12:07:46 +0000252 TextDiagnosticPrinter DiagnosticPrinter(
Douglas Gregor811db4e2012-10-23 22:26:28 +0000253 llvm::errs(), &*DiagOpts);
254 DiagnosticsEngine Diagnostics(
Manuel Klimek64083012013-11-07 23:18:05 +0000255 IntrusiveRefCntPtr<clang::DiagnosticIDs>(new DiagnosticIDs()), &*DiagOpts,
256 DiagConsumer ? DiagConsumer : &DiagnosticPrinter, false);
Manuel Klimek47c245a2012-04-04 12:07:46 +0000257
Ahmed Charlesb8984322014-03-07 20:03:18 +0000258 const std::unique_ptr<clang::driver::Driver> Driver(
Benjamin Kramer407eb792015-10-09 13:03:25 +0000259 newDriver(&Diagnostics, BinaryName, Files->getVirtualFileSystem()));
Manuel Klimek47c245a2012-04-04 12:07:46 +0000260 // Since the input might only be virtual, don't check whether it exists.
261 Driver->setCheckInputsExist(false);
Ahmed Charlesb8984322014-03-07 20:03:18 +0000262 const std::unique_ptr<clang::driver::Compilation> Compilation(
Manuel Klimek47c245a2012-04-04 12:07:46 +0000263 Driver->BuildCompilation(llvm::makeArrayRef(Argv)));
Reid Kleckner898229a2013-06-14 17:17:23 +0000264 const llvm::opt::ArgStringList *const CC1Args = getCC1Arguments(
Manuel Klimek47c245a2012-04-04 12:07:46 +0000265 &Diagnostics, Compilation.get());
Craig Topperccbc35e2014-05-20 04:51:16 +0000266 if (!CC1Args) {
Manuel Klimek47c245a2012-04-04 12:07:46 +0000267 return false;
268 }
Ahmed Charlesb8984322014-03-07 20:03:18 +0000269 std::unique_ptr<clang::CompilerInvocation> Invocation(
Manuel Klimek47c245a2012-04-04 12:07:46 +0000270 newInvocation(&Diagnostics, *CC1Args));
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000271 // FIXME: remove this when all users have migrated!
Benjamin Kramerefb1eb92014-03-20 12:48:36 +0000272 for (const auto &It : MappedFileContents) {
Peter Collingbournec689ee72013-11-06 20:12:45 +0000273 // Inject the code as the given file name into the preprocessor options.
Rafael Espindolad87f8d72014-08-27 20:03:29 +0000274 std::unique_ptr<llvm::MemoryBuffer> Input =
275 llvm::MemoryBuffer::getMemBuffer(It.getValue());
276 Invocation->getPreprocessorOpts().addRemappedFile(It.getKey(),
277 Input.release());
Peter Collingbournec689ee72013-11-06 20:12:45 +0000278 }
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000279 return runInvocation(BinaryName, Compilation.get(), Invocation.release(),
Benjamin Kramerd6da1a02016-06-12 20:05:23 +0000280 std::move(PCHContainerOps));
Manuel Klimek47c245a2012-04-04 12:07:46 +0000281}
282
Manuel Klimek47c245a2012-04-04 12:07:46 +0000283bool ToolInvocation::runInvocation(
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000284 const char *BinaryName, clang::driver::Compilation *Compilation,
285 clang::CompilerInvocation *Invocation,
286 std::shared_ptr<PCHContainerOperations> PCHContainerOps) {
Manuel Klimek47c245a2012-04-04 12:07:46 +0000287 // Show the invocation, with -v.
288 if (Invocation->getHeaderSearchOpts().Verbose) {
289 llvm::errs() << "clang Invocation:\n";
Hans Wennborgb212b342013-09-12 18:23:34 +0000290 Compilation->getJobs().Print(llvm::errs(), "\n", true);
Manuel Klimek47c245a2012-04-04 12:07:46 +0000291 llvm::errs() << "\n";
292 }
293
Benjamin Kramerd6da1a02016-06-12 20:05:23 +0000294 return Action->runInvocation(Invocation, Files, std::move(PCHContainerOps),
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000295 DiagConsumer);
Peter Collingbournec689ee72013-11-06 20:12:45 +0000296}
297
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000298bool FrontendActionFactory::runInvocation(
299 CompilerInvocation *Invocation, FileManager *Files,
300 std::shared_ptr<PCHContainerOperations> PCHContainerOps,
301 DiagnosticConsumer *DiagConsumer) {
Manuel Klimek47c245a2012-04-04 12:07:46 +0000302 // Create a compiler instance to handle the actual work.
Benjamin Kramerd6da1a02016-06-12 20:05:23 +0000303 clang::CompilerInstance Compiler(std::move(PCHContainerOps));
Manuel Klimek47c245a2012-04-04 12:07:46 +0000304 Compiler.setInvocation(Invocation);
305 Compiler.setFileManager(Files);
Manuel Klimek47c245a2012-04-04 12:07:46 +0000306
Peter Collingbournec689ee72013-11-06 20:12:45 +0000307 // The FrontendAction can have lifetime requirements for Compiler or its
308 // members, and we need to ensure it's deleted earlier than Compiler. So we
Ahmed Charlesb8984322014-03-07 20:03:18 +0000309 // pass it to an std::unique_ptr declared after the Compiler variable.
310 std::unique_ptr<FrontendAction> ScopedToolAction(create());
Alexander Kornienko21d6ec92012-05-31 17:58:43 +0000311
Alp Toker77273fc2014-05-16 13:45:29 +0000312 // Create the compiler's actual diagnostics engine.
Manuel Klimek64083012013-11-07 23:18:05 +0000313 Compiler.createDiagnostics(DiagConsumer, /*ShouldOwnClient=*/false);
Manuel Klimek47c245a2012-04-04 12:07:46 +0000314 if (!Compiler.hasDiagnostics())
315 return false;
316
317 Compiler.createSourceManager(*Files);
Manuel Klimek47c245a2012-04-04 12:07:46 +0000318
Alexander Kornienko21d6ec92012-05-31 17:58:43 +0000319 const bool Success = Compiler.ExecuteAction(*ScopedToolAction);
Manuel Klimek47c245a2012-04-04 12:07:46 +0000320
Manuel Klimek3aad8552012-07-31 13:56:54 +0000321 Files->clearStatCaches();
Manuel Klimek47c245a2012-04-04 12:07:46 +0000322 return Success;
323}
324
Manuel Klimek47c245a2012-04-04 12:07:46 +0000325ClangTool::ClangTool(const CompilationDatabase &Compilations,
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000326 ArrayRef<std::string> SourcePaths,
327 std::shared_ptr<PCHContainerOperations> PCHContainerOps)
Alexander Kornienko9a45fac2014-08-27 21:36:39 +0000328 : Compilations(Compilations), SourcePaths(SourcePaths),
Benjamin Kramercfeacf52016-05-27 14:27:13 +0000329 PCHContainerOps(std::move(PCHContainerOps)),
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000330 OverlayFileSystem(new vfs::OverlayFileSystem(vfs::getRealFileSystem())),
331 InMemoryFileSystem(new vfs::InMemoryFileSystem),
332 Files(new FileManager(FileSystemOptions(), OverlayFileSystem)),
333 DiagConsumer(nullptr) {
334 OverlayFileSystem->pushOverlay(InMemoryFileSystem);
Alexander Kornienko74e1c462014-12-03 17:53:02 +0000335 appendArgumentsAdjuster(getClangStripOutputAdjuster());
336 appendArgumentsAdjuster(getClangSyntaxOnlyAdjuster());
Manuel Klimek47c245a2012-04-04 12:07:46 +0000337}
338
Angel Garcia Gomez637d1e62015-10-20 13:23:58 +0000339ClangTool::~ClangTool() {}
Manuel Klimek64083012013-11-07 23:18:05 +0000340
Manuel Klimek47c245a2012-04-04 12:07:46 +0000341void ClangTool::mapVirtualFile(StringRef FilePath, StringRef Content) {
342 MappedFileContents.push_back(std::make_pair(FilePath, Content));
343}
344
Alexander Kornienko74e1c462014-12-03 17:53:02 +0000345void ClangTool::appendArgumentsAdjuster(ArgumentsAdjuster Adjuster) {
346 if (ArgsAdjuster)
Benjamin Kramerd6da1a02016-06-12 20:05:23 +0000347 ArgsAdjuster =
348 combineAdjusters(std::move(ArgsAdjuster), std::move(Adjuster));
Alexander Kornienko74e1c462014-12-03 17:53:02 +0000349 else
Benjamin Kramerd6da1a02016-06-12 20:05:23 +0000350 ArgsAdjuster = std::move(Adjuster);
Manuel Klimekd91ac932013-06-04 14:44:44 +0000351}
352
353void ClangTool::clearArgumentsAdjusters() {
Alexander Kornienko74e1c462014-12-03 17:53:02 +0000354 ArgsAdjuster = nullptr;
Simon Atanasyan32df72d2012-05-09 16:18:30 +0000355}
356
Benjamin Kramerb5737c12016-04-21 10:18:18 +0000357static void injectResourceDir(CommandLineArguments &Args, const char *Argv0,
358 void *MainAddr) {
359 // Allow users to override the resource dir.
360 for (StringRef Arg : Args)
361 if (Arg.startswith("-resource-dir"))
362 return;
363
364 // If there's no override in place add our resource dir.
365 Args.push_back("-resource-dir=" +
366 CompilerInvocation::GetResourcesPath(Argv0, MainAddr));
367}
368
Peter Collingbournec689ee72013-11-06 20:12:45 +0000369int ClangTool::run(ToolAction *Action) {
Alexander Kornienko8388d242012-06-04 19:02:59 +0000370 // Exists solely for the purpose of lookup of the resource path.
371 // This just needs to be some symbol in the binary.
372 static int StaticSymbol;
Alexander Kornienko8388d242012-06-04 19:02:59 +0000373
Alexander Kornienkoc48a5352014-11-10 15:42:31 +0000374 llvm::SmallString<128> InitialDirectory;
375 if (std::error_code EC = llvm::sys::fs::current_path(InitialDirectory))
376 llvm::report_fatal_error("Cannot detect current path: " +
377 Twine(EC.message()));
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000378
379 // First insert all absolute paths into the in-memory VFS. These are global
380 // for all compile commands.
381 if (SeenWorkingDirectories.insert("/").second)
382 for (const auto &MappedFile : MappedFileContents)
383 if (llvm::sys::path::is_absolute(MappedFile.first))
384 InMemoryFileSystem->addFile(
385 MappedFile.first, 0,
386 llvm::MemoryBuffer::getMemBuffer(MappedFile.second));
387
Manuel Klimek47c245a2012-04-04 12:07:46 +0000388 bool ProcessingFailed = false;
Alexander Kornienko9a45fac2014-08-27 21:36:39 +0000389 for (const auto &SourcePath : SourcePaths) {
390 std::string File(getAbsolutePath(SourcePath));
391
Alexander Kornienkoc48a5352014-11-10 15:42:31 +0000392 // Currently implementations of CompilationDatabase::getCompileCommands can
393 // change the state of the file system (e.g. prepare generated headers), so
394 // this method needs to run right before we invoke the tool, as the next
395 // file may require a different (incompatible) state of the file system.
396 //
397 // FIXME: Make the compilation database interface more explicit about the
398 // requirements to the order of invocation of its members.
Alexander Kornienko9a45fac2014-08-27 21:36:39 +0000399 std::vector<CompileCommand> CompileCommandsForFile =
400 Compilations.getCompileCommands(File);
401 if (CompileCommandsForFile.empty()) {
402 // FIXME: There are two use cases here: doing a fuzzy
403 // "find . -name '*.cc' |xargs tool" match, where as a user I don't care
404 // about the .cc files that were not found, and the use case where I
405 // specify all files I want to run over explicitly, where this should
406 // be an error. We'll want to add an option for this.
407 llvm::errs() << "Skipping " << File << ". Compile command not found.\n";
408 continue;
Manuel Klimek47c245a2012-04-04 12:07:46 +0000409 }
Alexander Kornienko9a45fac2014-08-27 21:36:39 +0000410 for (CompileCommand &CompileCommand : CompileCommandsForFile) {
411 // FIXME: chdir is thread hostile; on the other hand, creating the same
412 // behavior as chdir is complex: chdir resolves the path once, thus
413 // guaranteeing that all subsequent relative path operations work
414 // on the same path the original chdir resulted in. This makes a
415 // difference for example on network filesystems, where symlinks might be
416 // switched during runtime of the tool. Fixing this depends on having a
417 // file system abstraction that allows openat() style interactions.
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000418 if (OverlayFileSystem->setCurrentWorkingDirectory(
419 CompileCommand.Directory))
Alexander Kornienko9a45fac2014-08-27 21:36:39 +0000420 llvm::report_fatal_error("Cannot chdir into \"" +
421 Twine(CompileCommand.Directory) + "\n!");
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000422
423 // Now fill the in-memory VFS with the relative file mappings so it will
424 // have the correct relative paths. We never remove mappings but that
425 // should be fine.
426 if (SeenWorkingDirectories.insert(CompileCommand.Directory).second)
427 for (const auto &MappedFile : MappedFileContents)
428 if (!llvm::sys::path::is_absolute(MappedFile.first))
429 InMemoryFileSystem->addFile(
430 MappedFile.first, 0,
431 llvm::MemoryBuffer::getMemBuffer(MappedFile.second));
432
Alexander Kornienko9a45fac2014-08-27 21:36:39 +0000433 std::vector<std::string> CommandLine = CompileCommand.CommandLine;
Alexander Kornienko74e1c462014-12-03 17:53:02 +0000434 if (ArgsAdjuster)
Alexander Kornienko857b10f2015-11-05 02:19:53 +0000435 CommandLine = ArgsAdjuster(CommandLine, CompileCommand.Filename);
Alexander Kornienko9a45fac2014-08-27 21:36:39 +0000436 assert(!CommandLine.empty());
Benjamin Kramerb5737c12016-04-21 10:18:18 +0000437
438 // Add the resource dir based on the binary of this tool. argv[0] in the
439 // compilation database may refer to a different compiler and we want to
440 // pick up the very same standard library that compiler is using. The
441 // builtin headers in the resource dir need to match the exact clang
442 // version the tool is using.
443 // FIXME: On linux, GetMainExecutable is independent of the value of the
444 // first argument, thus allowing ClangTool and runToolOnCode to just
445 // pass in made-up names here. Make sure this works on other platforms.
446 injectResourceDir(CommandLine, "clang_tool", &StaticSymbol);
447
Alexander Kornienko9a45fac2014-08-27 21:36:39 +0000448 // FIXME: We need a callback mechanism for the tool writer to output a
449 // customized message for each file.
450 DEBUG({ llvm::dbgs() << "Processing: " << File << ".\n"; });
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000451 ToolInvocation Invocation(std::move(CommandLine), Action, Files.get(),
452 PCHContainerOps);
Alexander Kornienko9a45fac2014-08-27 21:36:39 +0000453 Invocation.setDiagnosticConsumer(DiagConsumer);
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000454
Alexander Kornienko9a45fac2014-08-27 21:36:39 +0000455 if (!Invocation.run()) {
456 // FIXME: Diagnostics should be used instead.
457 llvm::errs() << "Error while processing " << File << ".\n";
458 ProcessingFailed = true;
459 }
Alexander Kornienkoc48a5352014-11-10 15:42:31 +0000460 // Return to the initial directory to correctly resolve next file by
461 // relative path.
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000462 if (OverlayFileSystem->setCurrentWorkingDirectory(InitialDirectory.c_str()))
Alexander Kornienkoc48a5352014-11-10 15:42:31 +0000463 llvm::report_fatal_error("Cannot chdir into \"" +
464 Twine(InitialDirectory) + "\n!");
Manuel Klimek47c245a2012-04-04 12:07:46 +0000465 }
466 }
467 return ProcessingFailed ? 1 : 0;
468}
469
Peter Collingbournec689ee72013-11-06 20:12:45 +0000470namespace {
471
472class ASTBuilderAction : public ToolAction {
David Blaikie39808ff2014-04-25 14:49:37 +0000473 std::vector<std::unique_ptr<ASTUnit>> &ASTs;
Peter Collingbournec689ee72013-11-06 20:12:45 +0000474
475public:
David Blaikie39808ff2014-04-25 14:49:37 +0000476 ASTBuilderAction(std::vector<std::unique_ptr<ASTUnit>> &ASTs) : ASTs(ASTs) {}
Peter Collingbournec689ee72013-11-06 20:12:45 +0000477
Manuel Klimek64083012013-11-07 23:18:05 +0000478 bool runInvocation(CompilerInvocation *Invocation, FileManager *Files,
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000479 std::shared_ptr<PCHContainerOperations> PCHContainerOps,
Craig Topperfb6b25b2014-03-15 04:29:04 +0000480 DiagnosticConsumer *DiagConsumer) override {
David Blaikie103a2de2014-04-25 17:01:33 +0000481 std::unique_ptr<ASTUnit> AST = ASTUnit::LoadFromCompilerInvocation(
Benjamin Kramerd6da1a02016-06-12 20:05:23 +0000482 Invocation, std::move(PCHContainerOps),
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000483 CompilerInstance::createDiagnostics(&Invocation->getDiagnosticOpts(),
484 DiagConsumer,
Benjamin Kramerbc632902015-10-06 14:45:20 +0000485 /*ShouldOwnClient=*/false),
486 Files);
Peter Collingbournec689ee72013-11-06 20:12:45 +0000487 if (!AST)
488 return false;
489
David Blaikie39808ff2014-04-25 14:49:37 +0000490 ASTs.push_back(std::move(AST));
Peter Collingbournec689ee72013-11-06 20:12:45 +0000491 return true;
492 }
493};
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000494}
Peter Collingbournec689ee72013-11-06 20:12:45 +0000495
David Blaikie39808ff2014-04-25 14:49:37 +0000496int ClangTool::buildASTs(std::vector<std::unique_ptr<ASTUnit>> &ASTs) {
Peter Collingbournec689ee72013-11-06 20:12:45 +0000497 ASTBuilderAction Action(ASTs);
498 return run(&Action);
499}
500
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000501std::unique_ptr<ASTUnit>
502buildASTFromCode(const Twine &Code, const Twine &FileName,
503 std::shared_ptr<PCHContainerOperations> PCHContainerOps) {
504 return buildASTFromCodeWithArgs(Code, std::vector<std::string>(), FileName,
Benjamin Kramerd6da1a02016-06-12 20:05:23 +0000505 "clang-tool", std::move(PCHContainerOps));
Peter Collingbournec689ee72013-11-06 20:12:45 +0000506}
507
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000508std::unique_ptr<ASTUnit> buildASTFromCodeWithArgs(
509 const Twine &Code, const std::vector<std::string> &Args,
Benjamin Kramer987a1d22016-01-29 11:29:02 +0000510 const Twine &FileName, const Twine &ToolName,
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000511 std::shared_ptr<PCHContainerOperations> PCHContainerOps) {
Peter Collingbournec689ee72013-11-06 20:12:45 +0000512 SmallString<16> FileNameStorage;
513 StringRef FileNameRef = FileName.toNullTerminatedStringRef(FileNameStorage);
514
David Blaikie39808ff2014-04-25 14:49:37 +0000515 std::vector<std::unique_ptr<ASTUnit>> ASTs;
Peter Collingbournec689ee72013-11-06 20:12:45 +0000516 ASTBuilderAction Action(ASTs);
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000517 llvm::IntrusiveRefCntPtr<vfs::OverlayFileSystem> OverlayFileSystem(
518 new vfs::OverlayFileSystem(vfs::getRealFileSystem()));
519 llvm::IntrusiveRefCntPtr<vfs::InMemoryFileSystem> InMemoryFileSystem(
520 new vfs::InMemoryFileSystem);
521 OverlayFileSystem->pushOverlay(InMemoryFileSystem);
Benjamin Kramerfa3dcf22015-10-06 15:04:13 +0000522 llvm::IntrusiveRefCntPtr<FileManager> Files(
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000523 new FileManager(FileSystemOptions(), OverlayFileSystem));
Benjamin Kramer987a1d22016-01-29 11:29:02 +0000524 ToolInvocation Invocation(getSyntaxOnlyToolArgs(ToolName, Args, FileNameRef),
Benjamin Kramerd6da1a02016-06-12 20:05:23 +0000525 &Action, Files.get(), std::move(PCHContainerOps));
Peter Collingbournec689ee72013-11-06 20:12:45 +0000526
527 SmallString<1024> CodeStorage;
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000528 InMemoryFileSystem->addFile(FileNameRef, 0,
529 llvm::MemoryBuffer::getMemBuffer(
530 Code.toNullTerminatedStringRef(CodeStorage)));
Peter Collingbournec689ee72013-11-06 20:12:45 +0000531 if (!Invocation.run())
Craig Topperccbc35e2014-05-20 04:51:16 +0000532 return nullptr;
Peter Collingbournec689ee72013-11-06 20:12:45 +0000533
534 assert(ASTs.size() == 1);
David Blaikie103a2de2014-04-25 17:01:33 +0000535 return std::move(ASTs[0]);
Peter Collingbournec689ee72013-11-06 20:12:45 +0000536}
537
Manuel Klimek47c245a2012-04-04 12:07:46 +0000538} // end namespace tooling
539} // end namespace clang