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