blob: 19d0de15e17894f4b59d3b4590e1704f9583bba0 [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;
Manuel Klimek47c245a2012-04-04 12:07:46 +0000103 return Invocation;
104}
105
106bool runToolOnCode(clang::FrontendAction *ToolAction, const Twine &Code,
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000107 const Twine &FileName,
108 std::shared_ptr<PCHContainerOperations> PCHContainerOps) {
109 return runToolOnCodeWithArgs(ToolAction, Code, std::vector<std::string>(),
Benjamin Kramerd6da1a02016-06-12 20:05:23 +0000110 FileName, "clang-tool",
111 std::move(PCHContainerOps));
Nico Weber077a53e2012-08-30 02:02:19 +0000112}
113
Peter Collingbournec689ee72013-11-06 20:12:45 +0000114static std::vector<std::string>
Benjamin Kramer987a1d22016-01-29 11:29:02 +0000115getSyntaxOnlyToolArgs(const Twine &ToolName,
116 const std::vector<std::string> &ExtraArgs,
Peter Collingbournec689ee72013-11-06 20:12:45 +0000117 StringRef FileName) {
118 std::vector<std::string> Args;
Benjamin Kramer987a1d22016-01-29 11:29:02 +0000119 Args.push_back(ToolName.str());
Peter Collingbournec689ee72013-11-06 20:12:45 +0000120 Args.push_back("-fsyntax-only");
121 Args.insert(Args.end(), ExtraArgs.begin(), ExtraArgs.end());
122 Args.push_back(FileName.str());
123 return Args;
124}
125
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000126bool runToolOnCodeWithArgs(
127 clang::FrontendAction *ToolAction, const Twine &Code,
128 const std::vector<std::string> &Args, const Twine &FileName,
Benjamin Kramer987a1d22016-01-29 11:29:02 +0000129 const Twine &ToolName,
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000130 std::shared_ptr<PCHContainerOperations> PCHContainerOps,
131 const FileContentMappings &VirtualMappedFiles) {
Manuel Klimekd3aa1f42014-11-25 17:01:06 +0000132
Manuel Klimek47c245a2012-04-04 12:07:46 +0000133 SmallString<16> FileNameStorage;
134 StringRef FileNameRef = FileName.toNullTerminatedStringRef(FileNameStorage);
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000135 llvm::IntrusiveRefCntPtr<vfs::OverlayFileSystem> OverlayFileSystem(
136 new vfs::OverlayFileSystem(vfs::getRealFileSystem()));
137 llvm::IntrusiveRefCntPtr<vfs::InMemoryFileSystem> InMemoryFileSystem(
138 new vfs::InMemoryFileSystem);
139 OverlayFileSystem->pushOverlay(InMemoryFileSystem);
Peter Collingbournec689ee72013-11-06 20:12:45 +0000140 llvm::IntrusiveRefCntPtr<FileManager> Files(
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000141 new FileManager(FileSystemOptions(), OverlayFileSystem));
Benjamin Kramer987a1d22016-01-29 11:29:02 +0000142 ToolInvocation Invocation(getSyntaxOnlyToolArgs(ToolName, Args, FileNameRef),
Benjamin Kramerd6da1a02016-06-12 20:05:23 +0000143 ToolAction, Files.get(),
144 std::move(PCHContainerOps));
Manuel Klimek47c245a2012-04-04 12:07:46 +0000145
146 SmallString<1024> CodeStorage;
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000147 InMemoryFileSystem->addFile(FileNameRef, 0,
148 llvm::MemoryBuffer::getMemBuffer(
149 Code.toNullTerminatedStringRef(CodeStorage)));
Manuel Klimekd3aa1f42014-11-25 17:01:06 +0000150
151 for (auto &FilenameWithContent : VirtualMappedFiles) {
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000152 InMemoryFileSystem->addFile(
153 FilenameWithContent.first, 0,
154 llvm::MemoryBuffer::getMemBuffer(FilenameWithContent.second));
Manuel Klimekd3aa1f42014-11-25 17:01:06 +0000155 }
156
Manuel Klimek47c245a2012-04-04 12:07:46 +0000157 return Invocation.run();
158}
159
Manuel Klimek65fd0e12012-07-10 13:10:51 +0000160std::string getAbsolutePath(StringRef File) {
Manuel Klimek47c245a2012-04-04 12:07:46 +0000161 StringRef RelativePath(File);
NAKAMURA Takumi9b2d17c2012-05-23 22:24:20 +0000162 // FIXME: Should '.\\' be accepted on Win32?
Manuel Klimek47c245a2012-04-04 12:07:46 +0000163 if (RelativePath.startswith("./")) {
164 RelativePath = RelativePath.substr(strlen("./"));
165 }
Rafael Espindolac7367ff2013-08-10 01:40:10 +0000166
167 SmallString<1024> AbsolutePath = RelativePath;
Rafael Espindolac0809172014-06-12 14:02:15 +0000168 std::error_code EC = llvm::sys::fs::make_absolute(AbsolutePath);
Rafael Espindolac7367ff2013-08-10 01:40:10 +0000169 assert(!EC);
Rafael Espindola0b8e4a12013-08-10 04:25:53 +0000170 (void)EC;
Benjamin Kramer2d4d8cb2013-09-11 11:23:15 +0000171 llvm::sys::path::native(AbsolutePath);
172 return AbsolutePath.str();
Manuel Klimek47c245a2012-04-04 12:07:46 +0000173}
174
Manuel Klimek9b30e2b2015-10-06 10:45:03 +0000175void addTargetAndModeForProgramName(std::vector<std::string> &CommandLine,
176 StringRef InvokedAs) {
177 if (!CommandLine.empty() && !InvokedAs.empty()) {
178 bool AlreadyHasTarget = false;
179 bool AlreadyHasMode = false;
180 // Skip CommandLine[0].
181 for (auto Token = ++CommandLine.begin(); Token != CommandLine.end();
182 ++Token) {
183 StringRef TokenRef(*Token);
184 AlreadyHasTarget |=
185 (TokenRef == "-target" || TokenRef.startswith("-target="));
186 AlreadyHasMode |= (TokenRef == "--driver-mode" ||
187 TokenRef.startswith("--driver-mode="));
188 }
189 auto TargetMode =
190 clang::driver::ToolChain::getTargetAndModeFromProgramName(InvokedAs);
191 if (!AlreadyHasMode && !TargetMode.second.empty()) {
192 CommandLine.insert(++CommandLine.begin(), TargetMode.second);
193 }
194 if (!AlreadyHasTarget && !TargetMode.first.empty()) {
195 CommandLine.insert(++CommandLine.begin(), {"-target", TargetMode.first});
196 }
197 }
198}
199
Peter Collingbournec689ee72013-11-06 20:12:45 +0000200namespace {
201
202class SingleFrontendActionFactory : public FrontendActionFactory {
203 FrontendAction *Action;
204
205public:
206 SingleFrontendActionFactory(FrontendAction *Action) : Action(Action) {}
207
Craig Topperfb6b25b2014-03-15 04:29:04 +0000208 FrontendAction *create() override { return Action; }
Peter Collingbournec689ee72013-11-06 20:12:45 +0000209};
210
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000211}
Peter Collingbournec689ee72013-11-06 20:12:45 +0000212
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000213ToolInvocation::ToolInvocation(
214 std::vector<std::string> CommandLine, ToolAction *Action,
215 FileManager *Files, std::shared_ptr<PCHContainerOperations> PCHContainerOps)
216 : CommandLine(std::move(CommandLine)), Action(Action), OwnsAction(false),
Benjamin Kramercfeacf52016-05-27 14:27:13 +0000217 Files(Files), PCHContainerOps(std::move(PCHContainerOps)),
218 DiagConsumer(nullptr) {}
Peter Collingbournec689ee72013-11-06 20:12:45 +0000219
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000220ToolInvocation::ToolInvocation(
221 std::vector<std::string> CommandLine, FrontendAction *FAction,
222 FileManager *Files, std::shared_ptr<PCHContainerOperations> PCHContainerOps)
Benjamin Kramerefb1eb92014-03-20 12:48:36 +0000223 : CommandLine(std::move(CommandLine)),
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000224 Action(new SingleFrontendActionFactory(FAction)), OwnsAction(true),
Benjamin Kramercfeacf52016-05-27 14:27:13 +0000225 Files(Files), PCHContainerOps(std::move(PCHContainerOps)),
226 DiagConsumer(nullptr) {}
Peter Collingbournec689ee72013-11-06 20:12:45 +0000227
228ToolInvocation::~ToolInvocation() {
229 if (OwnsAction)
230 delete Action;
Manuel Klimek47c245a2012-04-04 12:07:46 +0000231}
232
233void ToolInvocation::mapVirtualFile(StringRef FilePath, StringRef Content) {
NAKAMURA Takumi4de31652012-06-02 15:34:21 +0000234 SmallString<1024> PathStorage;
235 llvm::sys::path::native(FilePath, PathStorage);
236 MappedFileContents[PathStorage] = Content;
Manuel Klimek47c245a2012-04-04 12:07:46 +0000237}
238
239bool ToolInvocation::run() {
240 std::vector<const char*> Argv;
Benjamin Kramerefb1eb92014-03-20 12:48:36 +0000241 for (const std::string &Str : CommandLine)
242 Argv.push_back(Str.c_str());
Manuel Klimek47c245a2012-04-04 12:07:46 +0000243 const char *const BinaryName = Argv[0];
Douglas Gregor811db4e2012-10-23 22:26:28 +0000244 IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts = new DiagnosticOptions();
Olivier Goffartb37a5e32016-08-30 17:42:29 +0000245 unsigned MissingArgIndex, MissingArgCount;
David Blaikie0aaa7622017-01-13 17:34:15 +0000246 std::unique_ptr<llvm::opt::OptTable> Opts = driver::createDriverOptTable();
Richard Trieu070937a2016-08-30 21:12:48 +0000247 llvm::opt::InputArgList ParsedArgs = Opts->ParseArgs(
248 ArrayRef<const char *>(Argv).slice(1), MissingArgIndex, MissingArgCount);
Olivier Goffartb37a5e32016-08-30 17:42:29 +0000249 ParseDiagnosticArgs(*DiagOpts, ParsedArgs);
Manuel Klimek47c245a2012-04-04 12:07:46 +0000250 TextDiagnosticPrinter DiagnosticPrinter(
Douglas Gregor811db4e2012-10-23 22:26:28 +0000251 llvm::errs(), &*DiagOpts);
252 DiagnosticsEngine Diagnostics(
Manuel Klimek64083012013-11-07 23:18:05 +0000253 IntrusiveRefCntPtr<clang::DiagnosticIDs>(new DiagnosticIDs()), &*DiagOpts,
254 DiagConsumer ? DiagConsumer : &DiagnosticPrinter, false);
Manuel Klimek47c245a2012-04-04 12:07:46 +0000255
Ahmed Charlesb8984322014-03-07 20:03:18 +0000256 const std::unique_ptr<clang::driver::Driver> Driver(
Benjamin Kramer407eb792015-10-09 13:03:25 +0000257 newDriver(&Diagnostics, BinaryName, Files->getVirtualFileSystem()));
Manuel Klimek47c245a2012-04-04 12:07:46 +0000258 // Since the input might only be virtual, don't check whether it exists.
259 Driver->setCheckInputsExist(false);
Ahmed Charlesb8984322014-03-07 20:03:18 +0000260 const std::unique_ptr<clang::driver::Compilation> Compilation(
Manuel Klimek47c245a2012-04-04 12:07:46 +0000261 Driver->BuildCompilation(llvm::makeArrayRef(Argv)));
Serge Pavlovc46064c2017-05-24 11:57:37 +0000262 if (!Compilation)
263 return false;
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 }
David Blaikieea4395e2017-01-06 19:49:01 +0000279 return runInvocation(BinaryName, Compilation.get(), std::move(Invocation),
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,
David Blaikieea4395e2017-01-06 19:49:01 +0000285 std::shared_ptr<clang::CompilerInvocation> Invocation,
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000286 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
David Blaikieea4395e2017-01-06 19:49:01 +0000294 return Action->runInvocation(std::move(Invocation), Files,
295 std::move(PCHContainerOps), DiagConsumer);
Peter Collingbournec689ee72013-11-06 20:12:45 +0000296}
297
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000298bool FrontendActionFactory::runInvocation(
David Blaikieea4395e2017-01-06 19:49:01 +0000299 std::shared_ptr<CompilerInvocation> Invocation, FileManager *Files,
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000300 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));
David Blaikieea4395e2017-01-06 19:49:01 +0000304 Compiler.setInvocation(std::move(Invocation));
Manuel Klimek47c245a2012-04-04 12:07:46 +0000305 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
David Blaikieea4395e2017-01-06 19:49:01 +0000478 bool runInvocation(std::shared_ptr<CompilerInvocation> Invocation,
479 FileManager *Files,
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000480 std::shared_ptr<PCHContainerOperations> PCHContainerOps,
Craig Topperfb6b25b2014-03-15 04:29:04 +0000481 DiagnosticConsumer *DiagConsumer) override {
David Blaikie103a2de2014-04-25 17:01:33 +0000482 std::unique_ptr<ASTUnit> AST = ASTUnit::LoadFromCompilerInvocation(
Benjamin Kramerd6da1a02016-06-12 20:05:23 +0000483 Invocation, std::move(PCHContainerOps),
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000484 CompilerInstance::createDiagnostics(&Invocation->getDiagnosticOpts(),
485 DiagConsumer,
Benjamin Kramerbc632902015-10-06 14:45:20 +0000486 /*ShouldOwnClient=*/false),
487 Files);
Peter Collingbournec689ee72013-11-06 20:12:45 +0000488 if (!AST)
489 return false;
490
David Blaikie39808ff2014-04-25 14:49:37 +0000491 ASTs.push_back(std::move(AST));
Peter Collingbournec689ee72013-11-06 20:12:45 +0000492 return true;
493 }
494};
Alexander Kornienkoab9db512015-06-22 23:07:51 +0000495}
Peter Collingbournec689ee72013-11-06 20:12:45 +0000496
David Blaikie39808ff2014-04-25 14:49:37 +0000497int ClangTool::buildASTs(std::vector<std::unique_ptr<ASTUnit>> &ASTs) {
Peter Collingbournec689ee72013-11-06 20:12:45 +0000498 ASTBuilderAction Action(ASTs);
499 return run(&Action);
500}
501
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000502std::unique_ptr<ASTUnit>
503buildASTFromCode(const Twine &Code, const Twine &FileName,
504 std::shared_ptr<PCHContainerOperations> PCHContainerOps) {
505 return buildASTFromCodeWithArgs(Code, std::vector<std::string>(), FileName,
Benjamin Kramerd6da1a02016-06-12 20:05:23 +0000506 "clang-tool", std::move(PCHContainerOps));
Peter Collingbournec689ee72013-11-06 20:12:45 +0000507}
508
Adrian Prantlbb165fb2015-06-20 18:53:08 +0000509std::unique_ptr<ASTUnit> buildASTFromCodeWithArgs(
510 const Twine &Code, const std::vector<std::string> &Args,
Benjamin Kramer987a1d22016-01-29 11:29:02 +0000511 const Twine &FileName, const Twine &ToolName,
Sterling Augustine1cda1d72017-07-06 21:02:52 +0000512 std::shared_ptr<PCHContainerOperations> PCHContainerOps,
513 ArgumentsAdjuster Adjuster) {
Peter Collingbournec689ee72013-11-06 20:12:45 +0000514 SmallString<16> FileNameStorage;
515 StringRef FileNameRef = FileName.toNullTerminatedStringRef(FileNameStorage);
516
David Blaikie39808ff2014-04-25 14:49:37 +0000517 std::vector<std::unique_ptr<ASTUnit>> ASTs;
Peter Collingbournec689ee72013-11-06 20:12:45 +0000518 ASTBuilderAction Action(ASTs);
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000519 llvm::IntrusiveRefCntPtr<vfs::OverlayFileSystem> OverlayFileSystem(
520 new vfs::OverlayFileSystem(vfs::getRealFileSystem()));
521 llvm::IntrusiveRefCntPtr<vfs::InMemoryFileSystem> InMemoryFileSystem(
522 new vfs::InMemoryFileSystem);
523 OverlayFileSystem->pushOverlay(InMemoryFileSystem);
Benjamin Kramerfa3dcf22015-10-06 15:04:13 +0000524 llvm::IntrusiveRefCntPtr<FileManager> Files(
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000525 new FileManager(FileSystemOptions(), OverlayFileSystem));
Sterling Augustine1cda1d72017-07-06 21:02:52 +0000526
527 ToolInvocation Invocation(
528 getSyntaxOnlyToolArgs(ToolName, Adjuster(Args, FileNameRef), FileNameRef),
529 &Action, Files.get(), std::move(PCHContainerOps));
Peter Collingbournec689ee72013-11-06 20:12:45 +0000530
531 SmallString<1024> CodeStorage;
Benjamin Kramerc4cb3b12015-10-09 09:54:37 +0000532 InMemoryFileSystem->addFile(FileNameRef, 0,
533 llvm::MemoryBuffer::getMemBuffer(
534 Code.toNullTerminatedStringRef(CodeStorage)));
Peter Collingbournec689ee72013-11-06 20:12:45 +0000535 if (!Invocation.run())
Craig Topperccbc35e2014-05-20 04:51:16 +0000536 return nullptr;
Peter Collingbournec689ee72013-11-06 20:12:45 +0000537
538 assert(ASTs.size() == 1);
David Blaikie103a2de2014-04-25 17:01:33 +0000539 return std::move(ASTs[0]);
Peter Collingbournec689ee72013-11-06 20:12:45 +0000540}
541
Manuel Klimek47c245a2012-04-04 12:07:46 +0000542} // end namespace tooling
543} // end namespace clang