1 //===- JSONCompilationDatabase.cpp ----------------------------------------===//
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
7 //===----------------------------------------------------------------------===//
9 // This file contains the implementation of the JSONCompilationDatabase.
11 //===----------------------------------------------------------------------===//
13 #include "clang/Tooling/JSONCompilationDatabase.h"
14 #include "clang/Basic/LLVM.h"
15 #include "clang/Tooling/CompilationDatabase.h"
16 #include "clang/Tooling/CompilationDatabasePluginRegistry.h"
17 #include "clang/Tooling/Tooling.h"
18 #include "llvm/ADT/STLExtras.h"
19 #include "llvm/ADT/SmallString.h"
20 #include "llvm/ADT/SmallVector.h"
21 #include "llvm/ADT/StringRef.h"
22 #include "llvm/Support/Allocator.h"
23 #include "llvm/Support/Casting.h"
24 #include "llvm/Support/CommandLine.h"
25 #include "llvm/Support/ErrorOr.h"
26 #include "llvm/Support/MemoryBuffer.h"
27 #include "llvm/Support/Path.h"
28 #include "llvm/Support/StringSaver.h"
29 #include "llvm/Support/VirtualFileSystem.h"
30 #include "llvm/Support/YAMLParser.h"
31 #include "llvm/Support/raw_ostream.h"
32 #include "llvm/TargetParser/Host.h"
33 #include "llvm/TargetParser/Triple.h"
38 #include <system_error>
43 using namespace clang
;
44 using namespace tooling
;
48 /// A parser for escaped strings of command line arguments.
50 /// Assumes \-escaping for quoted arguments (see the documentation of
51 /// unescapeCommandLine(...)).
52 class CommandLineArgumentParser
{
54 CommandLineArgumentParser(StringRef CommandLine
)
55 : Input(CommandLine
), Position(Input
.begin()-1) {}
57 std::vector
<std::string
> parse() {
58 bool HasMoreInput
= true;
59 while (HasMoreInput
&& nextNonWhitespace()) {
61 HasMoreInput
= parseStringInto(Argument
);
62 CommandLine
.push_back(Argument
);
68 // All private methods return true if there is more input available.
70 bool parseStringInto(std::string
&String
) {
72 if (*Position
== '"') {
73 if (!parseDoubleQuotedStringInto(String
)) return false;
74 } else if (*Position
== '\'') {
75 if (!parseSingleQuotedStringInto(String
)) return false;
77 if (!parseFreeStringInto(String
)) return false;
79 } while (*Position
!= ' ');
83 bool parseDoubleQuotedStringInto(std::string
&String
) {
84 if (!next()) return false;
85 while (*Position
!= '"') {
86 if (!skipEscapeCharacter()) return false;
87 String
.push_back(*Position
);
88 if (!next()) return false;
93 bool parseSingleQuotedStringInto(std::string
&String
) {
94 if (!next()) return false;
95 while (*Position
!= '\'') {
96 String
.push_back(*Position
);
97 if (!next()) return false;
102 bool parseFreeStringInto(std::string
&String
) {
104 if (!skipEscapeCharacter()) return false;
105 String
.push_back(*Position
);
106 if (!next()) return false;
107 } while (*Position
!= ' ' && *Position
!= '"' && *Position
!= '\'');
111 bool skipEscapeCharacter() {
112 if (*Position
== '\\') {
118 bool nextNonWhitespace() {
120 if (!next()) return false;
121 } while (*Position
== ' ');
127 return Position
!= Input
.end();
130 const StringRef Input
;
131 StringRef::iterator Position
;
132 std::vector
<std::string
> CommandLine
;
135 std::vector
<std::string
> unescapeCommandLine(JSONCommandLineSyntax Syntax
,
136 StringRef EscapedCommandLine
) {
137 if (Syntax
== JSONCommandLineSyntax::AutoDetect
) {
139 // Assume Windows command line parsing on Win32
140 Syntax
= JSONCommandLineSyntax::Windows
;
142 Syntax
= JSONCommandLineSyntax::Gnu
;
146 if (Syntax
== JSONCommandLineSyntax::Windows
) {
147 llvm::BumpPtrAllocator Alloc
;
148 llvm::StringSaver
Saver(Alloc
);
149 llvm::SmallVector
<const char *, 64> T
;
150 llvm::cl::TokenizeWindowsCommandLine(EscapedCommandLine
, Saver
, T
);
151 std::vector
<std::string
> Result(T
.begin(), T
.end());
154 assert(Syntax
== JSONCommandLineSyntax::Gnu
);
155 CommandLineArgumentParser
parser(EscapedCommandLine
);
156 return parser
.parse();
159 // This plugin locates a nearby compile_command.json file, and also infers
160 // compile commands for files not present in the database.
161 class JSONCompilationDatabasePlugin
: public CompilationDatabasePlugin
{
162 std::unique_ptr
<CompilationDatabase
>
163 loadFromDirectory(StringRef Directory
, std::string
&ErrorMessage
) override
{
164 SmallString
<1024> JSONDatabasePath(Directory
);
165 llvm::sys::path::append(JSONDatabasePath
, "compile_commands.json");
166 auto Base
= JSONCompilationDatabase::loadFromFile(
167 JSONDatabasePath
, ErrorMessage
, JSONCommandLineSyntax::AutoDetect
);
168 return Base
? inferTargetAndDriverMode(
169 inferMissingCompileCommands(expandResponseFiles(
170 std::move(Base
), llvm::vfs::getRealFileSystem())))
177 // Register the JSONCompilationDatabasePlugin with the
178 // CompilationDatabasePluginRegistry using this statically initialized variable.
179 static CompilationDatabasePluginRegistry::Add
<JSONCompilationDatabasePlugin
>
180 X("json-compilation-database", "Reads JSON formatted compilation databases");
185 // This anchor is used to force the linker to link in the generated object file
186 // and thus register the JSONCompilationDatabasePlugin.
187 volatile int JSONAnchorSource
= 0;
189 } // namespace tooling
192 std::unique_ptr
<JSONCompilationDatabase
>
193 JSONCompilationDatabase::loadFromFile(StringRef FilePath
,
194 std::string
&ErrorMessage
,
195 JSONCommandLineSyntax Syntax
) {
196 // Don't mmap: if we're a long-lived process, the build system may overwrite.
197 llvm::ErrorOr
<std::unique_ptr
<llvm::MemoryBuffer
>> DatabaseBuffer
=
198 llvm::MemoryBuffer::getFile(FilePath
, /*IsText=*/false,
199 /*RequiresNullTerminator=*/true,
200 /*IsVolatile=*/true);
201 if (std::error_code Result
= DatabaseBuffer
.getError()) {
202 ErrorMessage
= "Error while opening JSON database: " + Result
.message();
205 std::unique_ptr
<JSONCompilationDatabase
> Database(
206 new JSONCompilationDatabase(std::move(*DatabaseBuffer
), Syntax
));
207 if (!Database
->parse(ErrorMessage
))
212 std::unique_ptr
<JSONCompilationDatabase
>
213 JSONCompilationDatabase::loadFromBuffer(StringRef DatabaseString
,
214 std::string
&ErrorMessage
,
215 JSONCommandLineSyntax Syntax
) {
216 std::unique_ptr
<llvm::MemoryBuffer
> DatabaseBuffer(
217 llvm::MemoryBuffer::getMemBufferCopy(DatabaseString
));
218 std::unique_ptr
<JSONCompilationDatabase
> Database(
219 new JSONCompilationDatabase(std::move(DatabaseBuffer
), Syntax
));
220 if (!Database
->parse(ErrorMessage
))
225 std::vector
<CompileCommand
>
226 JSONCompilationDatabase::getCompileCommands(StringRef FilePath
) const {
227 SmallString
<128> NativeFilePath
;
228 llvm::sys::path::native(FilePath
, NativeFilePath
);
231 llvm::raw_string_ostream
ES(Error
);
232 StringRef Match
= MatchTrie
.findEquivalent(NativeFilePath
, ES
);
235 const auto CommandsRefI
= IndexByFile
.find(Match
);
236 if (CommandsRefI
== IndexByFile
.end())
238 std::vector
<CompileCommand
> Commands
;
239 getCommands(CommandsRefI
->getValue(), Commands
);
243 std::vector
<std::string
>
244 JSONCompilationDatabase::getAllFiles() const {
245 std::vector
<std::string
> Result
;
246 for (const auto &CommandRef
: IndexByFile
)
247 Result
.push_back(CommandRef
.first().str());
251 std::vector
<CompileCommand
>
252 JSONCompilationDatabase::getAllCompileCommands() const {
253 std::vector
<CompileCommand
> Commands
;
254 getCommands(AllCommands
, Commands
);
258 static llvm::StringRef
stripExecutableExtension(llvm::StringRef Name
) {
259 Name
.consume_back(".exe");
263 // There are compiler-wrappers (ccache, distcc) that take the "real"
264 // compiler as an argument, e.g. distcc gcc -O3 foo.c.
265 // These end up in compile_commands.json when people set CC="distcc gcc".
266 // Clang's driver doesn't understand this, so we need to unwrap.
267 static bool unwrapCommand(std::vector
<std::string
> &Args
) {
271 stripExecutableExtension(llvm::sys::path::filename(Args
.front()));
272 if (Wrapper
== "distcc" || Wrapper
== "ccache" || Wrapper
== "sccache") {
273 // Most of these wrappers support being invoked 3 ways:
274 // `distcc g++ file.c` This is the mode we're trying to match.
275 // We need to drop `distcc`.
276 // `distcc file.c` This acts like compiler is cc or similar.
277 // Clang's driver can handle this, no change needed.
278 // `g++ file.c` g++ is a symlink to distcc.
279 // We don't even notice this case, and all is well.
281 // We need to distinguish between the first and second case.
282 // The wrappers themselves don't take flags, so Args[1] is a compiler flag,
283 // an input file, or a compiler. Inputs have extensions, compilers don't.
285 (Args
[1][0] != '-') &&
286 !llvm::sys::path::has_extension(stripExecutableExtension(Args
[1]));
288 Args
.erase(Args
.begin());
291 // If !HasCompiler, wrappers act like GCC. Fine: so do we.
296 static std::vector
<std::string
>
297 nodeToCommandLine(JSONCommandLineSyntax Syntax
,
298 const std::vector
<llvm::yaml::ScalarNode
*> &Nodes
) {
299 SmallString
<1024> Storage
;
300 std::vector
<std::string
> Arguments
;
301 if (Nodes
.size() == 1)
302 Arguments
= unescapeCommandLine(Syntax
, Nodes
[0]->getValue(Storage
));
304 for (const auto *Node
: Nodes
)
305 Arguments
.push_back(std::string(Node
->getValue(Storage
)));
306 // There may be multiple wrappers: using distcc and ccache together is common.
307 while (unwrapCommand(Arguments
))
312 void JSONCompilationDatabase::getCommands(
313 ArrayRef
<CompileCommandRef
> CommandsRef
,
314 std::vector
<CompileCommand
> &Commands
) const {
315 for (const auto &CommandRef
: CommandsRef
) {
316 SmallString
<8> DirectoryStorage
;
317 SmallString
<32> FilenameStorage
;
318 SmallString
<32> OutputStorage
;
319 auto Output
= std::get
<3>(CommandRef
);
320 Commands
.emplace_back(
321 std::get
<0>(CommandRef
)->getValue(DirectoryStorage
),
322 std::get
<1>(CommandRef
)->getValue(FilenameStorage
),
323 nodeToCommandLine(Syntax
, std::get
<2>(CommandRef
)),
324 Output
? Output
->getValue(OutputStorage
) : "");
328 bool JSONCompilationDatabase::parse(std::string
&ErrorMessage
) {
329 llvm::yaml::document_iterator I
= YAMLStream
.begin();
330 if (I
== YAMLStream
.end()) {
331 ErrorMessage
= "Error while parsing YAML.";
334 llvm::yaml::Node
*Root
= I
->getRoot();
336 ErrorMessage
= "Error while parsing YAML.";
339 auto *Array
= dyn_cast
<llvm::yaml::SequenceNode
>(Root
);
341 ErrorMessage
= "Expected array.";
344 for (auto &NextObject
: *Array
) {
345 auto *Object
= dyn_cast
<llvm::yaml::MappingNode
>(&NextObject
);
347 ErrorMessage
= "Expected object.";
350 llvm::yaml::ScalarNode
*Directory
= nullptr;
351 std::optional
<std::vector
<llvm::yaml::ScalarNode
*>> Command
;
352 llvm::yaml::ScalarNode
*File
= nullptr;
353 llvm::yaml::ScalarNode
*Output
= nullptr;
354 for (auto& NextKeyValue
: *Object
) {
355 auto *KeyString
= dyn_cast
<llvm::yaml::ScalarNode
>(NextKeyValue
.getKey());
357 ErrorMessage
= "Expected strings as key.";
360 SmallString
<10> KeyStorage
;
361 StringRef KeyValue
= KeyString
->getValue(KeyStorage
);
362 llvm::yaml::Node
*Value
= NextKeyValue
.getValue();
364 ErrorMessage
= "Expected value.";
367 auto *ValueString
= dyn_cast
<llvm::yaml::ScalarNode
>(Value
);
368 auto *SequenceString
= dyn_cast
<llvm::yaml::SequenceNode
>(Value
);
369 if (KeyValue
== "arguments") {
370 if (!SequenceString
) {
371 ErrorMessage
= "Expected sequence as value.";
374 Command
= std::vector
<llvm::yaml::ScalarNode
*>();
375 for (auto &Argument
: *SequenceString
) {
376 auto *Scalar
= dyn_cast
<llvm::yaml::ScalarNode
>(&Argument
);
378 ErrorMessage
= "Only strings are allowed in 'arguments'.";
381 Command
->push_back(Scalar
);
385 ErrorMessage
= "Expected string as value.";
388 if (KeyValue
== "directory") {
389 Directory
= ValueString
;
390 } else if (KeyValue
== "command") {
392 Command
= std::vector
<llvm::yaml::ScalarNode
*>(1, ValueString
);
393 } else if (KeyValue
== "file") {
395 } else if (KeyValue
== "output") {
396 Output
= ValueString
;
399 ("Unknown key: \"" + KeyString
->getRawValue() + "\"").str();
405 ErrorMessage
= "Missing key: \"file\".";
409 ErrorMessage
= "Missing key: \"command\" or \"arguments\".";
413 ErrorMessage
= "Missing key: \"directory\".";
416 SmallString
<8> FileStorage
;
417 StringRef FileName
= File
->getValue(FileStorage
);
418 SmallString
<128> NativeFilePath
;
419 if (llvm::sys::path::is_relative(FileName
)) {
420 SmallString
<8> DirectoryStorage
;
421 SmallString
<128> AbsolutePath(Directory
->getValue(DirectoryStorage
));
422 llvm::sys::path::append(AbsolutePath
, FileName
);
423 llvm::sys::path::native(AbsolutePath
, NativeFilePath
);
425 llvm::sys::path::native(FileName
, NativeFilePath
);
427 llvm::sys::path::remove_dots(NativeFilePath
, /*remove_dot_dot=*/true);
428 auto Cmd
= CompileCommandRef(Directory
, File
, *Command
, Output
);
429 IndexByFile
[NativeFilePath
].push_back(Cmd
);
430 AllCommands
.push_back(Cmd
);
431 MatchTrie
.insert(NativeFilePath
);