clang-tools 24.0.0git
ParsedAST.cpp
Go to the documentation of this file.
1//===--- ParsedAST.cpp -------------------------------------------*- C++-*-===//
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#include "ParsedAST.h"
14#include "AST.h"
15#include "CollectMacros.h"
16#include "Compiler.h"
17#include "Config.h"
18#include "Diagnostics.h"
19#include "Feature.h"
20#include "FeatureModule.h"
21#include "Headers.h"
22#include "IncludeCleaner.h"
23#include "IncludeFixer.h"
24#include "Preamble.h"
25#include "SourceCode.h"
26#include "TidyProvider.h"
27#include "clang-include-cleaner/Record.h"
28#include "index/Symbol.h"
29#include "support/Logger.h"
30#include "support/Path.h"
31#include "support/Trace.h"
32#include "clang/AST/ASTContext.h"
33#include "clang/AST/Decl.h"
34#include "clang/AST/DeclGroup.h"
35#include "clang/AST/ExternalASTSource.h"
36#include "clang/ASTMatchers/ASTMatchFinder.h"
37#include "clang/Basic/Diagnostic.h"
38#include "clang/Basic/DiagnosticIDs.h"
39#include "clang/Basic/DiagnosticSema.h"
40#include "clang/Basic/FileEntry.h"
41#include "clang/Basic/LLVM.h"
42#include "clang/Basic/LangOptions.h"
43#include "clang/Basic/SourceLocation.h"
44#include "clang/Basic/SourceManager.h"
45#include "clang/Basic/TokenKinds.h"
46#include "clang/Frontend/CompilerInstance.h"
47#include "clang/Frontend/CompilerInvocation.h"
48#include "clang/Frontend/FrontendActions.h"
49#include "clang/Frontend/FrontendOptions.h"
50#include "clang/Frontend/PrecompiledPreamble.h"
51#include "clang/Lex/Lexer.h"
52#include "clang/Lex/PPCallbacks.h"
53#include "clang/Lex/PreprocessingRecord.h"
54#include "clang/Lex/Preprocessor.h"
55#include "clang/Sema/HeuristicResolver.h"
56#include "clang/Serialization/ASTWriter.h"
57#include "clang/Tooling/CompilationDatabase.h"
58#include "clang/Tooling/Core/Diagnostic.h"
59#include "clang/Tooling/Syntax/Tokens.h"
60#include "llvm/ADT/ArrayRef.h"
61#include "llvm/ADT/DenseMap.h"
62#include "llvm/ADT/DenseSet.h"
63#include "llvm/ADT/STLExtras.h"
64#include "llvm/ADT/STLFunctionalExtras.h"
65#include "llvm/ADT/SmallVector.h"
66#include "llvm/ADT/StringRef.h"
67#include "llvm/Support/Error.h"
68#include "llvm/Support/MemoryBuffer.h"
69#include <cassert>
70#include <cstddef>
71#include <iterator>
72#include <memory>
73#include <optional>
74#include <string>
75#include <tuple>
76#include <utility>
77#include <vector>
78
79// Force the linker to link in Clang-tidy modules.
80// clangd doesn't support the static analyzer.
81#if CLANGD_TIDY_CHECKS
82#define CLANG_TIDY_DISABLE_STATIC_ANALYZER_CHECKS
84#endif
85
86#if CLANG_TIDY_ENABLE_QUERY_BASED_CUSTOM_CHECKS
88#include <mutex>
89#endif
90
91namespace clang {
92namespace clangd {
93namespace {
94
95template <class T> std::size_t getUsedBytes(const std::vector<T> &Vec) {
96 return Vec.capacity() * sizeof(T);
97}
98
99class DeclTrackingASTConsumer : public ASTConsumer {
100public:
101 DeclTrackingASTConsumer(std::vector<Decl *> &TopLevelDecls)
102 : TopLevelDecls(TopLevelDecls) {}
103
104 bool HandleTopLevelDecl(DeclGroupRef DG) override {
105 for (Decl *D : DG) {
106 auto &SM = D->getASTContext().getSourceManager();
107 if (!isInsideMainFile(D->getLocation(), SM))
108 continue;
109 if (const NamedDecl *ND = dyn_cast<NamedDecl>(D))
111 continue;
112
113 // ObjCMethodDecl are not actually top-level decls.
114 if (isa<ObjCMethodDecl>(D))
115 continue;
116
117 TopLevelDecls.push_back(D);
118 }
119 return true;
120 }
121
122private:
123 std::vector<Decl *> &TopLevelDecls;
124};
125
126class ClangdFrontendAction : public SyntaxOnlyAction {
127public:
128 std::vector<Decl *> takeTopLevelDecls() { return std::move(TopLevelDecls); }
129
130protected:
131 std::unique_ptr<ASTConsumer>
132 CreateASTConsumer(CompilerInstance &CI, llvm::StringRef InFile) override {
133 return std::make_unique<DeclTrackingASTConsumer>(/*ref*/ TopLevelDecls);
134 }
135
136private:
137 std::vector<Decl *> TopLevelDecls;
138};
139
140// When using a preamble, only preprocessor events outside its bounds are seen.
141// This is almost what we want: replaying transitive preprocessing wastes time.
142// However this confuses clang-tidy checks: they don't see any #includes!
143// So we replay the *non-transitive* #includes that appear in the main-file.
144// It would be nice to replay other events (macro definitions, ifdefs etc) but
145// this addresses the most common cases fairly cheaply.
146class ReplayPreamble : private PPCallbacks {
147public:
148 // Attach preprocessor hooks such that preamble events will be injected at
149 // the appropriate time.
150 // Events will be delivered to the *currently registered* PP callbacks.
151 static void attach(std::vector<Inclusion> Includes,
152 const MainFileMacros Macros, CompilerInstance &Clang,
153 const PreambleBounds &PB) {
154 auto &PP = Clang.getPreprocessor();
155 auto *ExistingCallbacks = PP.getPPCallbacks();
156 // No need to replay events if nobody is listening.
157 if (!ExistingCallbacks)
158 return;
159 PP.addPPCallbacks(std::unique_ptr<PPCallbacks>(new ReplayPreamble(
160 std::move(Includes), std::move(Macros), ExistingCallbacks,
161 Clang.getSourceManager(), PP, Clang.getLangOpts(), PB)));
162 // We're relying on the fact that addPPCallbacks keeps the old PPCallbacks
163 // around, creating a chaining wrapper. Guard against other implementations.
164 assert(PP.getPPCallbacks() != ExistingCallbacks &&
165 "Expected chaining implementation");
166 }
167
168private:
169 ReplayPreamble(std::vector<Inclusion> Includes, MainFileMacros Macros,
170 PPCallbacks *Delegate, const SourceManager &SM,
171 Preprocessor &PP, const LangOptions &LangOpts,
172 const PreambleBounds &PB)
173 : Includes(std::move(Includes)), Macros(std::move(Macros)),
174 Delegate(Delegate), SM(SM), PP(PP) {
175 // Only tokenize the preamble section of the main file, as we are not
176 // interested in the rest of the tokens.
177 MainFileTokens = syntax::tokenize(
178 syntax::FileRange(SM.getMainFileID(), 0, PB.Size), SM, LangOpts);
179 }
180
181 // In a normal compile, the preamble traverses the following structure:
182 //
183 // mainfile.cpp
184 // <built-in>
185 // ... macro definitions like __cplusplus ...
186 // <command-line>
187 // ... macro definitions for args like -Dfoo=bar ...
188 // "header1.h"
189 // ... header file contents ...
190 // "header2.h"
191 // ... header file contents ...
192 // ... main file contents ...
193 //
194 // When using a preamble, the "header1" and "header2" subtrees get skipped.
195 // We insert them right after the built-in header, which still appears.
196 void FileChanged(SourceLocation Loc, FileChangeReason Reason,
197 SrcMgr::CharacteristicKind Kind, FileID PrevFID) override {
198 // It'd be nice if there was a better way to identify built-in headers...
199 if (Reason == FileChangeReason::ExitFile &&
200 SM.getBufferOrFake(PrevFID).getBufferIdentifier() == "<built-in>")
201 replay();
202 }
203
204 void replay() {
205 // Replay macro definitions from the preamble region of the main file,
206 // so that clang-tidy checks can observe them.
207 for (const auto &[SID, Refs] : Macros.MacroRefs) {
208 for (const auto &Ref : Refs) {
209 if (!Ref.IsDefinition)
210 continue;
211 auto Loc = SM.getComposedLoc(SM.getMainFileID(), Ref.StartOffset);
212 Token Tok;
213 if (Lexer::getRawToken(Loc, Tok, SM, PP.getLangOpts(), false))
214 continue;
215 if (auto *II = PP.getIdentifierInfo(Tok.getRawIdentifier())) {
216 Tok.setIdentifierInfo(II);
217 Tok.setKind(tok::identifier);
218 if (auto *MD = PP.getLocalMacroDirective(II))
219 Delegate->MacroDefined(Tok, MD);
220 }
221 }
222 }
223 for (const auto &Inc : Includes) {
224 OptionalFileEntryRef File;
225 if (Inc.Resolved != "")
226 File = expectedToOptional(SM.getFileManager().getFileRef(Inc.Resolved));
227
228 // Re-lex the #include directive to find its interesting parts.
229 auto HashLoc = SM.getComposedLoc(SM.getMainFileID(), Inc.HashOffset);
230 auto HashTok = llvm::partition_point(MainFileTokens,
231 [&HashLoc](const syntax::Token &T) {
232 return T.location() < HashLoc;
233 });
234 assert(HashTok != MainFileTokens.end() && HashTok->kind() == tok::hash);
235
236 auto IncludeTok = std::next(HashTok);
237 assert(IncludeTok != MainFileTokens.end());
238
239 auto FileTok = std::next(IncludeTok);
240 assert(FileTok != MainFileTokens.end());
241
242 // Create a fake import/include token, none of the callers seem to care
243 // about clang::Token::Flags.
244 Token SynthesizedIncludeTok;
245 SynthesizedIncludeTok.startToken();
246 SynthesizedIncludeTok.setLocation(IncludeTok->location());
247 SynthesizedIncludeTok.setLength(IncludeTok->length());
248 SynthesizedIncludeTok.setKind(tok::raw_identifier);
249 SynthesizedIncludeTok.setRawIdentifierData(IncludeTok->text(SM).data());
250 PP.LookUpIdentifierInfo(SynthesizedIncludeTok);
251
252 // Same here, create a fake one for Filename, including angles or quotes.
253 Token SynthesizedFilenameTok;
254 SynthesizedFilenameTok.startToken();
255 SynthesizedFilenameTok.setLocation(FileTok->location());
256 // Note that we can't make use of FileTok->length/text in here as in the
257 // case of angled includes this will contain tok::less instead of
258 // filename. Whereas Inc.Written contains the full header name including
259 // quotes/angles.
260 SynthesizedFilenameTok.setLength(Inc.Written.length());
261 SynthesizedFilenameTok.setKind(tok::header_name);
262 SynthesizedFilenameTok.setLiteralData(Inc.Written.data());
263
264 llvm::StringRef WrittenFilename =
265 llvm::StringRef(Inc.Written).drop_front().drop_back();
266 Delegate->InclusionDirective(
267 HashTok->location(), SynthesizedIncludeTok, WrittenFilename,
268 Inc.Written.front() == '<',
269 syntax::FileRange(SM, SynthesizedFilenameTok.getLocation(),
270 SynthesizedFilenameTok.getEndLoc())
271 .toCharRange(SM),
272 File, "SearchPath", "RelPath",
273 /*SuggestedModule=*/nullptr, /*ModuleImported=*/false, Inc.FileKind);
274 if (File)
275 Delegate->FileSkipped(*File, SynthesizedFilenameTok, Inc.FileKind);
276 }
277 }
278
279 const std::vector<Inclusion> Includes;
280 const MainFileMacros Macros;
281 PPCallbacks *Delegate;
282 const SourceManager &SM;
283 Preprocessor &PP;
284 std::vector<syntax::Token> MainFileTokens;
285};
286
287// Filter for clang diagnostics groups enabled by CTOptions.Checks.
288//
289// These are check names like clang-diagnostics-unused.
290// Note that unlike -Wunused, clang-diagnostics-unused does not imply
291// subcategories like clang-diagnostics-unused-function.
292//
293// This is used to determine which diagnostics can be enabled by ExtraArgs in
294// the clang-tidy configuration.
295class TidyDiagnosticGroups {
296 // Whether all diagnostic groups are enabled by default.
297 // True if we've seen clang-diagnostic-*.
298 bool Default = false;
299 // Set of diag::Group whose enablement != Default.
300 // If Default is false, this is foo where we've seen clang-diagnostic-foo.
301 llvm::DenseSet<unsigned> Exceptions;
302
303public:
304 TidyDiagnosticGroups(llvm::StringRef Checks) {
305 constexpr llvm::StringLiteral CDPrefix = "clang-diagnostic-";
306
307 llvm::StringRef Check;
308 while (!Checks.empty()) {
309 std::tie(Check, Checks) = Checks.split(',');
310 Check = Check.trim();
311
312 if (Check.empty())
313 continue;
314
315 bool Enable = !Check.consume_front("-");
316 bool Glob = Check.consume_back("*");
317 if (Glob) {
318 // Is this clang-diagnostic-*, or *, or so?
319 // (We ignore all other types of globs).
320 if (CDPrefix.starts_with(Check)) {
321 Default = Enable;
322 Exceptions.clear();
323 }
324 continue;
325 }
326
327 // In "*,clang-diagnostic-foo", the latter is a no-op.
328 if (Default == Enable)
329 continue;
330 // The only non-glob entries we care about are clang-diagnostic-foo.
331 if (!Check.consume_front(CDPrefix))
332 continue;
333
334 if (auto Group = DiagnosticIDs::getGroupForWarningOption(Check))
335 Exceptions.insert(static_cast<unsigned>(*Group));
336 }
337 }
338
339 bool operator()(diag::Group GroupID) const {
340 return Exceptions.contains(static_cast<unsigned>(GroupID)) ? !Default
341 : Default;
342 }
343};
344
345// Find -W<group> and -Wno-<group> options in ExtraArgs and apply them to Diags.
346//
347// This is used to handle ExtraArgs in clang-tidy configuration.
348// We don't use clang's standard handling of this as we want slightly different
349// behavior (e.g. we want to exclude these from -Wno-error).
350void applyWarningOptions(llvm::ArrayRef<std::string> ExtraArgs,
351 llvm::function_ref<bool(diag::Group)> EnabledGroups,
352 DiagnosticsEngine &Diags) {
353 for (llvm::StringRef Group : ExtraArgs) {
354 // Only handle args that are of the form -W[no-]<group>.
355 // Other flags are possible but rare and deliberately out of scope.
356 llvm::SmallVector<diag::kind> Members;
357 if (!Group.consume_front("-W") || Group.empty())
358 continue;
359 bool Enable = !Group.consume_front("no-");
360 if (Diags.getDiagnosticIDs()->getDiagnosticsInGroup(
361 diag::Flavor::WarningOrError, Group, Members))
362 continue;
363
364 // Upgrade (or downgrade) the severity of each diagnostic in the group.
365 // If -Werror is on, newly added warnings will be treated as errors.
366 // We don't want this, so keep track of them to fix afterwards.
367 bool NeedsWerrorExclusion = false;
368 for (diag::kind ID : Members) {
369 if (Enable) {
370 if (Diags.getDiagnosticLevel(ID, SourceLocation()) <
371 DiagnosticsEngine::Warning) {
372 auto Group = Diags.getDiagnosticIDs()->getGroupForDiag(ID);
373 if (!Group || !EnabledGroups(*Group))
374 continue;
375 Diags.setSeverity(ID, diag::Severity::Warning, SourceLocation());
376 if (Diags.getWarningsAsErrors())
377 NeedsWerrorExclusion = true;
378 }
379 } else {
380 Diags.setSeverity(ID, diag::Severity::Ignored, SourceLocation());
381 }
382 }
383 if (NeedsWerrorExclusion) {
384 // FIXME: there's no API to suppress -Werror for single diagnostics.
385 // In some cases with sub-groups, we may end up erroneously
386 // downgrading diagnostics that were -Werror in the compile command.
387 Diags.setDiagnosticGroupWarningAsError(Group, false);
388 }
389 }
390}
391
392std::vector<Diag> getIncludeCleanerDiags(ParsedAST &AST, llvm::StringRef Code,
393 const ThreadsafeFS &TFS) {
394 auto &Cfg = Config::current();
395 if (Cfg.Diagnostics.SuppressAll)
396 return {};
397 bool SuppressMissing =
398 Cfg.Diagnostics.Suppress.contains("missing-includes") ||
399 Cfg.Diagnostics.MissingIncludes == Config::IncludesPolicy::None;
400 bool SuppressUnused =
401 Cfg.Diagnostics.Suppress.contains("unused-includes") ||
402 Cfg.Diagnostics.UnusedIncludes == Config::IncludesPolicy::None;
403 if (SuppressMissing && SuppressUnused)
404 return {};
405 auto Findings = computeIncludeCleanerFindings(
406 AST, Cfg.Diagnostics.Includes.AnalyzeAngledIncludes);
407 if (SuppressMissing)
408 Findings.MissingIncludes.clear();
409 if (SuppressUnused)
410 Findings.UnusedIncludes.clear();
412 AST, Code, Findings, TFS, Cfg.Diagnostics.Includes.IgnoreHeader,
413 Cfg.Style.AngledHeaders, Cfg.Style.QuotedHeaders);
414}
415
416tidy::ClangTidyCheckFactories
417filterFastTidyChecks(const tidy::ClangTidyCheckFactories &All,
419 if (Policy == Config::FastCheckPolicy::None)
420 return All;
421 bool AllowUnknown = Policy == Config::FastCheckPolicy::Loose;
422 tidy::ClangTidyCheckFactories Fast;
423 for (const auto &Factory : All) {
424 if (isFastTidyCheck(Factory.getKey()).value_or(AllowUnknown))
425 Fast.registerCheckFactory(Factory.first(), Factory.second);
426 }
427 return Fast;
428}
429
430} // namespace
431
432std::optional<ParsedAST>
433ParsedAST::build(llvm::StringRef Filename, const ParseInputs &Inputs,
434 std::unique_ptr<clang::CompilerInvocation> CI,
435 llvm::ArrayRef<Diag> CompilerInvocationDiags,
436 std::shared_ptr<const PreambleData> Preamble) {
437 trace::Span Tracer("BuildAST");
438 SPAN_ATTACH(Tracer, "File", Filename);
439 const Config &Cfg = Config::current();
440
441 auto VFS = Inputs.TFS->view(Inputs.CompileCommand.Directory);
442 if (Preamble && Preamble->StatCache)
443 VFS = Preamble->StatCache->getConsumingFS(std::move(VFS));
444
445 assert(CI);
446
447 if (CI->getFrontendOpts().Inputs.size() > 0) {
448 auto Lang = CI->getFrontendOpts().Inputs[0].getKind().getLanguage();
449 if (Lang == Language::Asm || Lang == Language::LLVM_IR) {
450 elog("Clangd does not support assembly or IR source files");
451 return std::nullopt;
452 }
453 }
454
455 // Command-line parsing sets DisableFree to true by default, but we don't want
456 // to leak memory in clangd.
457 CI->getFrontendOpts().DisableFree = false;
458 const PrecompiledPreamble *PreamblePCH =
459 Preamble ? &Preamble->Preamble : nullptr;
460
461 // This is on-by-default in windows to allow parsing SDK headers, but it
462 // breaks many features. Disable it for the main-file (not preamble).
463 CI->getLangOpts().DelayedTemplateParsing = false;
464
465 std::vector<std::unique_ptr<FeatureModule::ASTListener>> ASTListeners;
466 if (Inputs.FeatureModules) {
467 for (auto &M : *Inputs.FeatureModules) {
468 if (auto Listener = M.astListeners())
469 ASTListeners.emplace_back(std::move(Listener));
470 }
471 }
472 StoreDiags ASTDiags;
473 ASTDiags.setDiagCallback(
474 [&ASTListeners](const clang::Diagnostic &D, clangd::Diag &Diag) {
475 for (const auto &L : ASTListeners)
476 L->sawDiagnostic(D, Diag);
477 });
478
479 // Adjust header search options to load the built module files recorded
480 // in RequiredModules.
481 if (Preamble && Preamble->RequiredModules)
482 Preamble->RequiredModules->adjustHeaderSearchOptions(
483 CI->getHeaderSearchOpts());
484
485 std::optional<PreamblePatch> Patch;
486 // We might use an ignoring diagnostic consumer if they are going to be
487 // dropped later on to not pay for extra latency by processing them.
488 DiagnosticConsumer *DiagConsumer = &ASTDiags;
489 IgnoreDiagnostics DropDiags;
490 if (Preamble) {
491 Patch = PreamblePatch::createFullPatch(Filename, Inputs, *Preamble);
492 Patch->apply(*CI);
493 }
494 auto Clang = prepareCompilerInstance(
495 std::move(CI), Inputs.Opts.SkipPreambleBuild ? nullptr : PreamblePCH,
496 llvm::MemoryBuffer::getMemBufferCopy(Inputs.Contents, Filename), VFS,
497 *DiagConsumer);
498
499 if (!Clang) {
500 // The last diagnostic contains information about the reason of this
501 // failure.
502 std::vector<Diag> Diags(ASTDiags.take());
503 elog("Failed to prepare a compiler instance: {0}",
504 !Diags.empty() ? static_cast<DiagBase &>(Diags.back()).Message
505 : "unknown error");
506 return std::nullopt;
507 }
508 tidy::ClangTidyOptions ClangTidyOpts;
509 {
510 trace::Span Tracer("ClangTidyOpts");
511 ClangTidyOpts = getTidyOptionsForFile(Inputs.ClangTidyProvider, Filename);
512 dlog("ClangTidy configuration for file {0}: {1}", Filename,
513 tidy::configurationAsText(ClangTidyOpts));
514
515 // If clang-tidy is configured to emit clang warnings, we should too.
516 //
517 // Such clang-tidy configuration consists of two parts:
518 // - ExtraArgs: ["-Wfoo"] causes clang to produce the warnings
519 // - Checks: "clang-diagnostic-foo" prevents clang-tidy filtering them out
520 //
521 // In clang-tidy, diagnostics are emitted if they pass both checks.
522 // When groups contain subgroups, -Wparent includes the child, but
523 // clang-diagnostic-parent does not.
524 //
525 // We *don't* want to change the compile command directly. This can have
526 // too many unexpected effects: breaking the command, interactions with
527 // -- and -Werror, etc. Besides, we've already parsed the command.
528 // Instead we parse the -W<group> flags and handle them directly.
529 //
530 // Similarly, we don't want to use Checks to filter clang diagnostics after
531 // they are generated, as this spreads clang-tidy emulation everywhere.
532 // Instead, we just use these to filter which extra diagnostics we enable.
533 auto &Diags = Clang->getDiagnostics();
534 TidyDiagnosticGroups TidyGroups(ClangTidyOpts.Checks ? *ClangTidyOpts.Checks
535 : llvm::StringRef());
536 if (ClangTidyOpts.ExtraArgsBefore)
537 applyWarningOptions(*ClangTidyOpts.ExtraArgsBefore, TidyGroups, Diags);
538 if (ClangTidyOpts.ExtraArgs)
539 applyWarningOptions(*ClangTidyOpts.ExtraArgs, TidyGroups, Diags);
540 }
541
542 auto Action = std::make_unique<ClangdFrontendAction>();
543 const FrontendInputFile &MainInput = Clang->getFrontendOpts().Inputs[0];
544 if (!Action->BeginSourceFile(*Clang, MainInput)) {
545 elog("BeginSourceFile() failed when building AST for {0}",
546 MainInput.getFile());
547 return std::nullopt;
548 }
549 // If we saw an include guard in the preamble section of the main file,
550 // mark the main-file as include-guarded.
551 // This information is part of the HeaderFileInfo but is not loaded from the
552 // preamble as the file's size is part of its identity and may have changed.
553 // (The rest of HeaderFileInfo is not relevant for our purposes).
554 if (Preamble && Preamble->MainIsIncludeGuarded) {
555 const SourceManager &SM = Clang->getSourceManager();
556 OptionalFileEntryRef MainFE = SM.getFileEntryRefForID(SM.getMainFileID());
557 Clang->getPreprocessor().getHeaderSearchInfo().MarkFileIncludeOnce(*MainFE);
558 }
559
560 // Set up ClangTidy. Must happen after BeginSourceFile() so ASTContext exists.
561 // Clang-tidy has some limitations to ensure reasonable performance:
562 // - checks don't see all preprocessor events in the preamble
563 // - matchers run only over the main-file top-level decls (and can't see
564 // ancestors outside this scope).
565 // In practice almost all checks work well without modifications.
566 std::vector<std::unique_ptr<tidy::ClangTidyCheck>> CTChecks;
567 ast_matchers::MatchFinder CTFinder;
568 std::optional<tidy::ClangTidyContext> CTContext;
569 // Must outlive FixIncludes.
570 auto BuildDir = VFS->getCurrentWorkingDirectory();
571 std::optional<IncludeFixer> FixIncludes;
572 llvm::DenseMap<diag::kind, DiagnosticsEngine::Level> OverriddenSeverity;
573 // No need to run clang-tidy or IncludeFixerif we are not going to surface
574 // diagnostics.
575 {
576 trace::Span Tracer("ClangTidyInit");
577 static const auto *AllCTFactories = [] {
578 auto *CTFactories = new tidy::ClangTidyCheckFactories;
579 for (const auto &E : tidy::ClangTidyModuleRegistry::entries())
580 E.instantiate()->addCheckFactories(*CTFactories);
581 return CTFactories;
582 }();
583 CTContext.emplace(std::make_unique<tidy::DefaultOptionsProvider>(
584 tidy::ClangTidyGlobalOptions(), ClangTidyOpts),
585 /*AllowEnablingAnalyzerAlphaCheckers=*/false,
586 /*EnableModuleHeadersParsing=*/false,
588 // The lifetime of DiagnosticOptions is managed by \c Clang.
589 CTContext->setDiagnosticsEngine(nullptr, &Clang->getDiagnostics());
590 CTContext->setASTContext(&Clang->getASTContext());
591 CTContext->setCurrentFile(Filename);
592 CTContext->setSelfContainedDiags(true);
593 tidy::ClangTidyCheckFactories CTCheckFactories = *AllCTFactories;
594#if CLANG_TIDY_ENABLE_QUERY_BASED_CUSTOM_CHECKS
595 if (CTContext->canExperimentalCustomChecks() &&
597 // RegisterCustomChecks tracks names in process-wide mutable state.
598 // Serializing its use keeps concurrent AST builds independent.
599 static std::mutex CustomChecksMu;
600 std::lock_guard<std::mutex> Lock(CustomChecksMu);
601 tidy::custom::RegisterCustomChecks(CTContext->getOptions(),
602 CTCheckFactories);
603 }
604#endif
605 tidy::ClangTidyCheckFactories FastFactories = filterFastTidyChecks(
606 CTCheckFactories, Cfg.Diagnostics.ClangTidy.FastCheckFilter);
607 CTChecks = FastFactories.createChecksForLanguage(&*CTContext);
608 Preprocessor *PP = &Clang->getPreprocessor();
609 for (const auto &Check : CTChecks) {
610 Check->registerPPCallbacks(Clang->getSourceManager(), PP, PP);
611 Check->registerMatchers(&CTFinder);
612 }
613
614 // Clang only corrects typos for use of undeclared functions in C if that
615 // use is an error. Include fixer relies on typo correction, so pretend
616 // this is an error. (The actual typo correction is nice too).
617 // We restore the original severity in the level adjuster.
618 // FIXME: It would be better to have a real API for this, but what?
619 for (auto ID : {diag::ext_implicit_function_decl_c99,
620 diag::ext_implicit_lib_function_decl,
621 diag::ext_implicit_lib_function_decl_c99,
622 diag::warn_implicit_function_decl}) {
623 OverriddenSeverity.try_emplace(
624 ID, Clang->getDiagnostics().getDiagnosticLevel(ID, SourceLocation()));
625 Clang->getDiagnostics().setSeverity(ID, diag::Severity::Error,
626 SourceLocation());
627 }
628
629 ASTDiags.setLevelAdjuster([&](DiagnosticsEngine::Level DiagLevel,
630 const clang::Diagnostic &Info) {
631 auto It = OverriddenSeverity.find(Info.getID());
632 if (It != OverriddenSeverity.end())
633 DiagLevel = It->second;
634
635 if (!CTChecks.empty()) {
636 std::string CheckName = CTContext->getCheckName(Info.getID());
637 bool IsClangTidyDiag = !CheckName.empty();
638 if (IsClangTidyDiag) {
639 if (Cfg.Diagnostics.Suppress.contains(CheckName))
640 return DiagnosticsEngine::Ignored;
641 // Check for suppression comment. Skip the check for diagnostics not
642 // in the main file, because we don't want that function to query the
643 // source buffer for preamble files. For the same reason, we ask
644 // shouldSuppressDiagnostic to avoid I/O.
645 // We let suppression comments take precedence over warning-as-error
646 // to match clang-tidy's behaviour.
647 bool IsInsideMainFile =
648 Info.hasSourceManager() &&
649 isInsideMainFile(Info.getLocation(), Info.getSourceManager());
650 SmallVector<tooling::Diagnostic, 1> TidySuppressedErrors;
651 if (IsInsideMainFile && CTContext->shouldSuppressDiagnostic(
652 DiagLevel, Info, TidySuppressedErrors,
653 /*AllowIO=*/false,
654 /*EnableNolintBlocks=*/true)) {
655 // FIXME: should we expose the suppression error (invalid use of
656 // NOLINT comments)?
657 return DiagnosticsEngine::Ignored;
658 }
659 if (!CTContext->getOptions().SystemHeaders.value_or(false) &&
660 Info.hasSourceManager() &&
661 Info.getSourceManager().isInSystemMacro(Info.getLocation()))
662 return DiagnosticsEngine::Ignored;
663
664 // Check for warning-as-error.
665 if (DiagLevel == DiagnosticsEngine::Warning &&
666 CTContext->treatAsError(CheckName)) {
667 return DiagnosticsEngine::Error;
668 }
669 }
670 }
671 return DiagLevel;
672 });
673
674 // Add IncludeFixer which can recover diagnostics caused by missing includes
675 // (e.g. incomplete type) and attach include insertion fixes to diagnostics.
676 if (Inputs.Index && !BuildDir.getError()) {
677 auto Style =
678 getFormatStyleForFile(Filename, Inputs.Contents, *Inputs.TFS, false);
679 auto Inserter = std::make_shared<IncludeInserter>(
680 Filename, Inputs.Contents, Style, BuildDir.get(),
681 &Clang->getPreprocessor().getHeaderSearchInfo(),
683 ArrayRef<Inclusion> MainFileIncludes;
684 if (Preamble) {
685 MainFileIncludes = Preamble->Includes.MainFileIncludes;
686 for (const auto &Inc : Preamble->Includes.MainFileIncludes)
687 Inserter->addExisting(Inc);
688 }
689 // FIXME: Consider piping through ASTSignals to fetch this to handle the
690 // case where a header file contains ObjC decls but no #imports.
691 Symbol::IncludeDirective Directive =
693 ? preferredIncludeDirective(Filename, Clang->getLangOpts(),
694 MainFileIncludes, {})
696 FixIncludes.emplace(Filename, Inserter, *Inputs.Index,
697 /*IndexRequestLimit=*/5, Directive);
698 ASTDiags.contributeFixes([&FixIncludes](DiagnosticsEngine::Level DiagLevl,
699 const clang::Diagnostic &Info) {
700 return FixIncludes->fix(DiagLevl, Info);
701 });
702 Clang->setExternalSemaSource(FixIncludes->unresolvedNameRecorder());
703 }
704 }
705
706 IncludeStructure Includes;
707 include_cleaner::PragmaIncludes PI;
708 // If we are using a preamble, copy existing includes.
709 if (Preamble) {
710 Includes = Preamble->Includes;
711 Includes.MainFileIncludes = Patch->preambleIncludes();
712 // Replay the preamble includes so that clang-tidy checks can see them.
713 ReplayPreamble::attach(Patch->preambleIncludes(), Patch->mainFileMacros(),
714 *Clang, Patch->modifiedBounds());
715 PI = *Preamble->Pragmas;
716 }
717 // Important: collectIncludeStructure is registered *after* ReplayPreamble!
718 // Otherwise we would collect the replayed includes again...
719 // (We can't *just* use the replayed includes, they don't have Resolved path).
720 Includes.collect(*Clang);
721 // Same for pragma-includes, we're already inheriting preamble includes, so we
722 // should only receive callbacks for non-preamble mainfile includes.
723 PI.record(*Clang);
724 // Copy over the macros in the preamble region of the main file, and combine
725 // with non-preamble macros below.
726 MainFileMacros Macros;
727 std::vector<PragmaMark> Marks;
728 if (Preamble) {
729 Macros = Patch->mainFileMacros();
730 Marks = Patch->marks();
731 }
732 auto &PP = Clang->getPreprocessor();
733 auto MacroCollector = std::make_unique<CollectMainFileMacros>(PP, Macros);
734 auto *MacroCollectorPtr = MacroCollector.get(); // so we can call doneParse()
735 PP.addPPCallbacks(std::move(MacroCollector));
736
737 PP.addPPCallbacks(
738 collectPragmaMarksCallback(Clang->getSourceManager(), Marks));
739
740 // FIXME: Attach a comment handler to take care of
741 // keep/export/no_include etc. IWYU pragmas.
742
743 // Collect tokens of the main file.
744 syntax::TokenCollector CollectTokens(PP);
745
746 // To remain consistent with preamble builds, these callbacks must be called
747 // exactly here, after preprocessor is initialized and BeginSourceFile() was
748 // called already.
749 for (const auto &L : ASTListeners)
750 L->beforeExecute(*Clang);
751
752 if (llvm::Error Err = Action->Execute())
753 log("Execute() failed when building AST for {0}: {1}", MainInput.getFile(),
754 toString(std::move(Err)));
755
756 // Disable the macro collector for the remainder of this function, e.g.
757 // clang-tidy checkers.
758 MacroCollectorPtr->doneParse();
759
760 // We have to consume the tokens before running clang-tidy to avoid collecting
761 // tokens from running the preprocessor inside the checks (only
762 // modernize-use-trailing-return-type does that today).
763 syntax::TokenBuffer Tokens = std::move(CollectTokens).consume();
764 // Makes SelectionTree build much faster.
765 Tokens.indexExpandedTokens();
766 std::vector<Decl *> ParsedDecls = Action->takeTopLevelDecls();
767 // AST traversals should exclude the preamble, to avoid performance cliffs.
768 Clang->getASTContext().setTraversalScope(ParsedDecls);
769 if (!CTChecks.empty()) {
770 // Run the AST-dependent part of the clang-tidy checks.
771 // (The preprocessor part ran already, via PPCallbacks).
772 trace::Span Tracer("ClangTidyMatch");
773 CTFinder.matchAST(Clang->getASTContext());
774 }
775
776 // XXX: This is messy: clang-tidy checks flush some diagnostics at EOF.
777 // However Action->EndSourceFile() would destroy the ASTContext!
778 // So just inform the preprocessor of EOF, while keeping everything alive.
779 PP.EndSourceFile();
780 // UnitDiagsConsumer is local, we can not store it in CompilerInstance that
781 // has a longer lifetime.
782 Clang->getDiagnostics().setClient(new IgnoreDiagnostics);
783 // CompilerInstance won't run this callback, do it directly.
784 ASTDiags.EndSourceFile();
785
786 std::vector<Diag> Diags = CompilerInvocationDiags;
787 // FIXME: Also skip generation of diagnostics altogether to speed up ast
788 // builds when we are patching a stale preamble.
789 // Add diagnostics from the preamble, if any.
790 if (Preamble)
791 llvm::append_range(Diags, Patch->patchedDiags());
792 // Finally, add diagnostics coming from the AST.
793 {
794 std::vector<Diag> D = ASTDiags.take(&*CTContext);
795 Diags.insert(Diags.end(), D.begin(), D.end());
796 }
797 ParsedAST Result(Filename, Inputs.Version, std::move(Preamble),
798 std::move(Clang), std::move(Action), std::move(Tokens),
799 std::move(Macros), std::move(Marks), std::move(ParsedDecls),
800 std::move(Diags), std::move(Includes), std::move(PI));
801 llvm::move(getIncludeCleanerDiags(Result, Inputs.Contents, *Inputs.TFS),
802 std::back_inserter(Result.Diags));
803 return std::move(Result);
804}
805
806ParsedAST::ParsedAST(ParsedAST &&Other) = default;
807
808ParsedAST &ParsedAST::operator=(ParsedAST &&Other) = default;
809
811 if (Action) {
812 // We already notified the PP of end-of-file earlier, so detach it first.
813 // We must keep it alive until after EndSourceFile(), Sema relies on this.
814 auto PP = Clang->getPreprocessorPtr(); // Keep PP alive for now.
815 Clang->setPreprocessor(nullptr); // Detach so we don't send EOF again.
816 Action->EndSourceFile(); // Destroy ASTContext and Sema.
817 // Now Sema is gone, it's safe for PP to go out of scope.
818 }
819}
820
821ASTContext &ParsedAST::getASTContext() { return Clang->getASTContext(); }
822
823const ASTContext &ParsedAST::getASTContext() const {
824 return Clang->getASTContext();
825}
826
827Sema &ParsedAST::getSema() { return Clang->getSema(); }
828
829Preprocessor &ParsedAST::getPreprocessor() { return Clang->getPreprocessor(); }
830
831std::shared_ptr<Preprocessor> ParsedAST::getPreprocessorPtr() {
832 return Clang->getPreprocessorPtr();
833}
834
835const Preprocessor &ParsedAST::getPreprocessor() const {
836 return Clang->getPreprocessor();
837}
838
839llvm::ArrayRef<Decl *> ParsedAST::getLocalTopLevelDecls() {
840 return LocalTopLevelDecls;
841}
842
843llvm::ArrayRef<const Decl *> ParsedAST::getLocalTopLevelDecls() const {
844 return LocalTopLevelDecls;
845}
846
847const MainFileMacros &ParsedAST::getMacros() const { return Macros; }
848const std::vector<PragmaMark> &ParsedAST::getMarks() const { return Marks; }
849
850std::size_t ParsedAST::getUsedBytes() const {
851 auto &AST = getASTContext();
852 // FIXME(ibiryukov): we do not account for the dynamically allocated part of
853 // Message and Fixes inside each diagnostic.
854 std::size_t Total =
855 clangd::getUsedBytes(LocalTopLevelDecls) + clangd::getUsedBytes(Diags);
856
857 // FIXME: the rest of the function is almost a direct copy-paste from
858 // libclang's clang_getCXTUResourceUsage. We could share the implementation.
859
860 // Sum up various allocators inside the ast context and the preprocessor.
861 Total += AST.getASTAllocatedMemory();
862 Total += AST.getSideTableAllocatedMemory();
863 Total += AST.Idents.getAllocator().getTotalMemory();
864 Total += AST.Selectors.getTotalMemory();
865
866 Total += AST.getSourceManager().getContentCacheSize();
867 Total += AST.getSourceManager().getDataStructureSizes();
868 Total += AST.getSourceManager().getMemoryBufferSizes().malloc_bytes;
869
870 if (ExternalASTSource *Ext = AST.getExternalSource())
871 Total += Ext->getMemoryBufferSizes().malloc_bytes;
872
873 const Preprocessor &PP = getPreprocessor();
874 Total += PP.getTotalMemory();
875 if (PreprocessingRecord *PRec = PP.getPreprocessingRecord())
876 Total += PRec->getTotalMemory();
877 Total += PP.getHeaderSearchInfo().getTotalMemory();
878
879 return Total;
880}
881
883 return Includes;
884}
885
886ParsedAST::ParsedAST(PathRef TUPath, llvm::StringRef Version,
887 std::shared_ptr<const PreambleData> Preamble,
888 std::unique_ptr<CompilerInstance> Clang,
889 std::unique_ptr<FrontendAction> Action,
890 syntax::TokenBuffer Tokens, MainFileMacros Macros,
891 std::vector<PragmaMark> Marks,
892 std::vector<Decl *> LocalTopLevelDecls,
893 std::vector<Diag> Diags, IncludeStructure Includes,
894 include_cleaner::PragmaIncludes PI)
895 : TUPath(TUPath), Version(Version), Preamble(std::move(Preamble)),
896 Clang(std::move(Clang)), Action(std::move(Action)),
897 Tokens(std::move(Tokens)), Macros(std::move(Macros)),
898 Marks(std::move(Marks)), Diags(std::move(Diags)),
899 LocalTopLevelDecls(std::move(LocalTopLevelDecls)),
900 Includes(std::move(Includes)), PI(std::move(PI)),
901 Resolver(std::make_unique<HeuristicResolver>(getASTContext())) {
902 assert(this->Clang);
903 assert(this->Action);
904}
905
906const include_cleaner::PragmaIncludes &ParsedAST::getPragmaIncludes() const {
907 return PI;
908}
909
910std::optional<llvm::StringRef> ParsedAST::preambleVersion() const {
911 if (!Preamble)
912 return std::nullopt;
913 return llvm::StringRef(Preamble->Version);
914}
915
916llvm::ArrayRef<Diag> ParsedAST::getDiagnostics() const { return Diags; }
917} // namespace clangd
918} // namespace clang
static cl::opt< std::string > Checks("checks", desc(R"( Comma-separated list of globs with optional '-' prefix. Globs are processed in order of appearance in the list. Globs without '-' prefix add checks with matching names to the set, globs with the '-' prefix remove checks with matching names from the set of enabled checks. This option's value is appended to the value of the 'Checks' option in .clang-tidy file, if any. )"), cl::init(""), cl::cat(ClangTidyCategory))
Include Cleaner is clangd functionality for providing diagnostics for misuse of transitive headers an...
#define dlog(...)
Definition Logger.h:101
static GeneratorRegistry::Add< MDGenerator > MD(MDGenerator::Format, "Generator for Markdown output.")
#define SPAN_ATTACH(S, Name, Expr)
Attach a key-value pair to a Span event.
Definition Trace.h:164
void collect(const CompilerInstance &CI)
Definition Headers.cpp:178
Stores and provides access to parsed AST.
Definition ParsedAST.h:47
std::size_t getUsedBytes() const
Returns the estimated size of the AST and the accessory structures, in bytes.
std::optional< llvm::StringRef > preambleVersion() const
Returns the version of the ParseInputs used to build Preamble part of this AST.
const include_cleaner::PragmaIncludes & getPragmaIncludes() const
Returns the PramaIncludes for preamble + main file includes.
const std::vector< PragmaMark > & getMarks() const
Gets all pragma marks in the main file.
ASTContext & getASTContext()
Note that the returned ast will not contain decls from the preamble that were not deserialized during...
static std::optional< ParsedAST > build(llvm::StringRef Filename, const ParseInputs &Inputs, std::unique_ptr< clang::CompilerInvocation > CI, llvm::ArrayRef< Diag > CompilerInvocationDiags, std::shared_ptr< const PreambleData > Preamble)
Attempts to run Clang and store the parsed AST.
llvm::ArrayRef< Diag > getDiagnostics() const
std::shared_ptr< Preprocessor > getPreprocessorPtr()
Preprocessor & getPreprocessor()
ArrayRef< Decl * > getLocalTopLevelDecls()
This function returns top-level decls present in the main file of the AST.
ParsedAST & operator=(ParsedAST &&Other)
const IncludeStructure & getIncludeStructure() const
ParsedAST(ParsedAST &&Other)
const MainFileMacros & getMacros() const
Gets all macro references (definition, expansions) present in the main file, including those in the p...
static PreamblePatch createFullPatch(llvm::StringRef FileName, const ParseInputs &Modified, const PreambleData &Baseline)
Builds a patch that contains new PP directives introduced to the preamble section of Modified compare...
Definition Preamble.cpp:915
StoreDiags collects the diagnostics that can later be reported by clangd.
void contributeFixes(DiagFixer Fixer)
If set, possibly adds fixes for diagnostics using Fixer.
void setLevelAdjuster(LevelAdjuster Adjuster)
If set, this allows the client of this class to adjust the level of diagnostics, such as promoting wa...
std::vector< Diag > take(const clang::tidy::ClangTidyContext *Tidy=nullptr)
void setDiagCallback(DiagCallback CB)
Invokes a callback every time a diagnostics is completely formed.
void EndSourceFile() override
Wrapper for vfs::FileSystem for use in multithreaded programs like clangd.
llvm::IntrusiveRefCntPtr< llvm::vfs::FileSystem > view(std::nullopt_t CWD) const
Obtain a vfs::FileSystem with an arbitrary initial working directory.
Records an event whose duration is the lifetime of the Span object.
Definition Trace.h:143
A collection of ClangTidyCheckFactory instances.
std::vector< std::unique_ptr< ClangTidyCheck > > createChecksForLanguage(ClangTidyContext *Context) const
Create instances of checks that are enabled for the current Language.
FIXME: Skip testing on windows temporarily due to the different escaping code mode.
Definition AST.cpp:44
@ Info
An information message.
Definition Protocol.h:755
bool isInsideMainFile(SourceLocation Loc, const SourceManager &SM)
Returns true iff Loc is inside the main file.
static const char * toString(OffsetEncoding OE)
std::unique_ptr< PPCallbacks > collectPragmaMarksCallback(const SourceManager &SM, std::vector< PragmaMark > &Out)
Collect all pragma marks from the main file.
std::optional< bool > isFastTidyCheck(llvm::StringRef Check)
Returns if Check is known-fast, known-slow, or its speed is unknown.
Symbol::IncludeDirective preferredIncludeDirective(llvm::StringRef FileName, const LangOptions &LangOpts, ArrayRef< Inclusion > MainFileIncludes, ArrayRef< const Decl * > TopLevelDecls)
Infer the include directive to use for the given FileName.
Definition AST.cpp:386
std::unique_ptr< CompilerInstance > prepareCompilerInstance(std::unique_ptr< clang::CompilerInvocation > CI, const PrecompiledPreamble *Preamble, std::unique_ptr< llvm::MemoryBuffer > Buffer, llvm::IntrusiveRefCntPtr< llvm::vfs::FileSystem > VFS, DiagnosticConsumer &DiagsClient)
Definition Compiler.cpp:131
void log(const char *Fmt, Ts &&... Vals)
Definition Logger.h:67
IncludeCleanerFindings computeIncludeCleanerFindings(ParsedAST &AST, bool AnalyzeAngledIncludes)
llvm::StringRef PathRef
A typedef to represent a ref to file path.
Definition Path.h:29
tidy::ClangTidyOptions getTidyOptionsForFile(TidyProviderRef Provider, llvm::StringRef Filename)
bool isImplicitTemplateInstantiation(const NamedDecl *D)
Indicates if D is a template instantiation implicitly generated by the compiler, e....
Definition AST.cpp:183
std::vector< Diag > issueIncludeCleanerDiagnostics(ParsedAST &AST, llvm::StringRef Code, const IncludeCleanerFindings &Findings, const ThreadsafeFS &TFS, HeaderFilter IgnoreHeaders, HeaderFilter AngledHeaders, HeaderFilter QuotedHeaders)
void elog(const char *Fmt, Ts &&... Vals)
Definition Logger.h:61
format::FormatStyle getFormatStyleForFile(llvm::StringRef File, llvm::StringRef Content, const ThreadsafeFS &TFS, bool FormatFile)
Choose the clang-format style we should apply to a certain file.
void(* RegisterCustomChecks)(const ClangTidyOptions &O, ClangTidyCheckFactories &Factories)
std::string configurationAsText(const ClangTidyOptions &Options)
Serializes configuration to a YAML-encoded string.
===– Representation.cpp - ClangDoc Representation --------—*- C++ -*-===//
Settings that express user/project preferences and control clangd behavior.
Definition Config.h:45
struct clang::clangd::Config::@314053012031341203055315320366267371313202370174 Style
Style of the codebase.
FastCheckPolicy FastCheckFilter
Definition Config.h:113
static const Config & current()
Returns the Config of the current Context, or an empty configuration.
Definition Config.cpp:17
struct clang::clangd::Config::@343034053122374337352226322054223376344037116252 Diagnostics
Controls warnings and errors when parsing code.
llvm::StringSet Suppress
Definition Config.h:106
struct clang::clangd::Config::@343034053122374337352226322054223376344037116252::@107156241027253143221327255130274177352007274355 ClangTidy
Configures what clang-tidy checks to run and options to use with them.
std::vector< std::function< bool(llvm::StringRef)> > QuotedHeaders
Definition Config.h:136
bool ExperimentalCustomChecks
Definition Config.h:114
std::vector< std::function< bool(llvm::StringRef)> > AngledHeaders
Definition Config.h:137
Contains basic information about a diagnostic.
Definition Diagnostics.h:58
A top-level diagnostic that may have Notes and Fixes.
Definition Diagnostics.h:98
Information required to run clang, e.g. to parse AST or do code completion.
Definition Compiler.h:51
TidyProviderRef ClangTidyProvider
Definition Compiler.h:63
tooling::CompileCommand CompileCommand
Definition Compiler.h:52
const ThreadsafeFS * TFS
Definition Compiler.h:53
FeatureModuleSet * FeatureModules
Definition Compiler.h:65
const SymbolIndex * Index
Definition Compiler.h:61
@ Include
#include "header.h"
Definition Symbol.h:107
Contains options for clang-tidy.
std::optional< std::string > Checks
Checks filter.
std::optional< ArgList > ExtraArgsBefore
Add extra compilation arguments to the start of the list.
std::optional< ArgList > ExtraArgs
Add extra compilation arguments to the end of the list.