Daniel Jasper | d07c840 | 2013-07-29 08:19:24 +0000 | [diff] [blame] | 1 | //===--- tools/extra/clang-tidy/ClangTidyMain.cpp - Clang tidy tool -------===// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | /// |
| 10 | /// \file This file implements a clang-tidy tool. |
| 11 | /// |
| 12 | /// This tool uses the Clang Tooling infrastructure, see |
| 13 | /// http://clang.llvm.org/docs/HowToSetupToolingForLLVM.html |
| 14 | /// for details on setting it up with LLVM source tree. |
| 15 | /// |
| 16 | //===----------------------------------------------------------------------===// |
| 17 | |
| 18 | #include "../ClangTidy.h" |
Manuel Klimek | 814f9bd | 2013-11-14 15:49:44 +0000 | [diff] [blame] | 19 | #include "clang/Tooling/CommonOptionsParser.h" |
Daniel Jasper | d07c840 | 2013-07-29 08:19:24 +0000 | [diff] [blame] | 20 | |
| 21 | using namespace clang::ast_matchers; |
| 22 | using namespace clang::driver; |
| 23 | using namespace clang::tooling; |
| 24 | using namespace llvm; |
| 25 | |
Alexander Kornienko | 99c9d6a | 2014-02-05 13:43:27 +0000 | [diff] [blame] | 26 | static cl::OptionCategory ClangTidyCategory("clang-tidy options"); |
Daniel Jasper | d07c840 | 2013-07-29 08:19:24 +0000 | [diff] [blame] | 27 | |
Manuel Klimek | 814f9bd | 2013-11-14 15:49:44 +0000 | [diff] [blame] | 28 | static cl::extrahelp CommonHelp(CommonOptionsParser::HelpMessage); |
Daniel Jasper | d07c840 | 2013-07-29 08:19:24 +0000 | [diff] [blame] | 29 | |
Alexander Kornienko | 23fe959 | 2014-05-15 14:27:36 +0000 | [diff] [blame] | 30 | const char DefaultChecks[] = |
| 31 | "*," // Enable all checks, except these: |
| 32 | "-clang-analyzer-alpha*," // Too many false positives. |
| 33 | "-llvm-include-order," // Not implemented yet. |
Alexander Kornienko | 23fe959 | 2014-05-15 14:27:36 +0000 | [diff] [blame] | 34 | "-google-*,"; // Doesn't apply to LLVM. |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 35 | |
Alexander Kornienko | 23fe959 | 2014-05-15 14:27:36 +0000 | [diff] [blame] | 36 | static cl::opt<std::string> |
Alexander Kornienko | 3ab3467 | 2014-05-16 13:07:18 +0000 | [diff] [blame] | 37 | Checks("checks", cl::desc("Comma-separated list of globs with optional '-'\n" |
| 38 | "prefix. Globs are processed in order of appearance\n" |
| 39 | "in the list. Globs without '-' prefix add checks\n" |
| 40 | "with matching names to the set, globs with the '-'\n" |
| 41 | "prefix remove checks with matching names from the\n" |
| 42 | "set of enabled checks."), |
Alexander Kornienko | 23fe959 | 2014-05-15 14:27:36 +0000 | [diff] [blame] | 43 | cl::init(""), cl::cat(ClangTidyCategory)); |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 44 | |
Alexander Kornienko | 3ab3467 | 2014-05-16 13:07:18 +0000 | [diff] [blame] | 45 | static cl::opt<std::string> |
| 46 | HeaderFilter("header-filter", |
| 47 | cl::desc("Regular expression matching the names of the\n" |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 48 | "headers to output diagnostics from. Diagnostics\n" |
| 49 | "from the main file of each translation unit are\n" |
| 50 | "always displayed.\n" |
| 51 | "Can be used together with -line-filter."), |
Alexander Kornienko | 3ab3467 | 2014-05-16 13:07:18 +0000 | [diff] [blame] | 52 | cl::init(""), cl::cat(ClangTidyCategory)); |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 53 | |
| 54 | static cl::opt<std::string> |
| 55 | LineFilter("line-filter", |
| 56 | cl::desc("List of files with line ranges to filter the\n" |
| 57 | "warnings. Can be used together with\n" |
| 58 | "-header-filter. The format of the list is a JSON\n" |
| 59 | "array of objects:\n" |
| 60 | " [\n" |
| 61 | " {\"name\":\"file1.cpp\",\"lines\":[[1,3],[5,7]]},\n" |
| 62 | " {\"name\":\"file2.h\"}\n" |
| 63 | " ]"), |
| 64 | cl::init(""), cl::cat(ClangTidyCategory)); |
| 65 | |
Daniel Jasper | d07c840 | 2013-07-29 08:19:24 +0000 | [diff] [blame] | 66 | static cl::opt<bool> Fix("fix", cl::desc("Fix detected errors if possible."), |
| 67 | cl::init(false), cl::cat(ClangTidyCategory)); |
| 68 | |
Alexander Kornienko | 3ab3467 | 2014-05-16 13:07:18 +0000 | [diff] [blame] | 69 | static cl::opt<bool> |
| 70 | ListChecks("list-checks", |
| 71 | cl::desc("List all enabled checks and exit. Use with\n" |
| 72 | "-checks='*' to list all available checks."), |
| 73 | cl::init(false), cl::cat(ClangTidyCategory)); |
Daniel Jasper | d07c840 | 2013-07-29 08:19:24 +0000 | [diff] [blame] | 74 | |
Alexander Kornienko | 3ab3467 | 2014-05-16 13:07:18 +0000 | [diff] [blame] | 75 | static cl::opt<bool> |
| 76 | AnalyzeTemporaryDtors("analyze-temporary-dtors", |
| 77 | cl::desc("Enable temporary destructor-aware analysis in\n" |
| 78 | "clang-analyzer- checks."), |
| 79 | cl::init(false), cl::cat(ClangTidyCategory)); |
Alex McCarthy | fec08c7 | 2014-04-30 14:09:24 +0000 | [diff] [blame] | 80 | |
Benjamin Kramer | fb98b74 | 2014-09-04 10:31:23 +0000 | [diff] [blame] | 81 | static cl::opt<std::string> ExportFixes( |
| 82 | "export-fixes", |
| 83 | cl::desc("YAML file to store suggested fixes in. The\n" |
| 84 | "stored fixes can be applied to the input source\n" |
| 85 | "code with clang-apply-replacements."), |
| 86 | cl::value_desc("filename"), cl::cat(ClangTidyCategory)); |
| 87 | |
Alexander Kornienko | 5d17454 | 2014-05-07 09:06:53 +0000 | [diff] [blame] | 88 | static void printStats(const clang::tidy::ClangTidyStats &Stats) { |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 89 | if (Stats.errorsIgnored()) { |
| 90 | llvm::errs() << "Suppressed " << Stats.errorsIgnored() << " warnings ("; |
Alexander Kornienko | 5d17454 | 2014-05-07 09:06:53 +0000 | [diff] [blame] | 91 | StringRef Separator = ""; |
| 92 | if (Stats.ErrorsIgnoredNonUserCode) { |
| 93 | llvm::errs() << Stats.ErrorsIgnoredNonUserCode << " in non-user code"; |
| 94 | Separator = ", "; |
| 95 | } |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 96 | if (Stats.ErrorsIgnoredLineFilter) { |
| 97 | llvm::errs() << Separator << Stats.ErrorsIgnoredLineFilter |
| 98 | << " due to line filter"; |
| 99 | Separator = ", "; |
| 100 | } |
Alexander Kornienko | 5d17454 | 2014-05-07 09:06:53 +0000 | [diff] [blame] | 101 | if (Stats.ErrorsIgnoredNOLINT) { |
| 102 | llvm::errs() << Separator << Stats.ErrorsIgnoredNOLINT << " NOLINT"; |
| 103 | Separator = ", "; |
| 104 | } |
| 105 | if (Stats.ErrorsIgnoredCheckFilter) |
| 106 | llvm::errs() << Separator << Stats.ErrorsIgnoredCheckFilter |
| 107 | << " with check filters"; |
| 108 | llvm::errs() << ").\n"; |
| 109 | if (Stats.ErrorsIgnoredNonUserCode) |
| 110 | llvm::errs() << "Use -header-filter='.*' to display errors from all " |
| 111 | "non-system headers.\n"; |
| 112 | } |
| 113 | } |
| 114 | |
Daniel Jasper | d07c840 | 2013-07-29 08:19:24 +0000 | [diff] [blame] | 115 | int main(int argc, const char **argv) { |
Alexander Kornienko | 06ff5a7 | 2013-12-12 10:01:39 +0000 | [diff] [blame] | 116 | CommonOptionsParser OptionsParser(argc, argv, ClangTidyCategory); |
Daniel Jasper | d07c840 | 2013-07-29 08:19:24 +0000 | [diff] [blame] | 117 | |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 118 | clang::tidy::ClangTidyGlobalOptions GlobalOptions; |
Rafael Espindola | 15c5784 | 2014-06-12 13:32:11 +0000 | [diff] [blame] | 119 | if (std::error_code Err = |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 120 | clang::tidy::parseLineFilter(LineFilter, GlobalOptions)) { |
Alexander Kornienko | dad4acb | 2014-05-22 16:07:11 +0000 | [diff] [blame] | 121 | llvm::errs() << "Invalid LineFilter: " << Err.message() << "\n\nUsage:\n"; |
| 122 | llvm::cl::PrintHelpMessage(/*Hidden=*/false, /*Categorized=*/true); |
| 123 | return 1; |
| 124 | } |
Alexander Kornienko | 33a9bcc | 2014-04-29 15:20:10 +0000 | [diff] [blame] | 125 | |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 126 | clang::tidy::ClangTidyOptions Options; |
| 127 | Options.Checks = DefaultChecks + Checks; |
| 128 | Options.HeaderFilterRegex = HeaderFilter; |
| 129 | Options.AnalyzeTemporaryDtors = AnalyzeTemporaryDtors; |
| 130 | |
Alexander Kornienko | fbf9258 | 2014-06-02 20:32:06 +0000 | [diff] [blame] | 131 | std::vector<std::string> EnabledChecks = clang::tidy::getCheckNames(Options); |
| 132 | |
Alexander Kornienko | fb9e92b | 2013-12-19 19:57:05 +0000 | [diff] [blame] | 133 | // FIXME: Allow using --list-checks without positional arguments. |
| 134 | if (ListChecks) { |
Alexander Kornienko | fb9e92b | 2013-12-19 19:57:05 +0000 | [diff] [blame] | 135 | llvm::outs() << "Enabled checks:"; |
Alexander Kornienko | fbf9258 | 2014-06-02 20:32:06 +0000 | [diff] [blame] | 136 | for (auto CheckName : EnabledChecks) |
Alexander Kornienko | 16ac6ce | 2014-03-05 13:14:32 +0000 | [diff] [blame] | 137 | llvm::outs() << "\n " << CheckName; |
Alexander Kornienko | fb9e92b | 2013-12-19 19:57:05 +0000 | [diff] [blame] | 138 | llvm::outs() << "\n\n"; |
| 139 | return 0; |
| 140 | } |
| 141 | |
Alexander Kornienko | fbf9258 | 2014-06-02 20:32:06 +0000 | [diff] [blame] | 142 | if (EnabledChecks.empty()) { |
| 143 | llvm::errs() << "Error: no checks enabled.\n"; |
| 144 | llvm::cl::PrintHelpMessage(/*Hidden=*/false, /*Categorized=*/true); |
| 145 | return 1; |
| 146 | } |
| 147 | |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 148 | // TODO: Implement configuration file reading and a "real" options provider. |
| 149 | auto OptionsProvider = |
| 150 | new clang::tidy::DefaultOptionsProvider(GlobalOptions, Options); |
Alexander Kornienko | 826b5ad | 2014-05-09 12:24:09 +0000 | [diff] [blame] | 151 | std::vector<clang::tidy::ClangTidyError> Errors; |
Alexander Kornienko | a469522 | 2014-06-05 13:31:45 +0000 | [diff] [blame] | 152 | clang::tidy::ClangTidyStats Stats = clang::tidy::runClangTidy( |
| 153 | OptionsProvider, OptionsParser.getCompilations(), |
| 154 | OptionsParser.getSourcePathList(), &Errors); |
Daniel Jasper | d07c840 | 2013-07-29 08:19:24 +0000 | [diff] [blame] | 155 | clang::tidy::handleErrors(Errors, Fix); |
| 156 | |
Benjamin Kramer | fb98b74 | 2014-09-04 10:31:23 +0000 | [diff] [blame] | 157 | if (!ExportFixes.empty()) { |
| 158 | std::error_code EC; |
| 159 | llvm::raw_fd_ostream OS(ExportFixes, EC, llvm::sys::fs::F_None); |
| 160 | if (EC) { |
| 161 | llvm::errs() << "Error opening output file: " << EC.message() << '\n'; |
| 162 | return 1; |
| 163 | } |
| 164 | clang::tidy::exportReplacements(Errors, OS); |
| 165 | } |
| 166 | |
Alexander Kornienko | 5d17454 | 2014-05-07 09:06:53 +0000 | [diff] [blame] | 167 | printStats(Stats); |
Daniel Jasper | d07c840 | 2013-07-29 08:19:24 +0000 | [diff] [blame] | 168 | return 0; |
| 169 | } |
Daniel Jasper | 89bbab0 | 2013-08-04 15:56:30 +0000 | [diff] [blame] | 170 | |
| 171 | namespace clang { |
| 172 | namespace tidy { |
| 173 | |
| 174 | // This anchor is used to force the linker to link the LLVMModule. |
| 175 | extern volatile int LLVMModuleAnchorSource; |
| 176 | static int LLVMModuleAnchorDestination = LLVMModuleAnchorSource; |
| 177 | |
| 178 | // This anchor is used to force the linker to link the GoogleModule. |
| 179 | extern volatile int GoogleModuleAnchorSource; |
| 180 | static int GoogleModuleAnchorDestination = GoogleModuleAnchorSource; |
| 181 | |
Alexander Kornienko | 16ac6ce | 2014-03-05 13:14:32 +0000 | [diff] [blame] | 182 | // This anchor is used to force the linker to link the MiscModule. |
| 183 | extern volatile int MiscModuleAnchorSource; |
| 184 | static int MiscModuleAnchorDestination = MiscModuleAnchorSource; |
| 185 | |
Daniel Jasper | 89bbab0 | 2013-08-04 15:56:30 +0000 | [diff] [blame] | 186 | } // namespace tidy |
| 187 | } // namespace clang |