clang-tools 23.0.0git
ClangTidyMain.cpp
Go to the documentation of this file.
1//===----------------------------------------------------------------------===//
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/// \file This file implements a clang-tidy tool.
10///
11/// This tool uses the Clang Tooling infrastructure, see
12/// https://clang.llvm.org/docs/HowToSetupToolingForLLVM.html
13/// for details on setting it up with LLVM source tree.
14///
15//===----------------------------------------------------------------------===//
16
17#include "ClangTidyMain.h"
18#include "../ClangTidy.h"
19#include "../ClangTidyForceLinker.h" // IWYU pragma: keep
20#include "../GlobList.h"
21#include "clang/Tooling/CommonOptionsParser.h"
22#include "llvm/ADT/StringSet.h"
23#include "llvm/Support/CommandLine.h"
24#include "llvm/Support/InitLLVM.h"
25#include "llvm/Support/PluginLoader.h" // IWYU pragma: keep
26#include "llvm/Support/Process.h"
27#include "llvm/Support/Signals.h"
28#include "llvm/Support/TargetSelect.h"
29#include "llvm/Support/WithColor.h"
30#include "llvm/TargetParser/Host.h"
31#include <optional>
32
33using namespace clang::tooling;
34using namespace llvm;
35
36static cl::desc desc(StringRef Description) { return {Description.ltrim()}; }
37
38static cl::OptionCategory ClangTidyCategory("clang-tidy options");
39
40static cl::extrahelp CommonHelp(CommonOptionsParser::HelpMessage);
41static cl::extrahelp ClangTidyParameterFileHelp(R"(
42Parameters files:
43 A large number of options or source files can be passed as parameter files
44 by use '@parameter-file' in the command line.
45)");
46static cl::extrahelp ClangTidyHelp(R"(
47Configuration files:
48 clang-tidy attempts to read configuration for each source file from a
49 .clang-tidy file located in the closest parent directory of the source
50 file. The .clang-tidy file is specified in YAML format. If any configuration
51 options have a corresponding command-line option, command-line option takes
52 precedence.
53
54 The following configuration options may be used in a .clang-tidy file:
55
56 CheckOptions - List of key-value pairs defining check-specific
57 options. Example:
58 CheckOptions:
59 some-check.SomeOption: 'some value'
60 Checks - Same as '--checks'. Additionally, the list of
61 globs can be specified as a list instead of a
62 string.
63 CustomChecks - Array of user defined checks based on
64 Clang-Query syntax.
65 ExcludeHeaderFilterRegex - Same as '--exclude-header-filter'.
66 ExtraArgs - Same as '--extra-arg'.
67 ExtraArgsBefore - Same as '--extra-arg-before'.
68 FormatStyle - Same as '--format-style'.
69 HeaderFileExtensions - File extensions to consider to determine if a
70 given diagnostic is located in a header file.
71 HeaderFilterRegex - Same as '--header-filter'.
72 ImplementationFileExtensions - File extensions to consider to determine if a
73 given diagnostic is located in an
74 implementation file.
75 InheritParentConfig - If this option is true in a config file, the
76 configuration file in the parent directory
77 (if any exists) will be taken and the current
78 config file will be applied on top of the
79 parent one.
80 RemovedArgs - Same as '--removed-arg'.
81 SystemHeaders - Same as '--system-headers'.
82 UseColor - Same as '--use-color'.
83 User - Specifies the name or e-mail of the user
84 running clang-tidy. This option is used, for
85 example, to place the correct user name in
86 TODO() comments in the relevant check.
87 WarningsAsErrors - Same as '--warnings-as-errors'.
88
89 The effective configuration can be inspected using --dump-config:
90
91 $ clang-tidy --dump-config
92 ---
93 Checks: '-*,some-check'
94 WarningsAsErrors: ''
95 HeaderFileExtensions: ['', 'h','hh','hpp','hxx']
96 ImplementationFileExtensions: ['c','cc','cpp','cxx']
97 HeaderFilterRegex: '.*'
98 FormatStyle: none
99 InheritParentConfig: true
100 User: user
101 CheckOptions:
102 some-check.SomeOption: 'some value'
103 ...
104
105)");
106
107const char DefaultChecks[] = // Enable these checks by default:
108 "clang-diagnostic-*"; // * compiler diagnostics
109
110static cl::opt<std::string> Checks("checks", desc(R"(
111Comma-separated list of globs with optional '-'
112prefix. Globs are processed in order of
113appearance in the list. Globs without '-'
114prefix add checks with matching names to the
115set, globs with the '-' prefix remove checks
116with matching names from the set of enabled
117checks. This option's value is appended to the
118value of the 'Checks' option in .clang-tidy
119file, if any.
120)"),
121 cl::init(""), cl::cat(ClangTidyCategory));
122
123static cl::opt<std::string> WarningsAsErrors("warnings-as-errors", desc(R"(
124Upgrades warnings to errors. Same format as
125'-checks'.
126This option's value is appended to the value of
127the 'WarningsAsErrors' option in .clang-tidy
128file, if any.
129)"),
130 cl::init(""),
132
133static cl::opt<std::string> HeaderFilter("header-filter", desc(R"(
134Regular expression matching the names of the
135headers to output diagnostics from. The default
136value is '.*', i.e. diagnostics from all non-system
137headers are displayed by default. Diagnostics
138from the main file of each translation unit are
139always displayed.
140Can be used together with -line-filter.
141This option overrides the 'HeaderFilterRegex'
142option in .clang-tidy file, if any.
143)"),
144 cl::init(".*"),
146
147static cl::opt<std::string> ExcludeHeaderFilter("exclude-header-filter",
148 desc(R"(
149Regular expression matching the names of the
150headers to exclude diagnostics from. Diagnostics
151from the main file of each translation unit are
152always displayed.
153Must be used together with --header-filter.
154Can be used together with -line-filter.
155This option overrides the 'ExcludeHeaderFilterRegex'
156option in .clang-tidy file, if any.
157)"),
158 cl::init(""),
159 cl::cat(ClangTidyCategory));
160
161static cl::opt<bool> SystemHeaders("system-headers", desc(R"(
162Display the errors from system headers.
163This option overrides the 'SystemHeaders' option
164in .clang-tidy file, if any.
165)"),
166 cl::init(false), cl::cat(ClangTidyCategory));
167
168static cl::opt<std::string> LineFilter("line-filter", desc(R"(
169List of files and line ranges to output diagnostics from.
170The range is inclusive on both ends. Can be used together
171with -header-filter. The format of the list is a JSON
172array of objects. For example:
173
174 [
175 {"name":"file1.cpp","lines":[[1,3],[5,7]]},
176 {"name":"file2.h"}
177 ]
178
179This will output diagnostics from 'file1.cpp' only for
180the line ranges [1,3] and [5,7], as well as all from the
181entire 'file2.h'.
182)"),
183 cl::init(""),
184 cl::cat(ClangTidyCategory));
185
186static cl::opt<bool> Fix("fix", desc(R"(
187Apply suggested fixes. Without -fix-errors
188clang-tidy will bail out if any compilation
189errors were found.
190)"),
191 cl::init(false), cl::cat(ClangTidyCategory));
192
193static cl::opt<bool> FixErrors("fix-errors", desc(R"(
194Apply suggested fixes even if compilation
195errors were found. If compiler errors have
196attached fix-its, clang-tidy will apply them as
197well.
198)"),
199 cl::init(false), cl::cat(ClangTidyCategory));
200
201static cl::opt<bool> FixNotes("fix-notes", desc(R"(
202If a warning has no fix, but a single fix can
203be found through an associated diagnostic note,
204apply the fix.
205Specifying this flag will implicitly enable the
206'--fix' flag.
207)"),
208 cl::init(false), cl::cat(ClangTidyCategory));
209
210static cl::opt<std::string> FormatStyle("format-style", desc(R"(
211Style for formatting code around applied fixes:
212 - 'none' (default) turns off formatting
213 - 'file' (literally 'file', not a placeholder)
214 uses .clang-format file in the closest parent
215 directory
216 - '{ <json> }' specifies options inline, e.g.
217 -format-style='{BasedOnStyle: llvm, IndentWidth: 8}'
218 - 'llvm', 'google', 'webkit', 'mozilla'
219See clang-format documentation for the up-to-date
220information about formatting styles and options.
221This option overrides the 'FormatStyle` option in
222.clang-tidy file, if any.
223)"),
224 cl::init("none"),
225 cl::cat(ClangTidyCategory));
226
227static cl::opt<bool> ListChecks("list-checks", desc(R"(
228List all enabled checks and exit. Use with
229-checks=* to list all available checks.
230)"),
231 cl::init(false), cl::cat(ClangTidyCategory));
232
233static cl::opt<bool> ExplainConfig("explain-config", desc(R"(
234For each enabled check explains, where it is
235enabled, i.e. in clang-tidy binary, command
236line or a specific configuration file.
237)"),
238 cl::init(false), cl::cat(ClangTidyCategory));
239
240static cl::opt<std::string> Config("config", desc(R"(
241Specifies a configuration in YAML/JSON format:
242 -config="{Checks: '*',
243 CheckOptions: {x: y}}"
244When the value is empty, clang-tidy will
245attempt to find a file named .clang-tidy for
246each source file in its parent directories.
247)"),
248 cl::init(""), cl::cat(ClangTidyCategory));
249
250static cl::opt<std::string> ConfigFile("config-file", desc(R"(
251Specify the path of .clang-tidy or custom config file:
252 e.g. --config-file=/some/path/myTidyConfigFile
253This option internally works exactly the same way as
254 --config option after reading specified config file.
255Use either --config-file or --config, not both.
256)"),
257 cl::init(""),
258 cl::cat(ClangTidyCategory));
260static cl::opt<bool> DumpConfig("dump-config", desc(R"(
261Dumps configuration in the YAML format to
262stdout. This option can be used along with a
263file name (and '--' if the file is outside of a
264project with configured compilation database).
265The configuration used for this file will be
266printed.
267Use along with -checks=* to include
268configuration of all checks.
269)"),
270 cl::init(false), cl::cat(ClangTidyCategory));
271
272static cl::opt<bool> EnableCheckProfile("enable-check-profile", desc(R"(
273Enable per-check timing profiles, and print a
274report to stderr.
275)"),
276 cl::init(false),
277 cl::cat(ClangTidyCategory));
278
279static cl::opt<std::string> StoreCheckProfile("store-check-profile", desc(R"(
280By default reports are printed in tabulated
281format to stderr. When this option is passed,
282these per-TU profiles are instead stored as JSON.
283)"),
284 cl::value_desc("prefix"),
285 cl::cat(ClangTidyCategory));
286
287/// This option allows enabling the experimental alpha checkers from the static
288/// analyzer. This option is set to false and not visible in help, because it is
289/// highly not recommended for users.
290static cl::opt<bool>
291 AllowEnablingAnalyzerAlphaCheckers("allow-enabling-analyzer-alpha-checkers",
292 cl::init(false), cl::Hidden,
293 cl::cat(ClangTidyCategory));
295static cl::opt<bool> EnableModuleHeadersParsing("enable-module-headers-parsing",
296 desc(R"(
297Enables preprocessor-level module header parsing
298for C++20 and above, empowering specific checks
299to detect macro definitions within modules. This
300feature may cause performance and parsing issues
301and is therefore considered experimental.
302)"),
303 cl::init(false),
304 cl::cat(ClangTidyCategory));
305
306static cl::opt<std::string> ExportFixes("export-fixes", desc(R"(
307YAML file to store suggested fixes in. The
308stored fixes can be applied to the input source
309code with clang-apply-replacements.
310)"),
311 cl::value_desc("filename"),
312 cl::cat(ClangTidyCategory));
313
314static cl::opt<bool> Quiet("quiet", desc(R"(
315Run clang-tidy in quiet mode. This suppresses
316printing statistics about ignored warnings and
317warnings treated as errors if the respective
318options are specified.
319)"),
320 cl::init(false), cl::cat(ClangTidyCategory));
321
322static cl::opt<std::string> VfsOverlay("vfsoverlay", desc(R"(
323Overlay the virtual filesystem described by file
324over the real file system.
325)"),
326 cl::value_desc("filename"),
327 cl::cat(ClangTidyCategory));
328
329static cl::opt<bool> UseColor("use-color", desc(R"(
330Use colors in diagnostics. If not set, colors
331will be used if the terminal connected to
332standard output supports colors.
333This option overrides the 'UseColor' option in
334.clang-tidy file, if any.
335)"),
336 cl::init(false), cl::cat(ClangTidyCategory));
337
338static cl::opt<bool> VerifyConfig("verify-config", desc(R"(
339Check the config files to ensure each check and
340option is recognized without running any checks.
341)"),
342 cl::init(false), cl::cat(ClangTidyCategory));
343
344static cl::opt<bool> AllowNoChecks("allow-no-checks", desc(R"(
345Allow empty enabled checks. This suppresses
346the "no checks enabled" error when disabling
347all of the checks.
348)"),
349 cl::init(false), cl::cat(ClangTidyCategory));
350
351static cl::opt<bool> ExperimentalCustomChecks("experimental-custom-checks",
352 desc(R"(
353Enable experimental clang-query based
354custom checks.
355see https://clang.llvm.org/extra/clang-tidy/QueryBasedCustomChecks.html.
356)"),
357 cl::init(false),
358 cl::cat(ClangTidyCategory));
359
360static cl::list<std::string> RemovedArgs("removed-arg", desc(R"(
361List of arguments to remove from the command
362line sent to the compiler. Please note that
363removing arguments might change the semantic
364of the analyzed code, possibly leading to
365compiler errors, false positives or
366false negatives. This option is applied
367before --extra-arg and --extra-arg-before)"),
368 cl::cat(ClangTidyCategory));
369
370namespace clang::tidy {
372static void printStats(const ClangTidyStats &Stats) {
373 if (Stats.errorsIgnored()) {
374 llvm::errs() << "Suppressed " << Stats.errorsIgnored() << " warnings (";
375 StringRef Separator = "";
376 if (Stats.ErrorsIgnoredNonUserCode) {
377 llvm::errs() << Stats.ErrorsIgnoredNonUserCode << " in non-user code";
378 Separator = ", ";
379 }
380 if (Stats.ErrorsIgnoredLineFilter) {
381 llvm::errs() << Separator << Stats.ErrorsIgnoredLineFilter
382 << " due to line filter";
383 Separator = ", ";
384 }
386 llvm::errs() << Separator << Stats.ErrorsIgnoredNOLINT << " NOLINT";
387 Separator = ", ";
388 }
389 if (Stats.ErrorsIgnoredCheckFilter)
390 llvm::errs() << Separator << Stats.ErrorsIgnoredCheckFilter
391 << " with check filters";
392 llvm::errs() << ").\n";
393 if (Stats.ErrorsIgnoredNonUserCode)
394 llvm::errs() << "Use -header-filter=.* or leave it as default to display "
395 "errors from all non-system headers. Use -system-headers "
396 "to display errors from system headers as well.\n";
397 }
398}
399
400static std::unique_ptr<ClangTidyOptionsProvider>
401createOptionsProvider(llvm::IntrusiveRefCntPtr<vfs::FileSystem> FS) {
402 ClangTidyGlobalOptions GlobalOptions;
403 if (const std::error_code Err = parseLineFilter(LineFilter, GlobalOptions)) {
404 llvm::errs() << "Invalid LineFilter: " << Err.message() << "\n\nUsage:\n";
405 llvm::cl::PrintHelpMessage(/*Hidden=*/false, /*Categorized=*/true);
406 return nullptr;
407 }
408
409 ClangTidyOptions DefaultOptions;
410 DefaultOptions.Checks = DefaultChecks;
411 DefaultOptions.WarningsAsErrors = "";
412 DefaultOptions.HeaderFilterRegex = HeaderFilter;
414 DefaultOptions.SystemHeaders = SystemHeaders;
415 DefaultOptions.FormatStyle = FormatStyle;
416 DefaultOptions.User = llvm::sys::Process::GetEnv("USER");
417 // USERNAME is used on Windows.
418 if (!DefaultOptions.User)
419 DefaultOptions.User = llvm::sys::Process::GetEnv("USERNAME");
420
421 ClangTidyOptions OverrideOptions;
422 if (Checks.getNumOccurrences() > 0)
423 OverrideOptions.Checks = Checks;
424 if (WarningsAsErrors.getNumOccurrences() > 0)
425 OverrideOptions.WarningsAsErrors = WarningsAsErrors;
426 if (HeaderFilter.getNumOccurrences() > 0)
427 OverrideOptions.HeaderFilterRegex = HeaderFilter;
428 if (ExcludeHeaderFilter.getNumOccurrences() > 0)
430 if (SystemHeaders.getNumOccurrences() > 0)
431 OverrideOptions.SystemHeaders = SystemHeaders;
432 if (FormatStyle.getNumOccurrences() > 0)
433 OverrideOptions.FormatStyle = FormatStyle;
434 if (UseColor.getNumOccurrences() > 0)
435 OverrideOptions.UseColor = UseColor;
436 if (RemovedArgs.getNumOccurrences() > 0)
437 OverrideOptions.RemovedArgs = RemovedArgs;
438
439 auto LoadConfig =
440 [&](StringRef Configuration,
441 StringRef Source) -> std::unique_ptr<ClangTidyOptionsProvider> {
442 llvm::ErrorOr<ClangTidyOptions> ParsedConfig =
443 parseConfiguration(MemoryBufferRef(Configuration, Source));
444 if (ParsedConfig)
445 return std::make_unique<ConfigOptionsProvider>(
446 std::move(GlobalOptions),
447 ClangTidyOptions::getDefaults().merge(DefaultOptions, 0),
448 std::move(*ParsedConfig), std::move(OverrideOptions), std::move(FS));
449 llvm::errs() << "Error: invalid configuration specified.\n"
450 << ParsedConfig.getError().message() << "\n";
451 return nullptr;
452 };
453
454 if (ConfigFile.getNumOccurrences() > 0) {
455 if (Config.getNumOccurrences() > 0) {
456 llvm::errs() << "Error: --config-file and --config are "
457 "mutually exclusive. Specify only one.\n";
458 return nullptr;
459 }
460
461 llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> Text =
462 llvm::MemoryBuffer::getFile(ConfigFile);
463 if (const std::error_code EC = Text.getError()) {
464 llvm::errs() << "Error: can't read config-file '" << ConfigFile
465 << "': " << EC.message() << "\n";
466 return nullptr;
467 }
468
469 return LoadConfig((*Text)->getBuffer(), ConfigFile);
470 }
471
472 if (Config.getNumOccurrences() > 0)
473 return LoadConfig(Config, "<command-line-config>");
474
475 return std::make_unique<FileOptionsProvider>(
476 std::move(GlobalOptions), std::move(DefaultOptions),
477 std::move(OverrideOptions), std::move(FS));
478}
479
480static llvm::IntrusiveRefCntPtr<vfs::FileSystem>
481getVfsFromFile(const std::string &OverlayFile, vfs::FileSystem &BaseFS) {
482 llvm::ErrorOr<std::unique_ptr<llvm::MemoryBuffer>> Buffer =
483 BaseFS.getBufferForFile(OverlayFile);
484 if (!Buffer) {
485 llvm::errs() << "Can't load virtual filesystem overlay file '"
486 << OverlayFile << "': " << Buffer.getError().message()
487 << ".\n";
488 return nullptr;
489 }
490
491 IntrusiveRefCntPtr<vfs::FileSystem> FS = vfs::getVFSFromYAML(
492 std::move(Buffer.get()), /*DiagHandler*/ nullptr, OverlayFile);
493 if (!FS) {
494 llvm::errs() << "Error: invalid virtual filesystem overlay file '"
495 << OverlayFile << "'.\n";
496 return nullptr;
497 }
498 return FS;
499}
500
501static StringRef closest(StringRef Value, const StringSet<> &Allowed) {
502 unsigned MaxEdit = 5U;
503 StringRef Closest;
504 for (auto Item : Allowed.keys()) {
505 const unsigned Cur = Value.edit_distance_insensitive(Item, true, MaxEdit);
506 if (Cur < MaxEdit) {
507 Closest = Item;
508 MaxEdit = Cur;
509 }
510 }
511 return Closest;
512}
513
514static constexpr StringLiteral VerifyConfigWarningEnd = " [-verify-config]\n";
515
516static bool verifyChecks(const StringSet<> &AllChecks, StringRef CheckGlob,
517 StringRef Source) {
518 const GlobList Globs(CheckGlob);
519 bool AnyInvalid = false;
520 for (const auto &Item : Globs.getItems()) {
521 if (Item.Text.starts_with("clang-diagnostic"))
522 continue;
523 if (llvm::none_of(AllChecks.keys(),
524 [&Item](StringRef S) { return Item.Regex.match(S); })) {
525 AnyInvalid = true;
526 if (Item.Text.contains('*')) {
527 llvm::WithColor::warning(llvm::errs(), Source)
528 << "check glob '" << Item.Text << "' doesn't match any known check"
530 } else {
531 llvm::raw_ostream &Output =
532 llvm::WithColor::warning(llvm::errs(), Source)
533 << "unknown check '" << Item.Text << '\'';
534 const llvm::StringRef Closest = closest(Item.Text, AllChecks);
535 if (!Closest.empty())
536 Output << "; did you mean '" << Closest << '\'';
537 Output << VerifyConfigWarningEnd;
538 }
539 }
540 }
541 return AnyInvalid;
542}
543
544static bool verifyFileExtensions(
545 const std::vector<std::string> &HeaderFileExtensions,
546 const std::vector<std::string> &ImplementationFileExtensions,
547 StringRef Source) {
548 bool AnyInvalid = false;
549 for (const auto &HeaderExtension : HeaderFileExtensions) {
550 for (const auto &ImplementationExtension : ImplementationFileExtensions) {
551 if (HeaderExtension == ImplementationExtension) {
552 AnyInvalid = true;
553 auto &Output = llvm::WithColor::warning(llvm::errs(), Source)
554 << "HeaderFileExtension '" << HeaderExtension << '\''
555 << " is the same as ImplementationFileExtension '"
556 << ImplementationExtension << '\'';
557 Output << VerifyConfigWarningEnd;
558 }
559 }
560 }
561 return AnyInvalid;
562}
563
564static bool verifyOptions(const llvm::StringSet<> &ValidOptions,
565 const ClangTidyOptions::OptionMap &OptionMap,
566 StringRef Source) {
567 bool AnyInvalid = false;
568 for (auto Key : OptionMap.keys()) {
569 if (ValidOptions.contains(Key))
570 continue;
571 AnyInvalid = true;
572 auto &Output = llvm::WithColor::warning(llvm::errs(), Source)
573 << "unknown check option '" << Key << '\'';
574 const llvm::StringRef Closest = closest(Key, ValidOptions);
575 if (!Closest.empty())
576 Output << "; did you mean '" << Closest << '\'';
577 Output << VerifyConfigWarningEnd;
578 }
579 return AnyInvalid;
580}
581
582static SmallString<256> makeAbsolute(llvm::StringRef Input) {
583 if (Input.empty())
584 return {};
585 SmallString<256> AbsolutePath(Input);
586 if (const std::error_code EC = llvm::sys::fs::make_absolute(AbsolutePath)) {
587 llvm::errs() << "Can't make absolute path from " << Input << ": "
588 << EC.message() << "\n";
589 }
590 return AbsolutePath;
591}
592
593static llvm::IntrusiveRefCntPtr<vfs::OverlayFileSystem> createBaseFS() {
594 llvm::IntrusiveRefCntPtr<vfs::OverlayFileSystem> BaseFS(
595 new vfs::OverlayFileSystem(vfs::getRealFileSystem()));
596
597 if (!VfsOverlay.empty()) {
598 IntrusiveRefCntPtr<vfs::FileSystem> VfsFromFile =
599 getVfsFromFile(VfsOverlay, *BaseFS);
600 if (!VfsFromFile)
601 return nullptr;
602 BaseFS->pushOverlay(std::move(VfsFromFile));
603 }
604 return BaseFS;
605}
606
607int clangTidyMain(int argc, const char **argv) {
608 const llvm::InitLLVM X(argc, argv);
609 SmallVector<const char *> Args{argv, argv + argc};
610
611 // expand parameters file to argc and argv.
612 llvm::BumpPtrAllocator Alloc;
613 llvm::cl::TokenizerCallback Tokenizer =
614 llvm::Triple(llvm::sys::getProcessTriple()).isOSWindows()
615 ? llvm::cl::TokenizeWindowsCommandLine
616 : llvm::cl::TokenizeGNUCommandLine;
617 llvm::cl::ExpansionContext ECtx(Alloc, Tokenizer);
618 if (llvm::Error Err = ECtx.expandResponseFiles(Args)) {
619 llvm::WithColor::error() << llvm::toString(std::move(Err)) << "\n";
620 return 1;
621 }
622 argc = static_cast<int>(Args.size());
623 argv = Args.data();
624
625 // Enable help for -load option, if plugins are enabled.
626 if (cl::Option *LoadOpt = cl::getRegisteredOptions().lookup("load"))
627 LoadOpt->addCategory(ClangTidyCategory);
628
629 llvm::Expected<CommonOptionsParser> OptionsParser =
630 CommonOptionsParser::create(argc, argv, ClangTidyCategory,
631 cl::ZeroOrMore);
632 if (!OptionsParser) {
633 llvm::WithColor::error() << llvm::toString(OptionsParser.takeError());
634 return 1;
635 }
636
637 const llvm::IntrusiveRefCntPtr<vfs::OverlayFileSystem> BaseFS =
638 createBaseFS();
639 if (!BaseFS)
640 return 1;
641
642 auto OwningOptionsProvider = createOptionsProvider(BaseFS);
643 auto *OptionsProvider = OwningOptionsProvider.get();
644 if (!OptionsProvider)
645 return 1;
646
647 const SmallString<256> ProfilePrefix = makeAbsolute(StoreCheckProfile);
648
649 StringRef FileName("dummy");
650 auto PathList = OptionsParser->getSourcePathList();
651 if (!PathList.empty())
652 FileName = PathList.front();
653
654 const SmallString<256> FilePath = makeAbsolute(FileName);
655 ClangTidyOptions EffectiveOptions = OptionsProvider->getOptions(FilePath);
656
657 const std::vector<std::string> EnabledChecks =
660
661 if (ExplainConfig) {
662 // FIXME: Show other ClangTidyOptions' fields, like ExtraArg.
663 std::vector<clang::tidy::ClangTidyOptionsProvider::OptionsSource>
664 RawOptions = OptionsProvider->getRawOptions(FilePath);
665 for (const std::string &Check : EnabledChecks) {
666 for (const auto &[Opts, Source] : llvm::reverse(RawOptions)) {
667 if (Opts.Checks && GlobList(*Opts.Checks).contains(Check)) {
668 llvm::outs() << "'" << Check << "' is enabled in the " << Source
669 << ".\n";
670 break;
671 }
672 }
673 }
674 return 0;
675 }
676
677 if (ListChecks) {
678 if (EnabledChecks.empty() && !AllowNoChecks) {
679 llvm::errs() << "No checks enabled.\n";
680 return 1;
681 }
682 llvm::outs() << "Enabled checks:";
683 for (const auto &CheckName : EnabledChecks)
684 llvm::outs() << "\n " << CheckName;
685 llvm::outs() << "\n\n";
686 return 0;
687 }
688
689 if (DumpConfig) {
690 EffectiveOptions.CheckOptions =
693 ClangTidyOptions OptionsToDump =
694 ClangTidyOptions::getDefaults().merge(EffectiveOptions, 0);
695 filterCheckOptions(OptionsToDump, EnabledChecks);
696 llvm::outs() << configurationAsText(OptionsToDump) << "\n";
697 return 0;
698 }
699
700 if (VerifyConfig) {
701 const std::vector<ClangTidyOptionsProvider::OptionsSource> RawOptions =
702 OptionsProvider->getRawOptions(FileName);
705 bool AnyInvalid = false;
706 for (const auto &[Opts, Source] : RawOptions) {
707 if (Opts.Checks)
708 AnyInvalid |= verifyChecks(Valid.Checks, *Opts.Checks, Source);
709 if (Opts.HeaderFileExtensions && Opts.ImplementationFileExtensions)
710 AnyInvalid |=
711 verifyFileExtensions(*Opts.HeaderFileExtensions,
712 *Opts.ImplementationFileExtensions, Source);
713 AnyInvalid |= verifyOptions(Valid.Options, Opts.CheckOptions, Source);
714 }
715 if (AnyInvalid)
716 return 1;
717 llvm::outs() << "No config errors detected.\n";
718 return 0;
719 }
720
721 if (EnabledChecks.empty()) {
722 if (AllowNoChecks) {
723 llvm::outs() << "No checks enabled.\n";
724 return 0;
725 }
726 llvm::errs() << "Error: no checks enabled.\n";
727 llvm::cl::PrintHelpMessage(/*Hidden=*/false, /*Categorized=*/true);
728 return 1;
729 }
730
731 if (PathList.empty()) {
732 llvm::errs() << "Error: no input files specified.\n";
733 llvm::cl::PrintHelpMessage(/*Hidden=*/false, /*Categorized=*/true);
734 return 1;
735 }
736
737 llvm::InitializeAllTargetInfos();
738 llvm::InitializeAllTargetMCs();
739 llvm::InitializeAllAsmParsers();
740
741 ClangTidyContext Context(
742 std::move(OwningOptionsProvider), AllowEnablingAnalyzerAlphaCheckers,
744 std::vector<ClangTidyError> Errors =
745 runClangTidy(Context, OptionsParser->getCompilations(), PathList, BaseFS,
746 FixNotes, EnableCheckProfile, ProfilePrefix, Quiet);
747 const bool FoundErrors = llvm::any_of(Errors, [](const ClangTidyError &E) {
748 return E.DiagLevel == ClangTidyError::Error;
749 });
750
751 // --fix-errors and --fix-notes imply --fix.
752 const FixBehaviour Behaviour = FixNotes ? FB_FixNotes
753 : (Fix || FixErrors) ? FB_Fix
754 : FB_NoFix;
755
756 const bool DisableFixes = FoundErrors && !FixErrors;
757
758 unsigned WErrorCount = 0;
759
760 handleErrors(Errors, Context, DisableFixes ? FB_NoFix : Behaviour,
761 WErrorCount, BaseFS);
762
763 if (!ExportFixes.empty() && !Errors.empty()) {
764 std::error_code EC;
765 llvm::raw_fd_ostream OS(ExportFixes, EC, llvm::sys::fs::OF_None);
766 if (EC) {
767 llvm::errs() << "Error opening output file: " << EC.message() << '\n';
768 return 1;
769 }
770 exportReplacements(FilePath.str(), Errors, OS);
771 }
772
773 if (!Quiet) {
774 printStats(Context.getStats());
775 if (DisableFixes && Behaviour != FB_NoFix)
776 llvm::errs()
777 << "Found compiler errors, but -fix-errors was not specified.\n"
778 "Fixes have NOT been applied.\n\n";
779 }
780
781 if (WErrorCount) {
782 if (!Quiet) {
783 const StringRef Plural = WErrorCount == 1 ? "" : "s";
784 llvm::errs() << WErrorCount << " warning" << Plural << " treated as error"
785 << Plural << "\n";
786 }
787 return 1;
788 }
789
790 if (FoundErrors) {
791 // TODO: Figure out when zero exit code should be used with -fix-errors:
792 // a. when a fix has been applied for an error
793 // b. when a fix has been applied for all errors
794 // c. some other condition.
795 // For now always returning zero when -fix-errors is used.
796 if (FixErrors)
797 return 0;
798 if (!Quiet)
799 llvm::errs() << "Found compiler error(s).\n";
800 return 1;
801 }
802
803 return 0;
804}
805
806} // namespace clang::tidy
static cl::opt< bool > UseColor("use-color", cl::desc(R"(Use colors in detailed AST output. If not set, colors will be used if the terminal connected to standard output supports colors.)"), cl::init(false), cl::cat(ClangQueryCategory))
static cl::opt< bool > EnableCheckProfile("enable-check-profile", desc(R"( Enable per-check timing profiles, and print a report to stderr. )"), cl::init(false), cl::cat(ClangTidyCategory))
static cl::opt< std::string > VfsOverlay("vfsoverlay", desc(R"( Overlay the virtual filesystem described by file over the real file system. )"), cl::value_desc("filename"), cl::cat(ClangTidyCategory))
static cl::opt< bool > FixNotes("fix-notes", desc(R"( If a warning has no fix, but a single fix can be found through an associated diagnostic note, apply the fix. Specifying this flag will implicitly enable the '--fix' flag. )"), cl::init(false), cl::cat(ClangTidyCategory))
static cl::opt< bool > Fix("fix", desc(R"( Apply suggested fixes. Without -fix-errors clang-tidy will bail out if any compilation errors were found. )"), cl::init(false), cl::cat(ClangTidyCategory))
static cl::list< std::string > RemovedArgs("removed-arg", desc(R"( List of arguments to remove from the command line sent to the compiler. Please note that removing arguments might change the semantic of the analyzed code, possibly leading to compiler errors, false positives or false negatives. This option is applied before --extra-arg and --extra-arg-before)"), cl::cat(ClangTidyCategory))
static cl::opt< bool > ExplainConfig("explain-config", desc(R"( For each enabled check explains, where it is enabled, i.e. in clang-tidy binary, command line or a specific configuration file. )"), cl::init(false), cl::cat(ClangTidyCategory))
static cl::opt< bool > UseColor("use-color", desc(R"( Use colors in diagnostics. If not set, colors will be used if the terminal connected to standard output supports colors. This option overrides the 'UseColor' option in .clang-tidy file, if any. )"), cl::init(false), cl::cat(ClangTidyCategory))
static cl::opt< std::string > WarningsAsErrors("warnings-as-errors", desc(R"( Upgrades warnings to errors. Same format as '-checks'. This option's value is appended to the value of the 'WarningsAsErrors' option in .clang-tidy file, if any. )"), cl::init(""), cl::cat(ClangTidyCategory))
static cl::opt< bool > ExperimentalCustomChecks("experimental-custom-checks", desc(R"( Enable experimental clang-query based custom checks. see https://clang.llvm.org/extra/clang-tidy/QueryBasedCustomChecks.html. )"), cl::init(false), cl::cat(ClangTidyCategory))
static cl::opt< std::string > ExcludeHeaderFilter("exclude-header-filter", desc(R"( Regular expression matching the names of the headers to exclude diagnostics from. Diagnostics from the main file of each translation unit are always displayed. Must be used together with --header-filter. Can be used together with -line-filter. This option overrides the 'ExcludeHeaderFilterRegex' option in .clang-tidy file, if any. )"), cl::init(""), cl::cat(ClangTidyCategory))
static cl::opt< bool > AllowEnablingAnalyzerAlphaCheckers("allow-enabling-analyzer-alpha-checkers", cl::init(false), cl::Hidden, cl::cat(ClangTidyCategory))
This option allows enabling the experimental alpha checkers from the static analyzer.
static cl::opt< std::string > ConfigFile("config-file", desc(R"( Specify the path of .clang-tidy or custom config file: e.g. --config-file=/some/path/myTidyConfigFile This option internally works exactly the same way as --config option after reading specified config file. Use either --config-file or --config, not both. )"), cl::init(""), cl::cat(ClangTidyCategory))
static cl::opt< bool > EnableModuleHeadersParsing("enable-module-headers-parsing", desc(R"( Enables preprocessor-level module header parsing for C++20 and above, empowering specific checks to detect macro definitions within modules. This feature may cause performance and parsing issues and is therefore considered experimental. )"), cl::init(false), cl::cat(ClangTidyCategory))
static cl::opt< std::string > Config("config", desc(R"( Specifies a configuration in YAML/JSON format: -config="{Checks:' *', CheckOptions:{x:y}}" When the value is empty, clang-tidy will attempt to find a file named .clang-tidy for each source file in its parent directories. )"), cl::init(""), cl::cat(ClangTidyCategory))
static cl::OptionCategory ClangTidyCategory("clang-tidy options")
static cl::opt< bool > FixErrors("fix-errors", desc(R"( Apply suggested fixes even if compilation errors were found. If compiler errors have attached fix-its, clang-tidy will apply them as well. )"), cl::init(false), cl::cat(ClangTidyCategory))
static cl::extrahelp ClangTidyParameterFileHelp(R"( Parameters files: A large number of options or source files can be passed as parameter files by use '@parameter-file' in the command line. )")
static cl::opt< bool > ListChecks("list-checks", desc(R"( List all enabled checks and exit. Use with -checks=* to list all available checks. )"), cl::init(false), cl::cat(ClangTidyCategory))
static cl::opt< std::string > HeaderFilter("header-filter", desc(R"( Regular expression matching the names of the headers to output diagnostics from. The default value is '.*', i.e. diagnostics from all non-system headers are displayed by default. Diagnostics from the main file of each translation unit are always displayed. Can be used together with -line-filter. This option overrides the 'HeaderFilterRegex' option in .clang-tidy file, if any. )"), cl::init(".*"), cl::cat(ClangTidyCategory))
static cl::opt< bool > DumpConfig("dump-config", desc(R"( Dumps configuration in the YAML format to stdout. This option can be used along with a file name (and '--' if the file is outside of a project with configured compilation database). The configuration used for this file will be printed. Use along with -checks=* to include configuration of all checks. )"), cl::init(false), cl::cat(ClangTidyCategory))
static cl::opt< bool > SystemHeaders("system-headers", desc(R"( Display the errors from system headers. This option overrides the 'SystemHeaders' option in .clang-tidy file, if any. )"), cl::init(false), cl::cat(ClangTidyCategory))
static cl::opt< std::string > LineFilter("line-filter", desc(R"( List of files and line ranges to output diagnostics from. The range is inclusive on both ends. Can be used together with -header-filter. The format of the list is a JSON array of objects. For example: [ {"name":"file1.cpp","lines":[[1,3],[5,7]]}, {"name":"file2.h"} ] This will output diagnostics from 'file1.cpp' only for the line ranges [1,3] and [5,7], as well as all from the entire 'file2.h'. )"), cl::init(""), cl::cat(ClangTidyCategory))
static cl::extrahelp CommonHelp(CommonOptionsParser::HelpMessage)
static cl::opt< bool > VerifyConfig("verify-config", desc(R"( Check the config files to ensure each check and option is recognized without running any checks. )"), cl::init(false), cl::cat(ClangTidyCategory))
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))
static cl::opt< bool > AllowNoChecks("allow-no-checks", desc(R"( Allow empty enabled checks. This suppresses the "no checks enabled" error when disabling all of the checks. )"), cl::init(false), cl::cat(ClangTidyCategory))
static cl::extrahelp ClangTidyHelp(R"( Configuration files: clang-tidy attempts to read configuration for each source file from a .clang-tidy file located in the closest parent directory of the source file. The .clang-tidy file is specified in YAML format. If any configuration options have a corresponding command-line option, command-line option takes precedence. The following configuration options may be used in a .clang-tidy file: CheckOptions - List of key-value pairs defining check-specific options. Example: CheckOptions: some-check.SomeOption: 'some value' Checks - Same as '--checks'. Additionally, the list of globs can be specified as a list instead of a string. CustomChecks - Array of user defined checks based on Clang-Query syntax. ExcludeHeaderFilterRegex - Same as '--exclude-header-filter'. ExtraArgs - Same as '--extra-arg'. ExtraArgsBefore - Same as '--extra-arg-before'. FormatStyle - Same as '--format-style'. HeaderFileExtensions - File extensions to consider to determine if a given diagnostic is located in a header file. HeaderFilterRegex - Same as '--header-filter'. ImplementationFileExtensions - File extensions to consider to determine if a given diagnostic is located in an implementation file. InheritParentConfig - If this option is true in a config file, the configuration file in the parent directory (if any exists) will be taken and the current config file will be applied on top of the parent one. RemovedArgs - Same as '--removed-arg'. SystemHeaders - Same as '--system-headers'. UseColor - Same as '--use-color'. User - Specifies the name or e-mail of the user running clang-tidy. This option is used, for example, to place the correct user name in TODO() comments in the relevant check. WarningsAsErrors - Same as '--warnings-as-errors'. The effective configuration can be inspected using --dump-config: $ clang-tidy --dump-config --- Checks: '-*,some-check' WarningsAsErrors: '' HeaderFileExtensions: ['', 'h','hh','hpp','hxx'] ImplementationFileExtensions: ['c','cc','cpp','cxx'] HeaderFilterRegex: '.*' FormatStyle: none InheritParentConfig: true User: user CheckOptions: some-check.SomeOption: 'some value' ... )")
const char DefaultChecks[]
static cl::opt< bool > Quiet("quiet", desc(R"( Run clang-tidy in quiet mode. This suppresses printing statistics about ignored warnings and warnings treated as errors if the respective options are specified. )"), cl::init(false), cl::cat(ClangTidyCategory))
static cl::opt< std::string > ExportFixes("export-fixes", desc(R"( YAML file to store suggested fixes in. The stored fixes can be applied to the input source code with clang-apply-replacements. )"), cl::value_desc("filename"), cl::cat(ClangTidyCategory))
static cl::desc desc(StringRef Description)
static cl::opt< std::string > FormatStyle("format-style", desc(R"( Style for formatting code around applied fixes: - 'none' (default) turns off formatting - 'file' (literally 'file', not a placeholder) uses .clang-format file in the closest parent directory - '{ <json> }' specifies options inline, e.g. -format-style='{BasedOnStyle: llvm, IndentWidth: 8}' - 'llvm', 'google', 'webkit', 'mozilla' See clang-format documentation for the up-to-date information about formatting styles and options. This option overrides the 'FormatStyle` option in .clang-tidy file, if any. )"), cl::init("none"), cl::cat(ClangTidyCategory))
static cl::opt< std::string > StoreCheckProfile("store-check-profile", desc(R"( By default reports are printed in tabulated format to stderr. When this option is passed, these per-TU profiles are instead stored as JSON. )"), cl::value_desc("prefix"), cl::cat(ClangTidyCategory))
Every ClangTidyCheck reports errors through a DiagnosticsEngine provided by this context.
Read-only set of strings represented as a list of positive and negative globs.
Definition GlobList.h:25
virtual bool contains(StringRef S) const
Returns true if the pattern matches S.
Definition GlobList.cpp:59
std::vector< std::string > lookup(const SymbolIndex &I, llvm::ArrayRef< SymbolID > IDs)
static llvm::IntrusiveRefCntPtr< vfs::FileSystem > getVfsFromFile(const std::string &OverlayFile, vfs::FileSystem &BaseFS)
ChecksAndOptions getAllChecksAndOptions(bool AllowEnablingAnalyzerAlphaCheckers, bool ExperimentalCustomChecks)
std::error_code parseLineFilter(StringRef LineFilter, clang::tidy::ClangTidyGlobalOptions &Options)
Parses -line-filter option and stores it to the Options.
FixBehaviour
Controls what kind of fixes clang-tidy is allowed to apply.
Definition ClangTidy.h:103
@ FB_NoFix
Don't try to apply any fix.
Definition ClangTidy.h:105
@ FB_FixNotes
Apply fixes found in notes.
Definition ClangTidy.h:109
@ FB_Fix
Only apply fixes added to warnings.
Definition ClangTidy.h:107
std::vector< std::string > getCheckNames(const ClangTidyOptions &Options, bool AllowEnablingAnalyzerAlphaCheckers, bool ExperimentalCustomChecks)
Fills the list of check names that are enabled when the provided filters are applied.
int clangTidyMain(int argc, const char **argv)
static ClangTidyModuleRegistry::Add< altera::AlteraModule > X("altera-module", "Adds Altera FPGA OpenCL lint checks.")
static void printStats(const ClangTidyStats &Stats)
static llvm::IntrusiveRefCntPtr< vfs::OverlayFileSystem > createBaseFS()
ClangTidyOptions::OptionMap getCheckOptions(const ClangTidyOptions &Options, bool AllowEnablingAnalyzerAlphaCheckers, bool ExperimentalCustomChecks)
Returns the effective check-specific options.
void handleErrors(llvm::ArrayRef< ClangTidyError > Errors, ClangTidyContext &Context, FixBehaviour Fix, unsigned &WarningsAsErrorsCount, llvm::IntrusiveRefCntPtr< llvm::vfs::FileSystem > BaseFS)
Displays the found Errors to the users.
void filterCheckOptions(ClangTidyOptions &Options, const std::vector< std::string > &EnabledChecks)
Filters CheckOptions in Options to only include options specified in the EnabledChecks which is a sor...
static constexpr StringLiteral VerifyConfigWarningEnd
static SmallString< 256 > makeAbsolute(llvm::StringRef Input)
static bool verifyOptions(const llvm::StringSet<> &ValidOptions, const ClangTidyOptions::OptionMap &OptionMap, StringRef Source)
static std::unique_ptr< ClangTidyOptionsProvider > createOptionsProvider(llvm::IntrusiveRefCntPtr< vfs::FileSystem > FS)
static bool verifyFileExtensions(const std::vector< std::string > &HeaderFileExtensions, const std::vector< std::string > &ImplementationFileExtensions, StringRef Source)
std::string configurationAsText(const ClangTidyOptions &Options)
Serializes configuration to a YAML-encoded string.
llvm::ErrorOr< ClangTidyOptions > parseConfiguration(llvm::MemoryBufferRef Config)
Parses configuration from JSON and returns ClangTidyOptions or an error.
void exportReplacements(const llvm::StringRef MainFilePath, const std::vector< ClangTidyError > &Errors, raw_ostream &OS)
static bool verifyChecks(const StringSet<> &AllChecks, StringRef CheckGlob, StringRef Source)
std::vector< ClangTidyError > runClangTidy(clang::tidy::ClangTidyContext &Context, const CompilationDatabase &Compilations, ArrayRef< std::string > InputFiles, llvm::IntrusiveRefCntPtr< llvm::vfs::OverlayFileSystem > BaseFS, bool ApplyAnyFix, bool EnableCheckProfile, llvm::StringRef StoreCheckProfile, bool Quiet)
static StringRef closest(StringRef Value, const StringSet<> &Allowed)
Some operations such as code completion produce a set of candidates.
Definition Generators.h:150
OptionMap CheckOptions
Key-value mapping used to store check-specific options.
std::optional< std::string > HeaderFilterRegex
Output warnings from headers matching this filter.
std::optional< std::string > Checks
Checks filter.
std::optional< std::string > WarningsAsErrors
WarningsAsErrors filter.
std::optional< ArgList > RemovedArgs
Remove command line arguments sent to the compiler matching this.
std::optional< std::string > User
Specifies the name or e-mail of the user running clang-tidy.
std::optional< bool > UseColor
Use colors in diagnostics. If missing, it will be auto detected.
std::optional< bool > SystemHeaders
Output warnings from system headers matching HeaderFilterRegex.
std::optional< std::string > ExcludeHeaderFilterRegex
Exclude warnings from headers matching this filter, even if they match HeaderFilterRegex.
std::optional< std::string > FormatStyle
Format code around applied fixes with clang-format using this style.
A detected error complete with information to display diagnostic and automatic fix.
Contains options for clang-tidy.
ClangTidyOptions merge(const ClangTidyOptions &Other, unsigned Order) const
Creates a new ClangTidyOptions instance combined from all fields of this instance overridden by the f...
llvm::StringMap< ClangTidyValue > OptionMap
static ClangTidyOptions getDefaults()
These options are used for all settings that haven't been overridden by the OptionsProvider.
Contains displayed and ignored diagnostic counters for a ClangTidy run.