blob: b2dd7e7c74f16364610c58dcb138cf3776850139 [file] [log] [blame]
Daniel Jasperd07c8402013-07-29 08:19:24 +00001//===--- tools/extra/clang-tidy/ClangTidy.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"
19#include "ClangTidyDiagnosticConsumer.h"
20#include "ClangTidyModuleRegistry.h"
21#include "clang/AST/ASTConsumer.h"
22#include "clang/AST/ASTContext.h"
23#include "clang/AST/Decl.h"
24#include "clang/ASTMatchers/ASTMatchFinder.h"
Daniel Jasperd07c8402013-07-29 08:19:24 +000025#include "clang/Frontend/ASTConsumers.h"
26#include "clang/Frontend/CompilerInstance.h"
27#include "clang/Frontend/FrontendActions.h"
Alexander Kornienko38d81b42014-03-27 10:24:11 +000028#include "clang/Frontend/FrontendDiagnostic.h"
Alexander Kornienko175fefb2014-01-03 09:31:57 +000029#include "clang/Frontend/MultiplexConsumer.h"
Daniel Jasperd07c8402013-07-29 08:19:24 +000030#include "clang/Frontend/TextDiagnosticPrinter.h"
Chandler Carruth85e6e872014-01-07 20:05:01 +000031#include "clang/Lex/PPCallbacks.h"
32#include "clang/Lex/Preprocessor.h"
Daniel Jasperd07c8402013-07-29 08:19:24 +000033#include "clang/Rewrite/Frontend/FixItRewriter.h"
34#include "clang/Rewrite/Frontend/FrontendActions.h"
Alexander Kornienkod1199cb2014-01-03 17:24:20 +000035#include "clang/StaticAnalyzer/Frontend/AnalysisConsumer.h"
Daniel Jasperd07c8402013-07-29 08:19:24 +000036#include "clang/Tooling/Refactoring.h"
Benjamin Kramerfb98b742014-09-04 10:31:23 +000037#include "clang/Tooling/ReplacementsYaml.h"
Chandler Carruth85e6e872014-01-07 20:05:01 +000038#include "clang/Tooling/Tooling.h"
Alexander Kornienko54461eb2014-02-06 14:50:10 +000039#include "llvm/Support/Process.h"
Daniel Jasperd07c8402013-07-29 08:19:24 +000040#include "llvm/Support/Signals.h"
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +000041#include <algorithm>
Alexander Kornienko38d81b42014-03-27 10:24:11 +000042#include <utility>
Daniel Jasperd07c8402013-07-29 08:19:24 +000043
44using namespace clang::ast_matchers;
45using namespace clang::driver;
46using namespace clang::tooling;
47using namespace llvm;
48
NAKAMURA Takumi71b982b2014-07-03 14:12:47 +000049template class llvm::Registry<clang::tidy::ClangTidyModule>;
50
Daniel Jasperd07c8402013-07-29 08:19:24 +000051namespace clang {
52namespace tidy {
Alexander Kornienko175fefb2014-01-03 09:31:57 +000053
Daniel Jasperd07c8402013-07-29 08:19:24 +000054namespace {
Alexander Kornienko54461eb2014-02-06 14:50:10 +000055static const char *AnalyzerCheckNamePrefix = "clang-analyzer-";
Manuel Klimek814f9bd2013-11-14 15:49:44 +000056
Craig Topper45857d42015-10-18 05:14:41 +000057static const StringRef StaticAnalyzerChecks[] = {
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +000058#define GET_CHECKERS
59#define CHECKER(FULLNAME, CLASS, DESCFILE, HELPTEXT, GROUPINDEX, HIDDEN) \
60 FULLNAME,
NAKAMURA Takumi321b7d32014-01-03 10:24:51 +000061#include "../../../lib/StaticAnalyzer/Checkers/Checkers.inc"
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +000062#undef CHECKER
63#undef GET_CHECKERS
64};
65
Alexander Kornienko54461eb2014-02-06 14:50:10 +000066class AnalyzerDiagnosticConsumer : public ento::PathDiagnosticConsumer {
67public:
68 AnalyzerDiagnosticConsumer(ClangTidyContext &Context) : Context(Context) {}
69
Alexander Kornienkocb9272f2014-02-27 13:14:51 +000070 void FlushDiagnosticsImpl(std::vector<const ento::PathDiagnostic *> &Diags,
Craig Toppera3dbe842014-03-02 10:20:11 +000071 FilesMade *filesMade) override {
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +000072 for (const ento::PathDiagnostic *PD : Diags) {
Alexander Kornienkod1afc702014-02-12 09:52:07 +000073 SmallString<64> CheckName(AnalyzerCheckNamePrefix);
74 CheckName += PD->getCheckName();
Alexander Kornienko95cd50f2014-03-06 13:24:28 +000075 Context.diag(CheckName, PD->getLocation().asLocation(),
76 PD->getShortDescription())
77 << PD->path.back()->getRanges();
Alexander Kornienko54461eb2014-02-06 14:50:10 +000078
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +000079 for (const auto &DiagPiece :
80 PD->path.flatten(/*ShouldFlattenMacros=*/true)) {
Alexander Kornienko95cd50f2014-03-06 13:24:28 +000081 Context.diag(CheckName, DiagPiece->getLocation().asLocation(),
82 DiagPiece->getString(), DiagnosticIDs::Note)
83 << DiagPiece->getRanges();
Alexander Kornienko54461eb2014-02-06 14:50:10 +000084 }
85 }
86 }
87
Craig Toppera3dbe842014-03-02 10:20:11 +000088 StringRef getName() const override { return "ClangTidyDiags"; }
89 bool supportsLogicalOpControlFlow() const override { return true; }
90 bool supportsCrossFileDiagnostics() const override { return true; }
Alexander Kornienko54461eb2014-02-06 14:50:10 +000091
92private:
93 ClangTidyContext &Context;
Alexander Kornienko54461eb2014-02-06 14:50:10 +000094};
95
Alexander Kornienko38d81b42014-03-27 10:24:11 +000096class ErrorReporter {
97public:
98 ErrorReporter(bool ApplyFixes)
99 : Files(FileSystemOptions()), DiagOpts(new DiagnosticOptions()),
100 DiagPrinter(new TextDiagnosticPrinter(llvm::outs(), &*DiagOpts)),
101 Diags(IntrusiveRefCntPtr<DiagnosticIDs>(new DiagnosticIDs), &*DiagOpts,
102 DiagPrinter),
103 SourceMgr(Diags, Files), Rewrite(SourceMgr, LangOpts),
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000104 ApplyFixes(ApplyFixes), TotalFixes(0), AppliedFixes(0),
105 WarningsAsErrors(0) {
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000106 DiagOpts->ShowColors = llvm::sys::Process::StandardOutHasColors();
107 DiagPrinter->BeginSourceFile(LangOpts);
108 }
109
Alexander Kornienko742790c2014-07-02 15:05:04 +0000110 void reportDiagnostic(const ClangTidyError &Error) {
111 const ClangTidyMessage &Message = Error.Message;
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000112 SourceLocation Loc = getLocation(Message.FilePath, Message.FileOffset);
113 // Contains a pair for each attempted fix: location and whether the fix was
114 // applied successfully.
115 SmallVector<std::pair<SourceLocation, bool>, 4> FixLocations;
116 {
Alexander Kornienko742790c2014-07-02 15:05:04 +0000117 auto Level = static_cast<DiagnosticsEngine::Level>(Error.DiagLevel);
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000118 std::string Name = Error.CheckName;
119 if (Error.IsWarningAsError) {
120 Name += ",-warnings-as-errors";
121 Level = DiagnosticsEngine::Error;
122 WarningsAsErrors++;
123 }
Alexander Kornienko58fe57a2015-11-16 13:06:15 +0000124 auto Diag = Diags.Report(Loc, Diags.getCustomDiagID(Level, "%0 [%1]"))
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000125 << Message.Message << Name;
Alexander Kornienko742790c2014-07-02 15:05:04 +0000126 for (const tooling::Replacement &Fix : Error.Fix) {
127 SourceLocation FixLoc = getLocation(Fix.getFilePath(), Fix.getOffset());
128 SourceLocation FixEndLoc = FixLoc.getLocWithOffset(Fix.getLength());
129 Diag << FixItHint::CreateReplacement(SourceRange(FixLoc, FixEndLoc),
130 Fix.getReplacementText());
131 ++TotalFixes;
132 if (ApplyFixes) {
133 bool Success = Fix.isApplicable() && Fix.apply(Rewrite);
134 if (Success)
135 ++AppliedFixes;
136 FixLocations.push_back(std::make_pair(FixLoc, Success));
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000137 }
138 }
139 }
140 for (auto Fix : FixLocations) {
141 Diags.Report(Fix.first, Fix.second ? diag::note_fixit_applied
142 : diag::note_fixit_failed);
143 }
Alexander Kornienko742790c2014-07-02 15:05:04 +0000144 for (const ClangTidyMessage &Note : Error.Notes)
145 reportNote(Note);
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000146 }
147
148 void Finish() {
149 // FIXME: Run clang-format on changes.
150 if (ApplyFixes && TotalFixes > 0) {
151 llvm::errs() << "clang-tidy applied " << AppliedFixes << " of "
152 << TotalFixes << " suggested fixes.\n";
153 Rewrite.overwriteChangedFiles();
154 }
155 }
156
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000157 unsigned getWarningsAsErrorsCount() const { return WarningsAsErrors; }
158
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000159private:
160 SourceLocation getLocation(StringRef FilePath, unsigned Offset) {
161 if (FilePath.empty())
162 return SourceLocation();
163
164 const FileEntry *File = SourceMgr.getFileManager().getFile(FilePath);
165 FileID ID = SourceMgr.createFileID(File, SourceLocation(), SrcMgr::C_User);
166 return SourceMgr.getLocForStartOfFile(ID).getLocWithOffset(Offset);
167 }
168
Alexander Kornienko742790c2014-07-02 15:05:04 +0000169 void reportNote(const ClangTidyMessage &Message) {
170 SourceLocation Loc = getLocation(Message.FilePath, Message.FileOffset);
171 DiagnosticBuilder Diag =
172 Diags.Report(Loc, Diags.getCustomDiagID(DiagnosticsEngine::Note, "%0"))
173 << Message.Message;
174 }
175
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000176 FileManager Files;
177 LangOptions LangOpts; // FIXME: use langopts from each original file
178 IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts;
179 DiagnosticConsumer *DiagPrinter;
180 DiagnosticsEngine Diags;
181 SourceManager SourceMgr;
182 Rewriter Rewrite;
183 bool ApplyFixes;
NAKAMURA Takumi4dd18132014-03-27 14:53:37 +0000184 unsigned TotalFixes;
185 unsigned AppliedFixes;
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000186 unsigned WarningsAsErrors;
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000187};
188
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000189class ClangTidyASTConsumer : public MultiplexConsumer {
190public:
David Blaikie680c4c82014-08-10 19:56:59 +0000191 ClangTidyASTConsumer(std::vector<std::unique_ptr<ASTConsumer>> Consumers,
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000192 std::unique_ptr<ast_matchers::MatchFinder> Finder,
193 std::vector<std::unique_ptr<ClangTidyCheck>> Checks)
David Blaikie680c4c82014-08-10 19:56:59 +0000194 : MultiplexConsumer(std::move(Consumers)), Finder(std::move(Finder)),
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000195 Checks(std::move(Checks)) {}
196
197private:
198 std::unique_ptr<ast_matchers::MatchFinder> Finder;
199 std::vector<std::unique_ptr<ClangTidyCheck>> Checks;
200};
201
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000202} // namespace
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +0000203
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000204ClangTidyASTConsumerFactory::ClangTidyASTConsumerFactory(
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000205 ClangTidyContext &Context)
206 : Context(Context), CheckFactories(new ClangTidyCheckFactories) {
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000207 for (ClangTidyModuleRegistry::iterator I = ClangTidyModuleRegistry::begin(),
208 E = ClangTidyModuleRegistry::end();
209 I != E; ++I) {
Ahmed Charles6a2dc5c2014-03-09 09:24:40 +0000210 std::unique_ptr<ClangTidyModule> Module(I->instantiate());
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000211 Module->addCheckFactories(*CheckFactories);
212 }
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000213}
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +0000214
Gabor Horvath34383212015-03-11 17:25:22 +0000215static void setStaticAnalyzerCheckerOpts(const ClangTidyOptions &Opts,
216 AnalyzerOptionsRef AnalyzerOptions) {
217 StringRef AnalyzerPrefix(AnalyzerCheckNamePrefix);
218 for (const auto &Opt : Opts.CheckOptions) {
219 StringRef OptName(Opt.first);
220 if (!OptName.startswith(AnalyzerPrefix))
221 continue;
222 AnalyzerOptions->Config[OptName.substr(AnalyzerPrefix.size())] = Opt.second;
223 }
224}
225
David Blaikie680c4c82014-08-10 19:56:59 +0000226std::unique_ptr<clang::ASTConsumer>
227ClangTidyASTConsumerFactory::CreateASTConsumer(
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000228 clang::CompilerInstance &Compiler, StringRef File) {
229 // FIXME: Move this to a separate method, so that CreateASTConsumer doesn't
230 // modify Compiler.
231 Context.setSourceManager(&Compiler.getSourceManager());
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000232 Context.setCurrentFile(File);
Alexander Kornienkoad216882014-07-14 14:10:03 +0000233 Context.setASTContext(&Compiler.getASTContext());
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000234
235 std::vector<std::unique_ptr<ClangTidyCheck>> Checks;
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000236 CheckFactories->createChecks(&Context, Checks);
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000237
Samuel Benzaquenaedd9942014-10-23 17:23:20 +0000238 ast_matchers::MatchFinder::MatchFinderOptions FinderOptions;
239 if (auto *P = Context.getCheckProfileData())
240 FinderOptions.CheckProfiling.emplace(P->Records);
241
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000242 std::unique_ptr<ast_matchers::MatchFinder> Finder(
Samuel Benzaquenaedd9942014-10-23 17:23:20 +0000243 new ast_matchers::MatchFinder(std::move(FinderOptions)));
244
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000245 for (auto &Check : Checks) {
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000246 Check->registerMatchers(&*Finder);
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000247 Check->registerPPCallbacks(Compiler);
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000248 }
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000249
David Blaikie680c4c82014-08-10 19:56:59 +0000250 std::vector<std::unique_ptr<ASTConsumer>> Consumers;
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000251 if (!Checks.empty())
252 Consumers.push_back(Finder->newASTConsumer());
Alexander Kornienko298b3822014-02-13 16:10:47 +0000253
Alex McCarthyfec08c72014-04-30 14:09:24 +0000254 AnalyzerOptionsRef AnalyzerOptions = Compiler.getAnalyzerOpts();
255 // FIXME: Remove this option once clang's cfg-temporary-dtors option defaults
256 // to true.
257 AnalyzerOptions->Config["cfg-temporary-dtors"] =
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000258 Context.getOptions().AnalyzeTemporaryDtors ? "true" : "false";
Alex McCarthyfec08c72014-04-30 14:09:24 +0000259
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000260 GlobList &Filter = Context.getChecksFilter();
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000261 AnalyzerOptions->CheckersControlList = getCheckersControlList(Filter);
Alex McCarthyfec08c72014-04-30 14:09:24 +0000262 if (!AnalyzerOptions->CheckersControlList.empty()) {
Gabor Horvath34383212015-03-11 17:25:22 +0000263 setStaticAnalyzerCheckerOpts(Context.getOptions(), AnalyzerOptions);
Alex McCarthyfec08c72014-04-30 14:09:24 +0000264 AnalyzerOptions->AnalysisStoreOpt = RegionStoreModel;
265 AnalyzerOptions->AnalysisDiagOpt = PD_NONE;
266 AnalyzerOptions->AnalyzeNestedBlocks = true;
267 AnalyzerOptions->eagerlyAssumeBinOpBifurcation = true;
David Blaikie680c4c82014-08-10 19:56:59 +0000268 std::unique_ptr<ento::AnalysisASTConsumer> AnalysisConsumer =
Ted Kremenek4d1692f2014-08-27 15:14:47 +0000269 ento::CreateAnalysisConsumer(Compiler);
Alexander Kornienko298b3822014-02-13 16:10:47 +0000270 AnalysisConsumer->AddDiagnosticConsumer(
271 new AnalyzerDiagnosticConsumer(Context));
David Blaikie680c4c82014-08-10 19:56:59 +0000272 Consumers.push_back(std::move(AnalysisConsumer));
Alexander Kornienko298b3822014-02-13 16:10:47 +0000273 }
David Blaikie680c4c82014-08-10 19:56:59 +0000274 return llvm::make_unique<ClangTidyASTConsumer>(
275 std::move(Consumers), std::move(Finder), std::move(Checks));
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000276}
277
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000278std::vector<std::string> ClangTidyASTConsumerFactory::getCheckNames() {
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000279 std::vector<std::string> CheckNames;
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000280 GlobList &Filter = Context.getChecksFilter();
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000281 for (const auto &CheckFactory : *CheckFactories) {
Alexander Kornienkob3d331d2014-08-06 11:49:10 +0000282 if (Filter.contains(CheckFactory.first))
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000283 CheckNames.push_back(CheckFactory.first);
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000284 }
285
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000286 for (const auto &AnalyzerCheck : getCheckersControlList(Filter))
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000287 CheckNames.push_back(AnalyzerCheckNamePrefix + AnalyzerCheck.first);
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000288
289 std::sort(CheckNames.begin(), CheckNames.end());
290 return CheckNames;
291}
292
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000293ClangTidyOptions::OptionMap ClangTidyASTConsumerFactory::getCheckOptions() {
294 ClangTidyOptions::OptionMap Options;
295 std::vector<std::unique_ptr<ClangTidyCheck>> Checks;
296 CheckFactories->createChecks(&Context, Checks);
297 for (const auto &Check : Checks)
298 Check->storeOptions(Options);
299 return Options;
300}
301
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000302ClangTidyASTConsumerFactory::CheckersList
Alexander Kornienkob3d331d2014-08-06 11:49:10 +0000303ClangTidyASTConsumerFactory::getCheckersControlList(GlobList &Filter) {
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000304 CheckersList List;
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000305
306 bool AnalyzerChecksEnabled = false;
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000307 for (StringRef CheckName : StaticAnalyzerChecks) {
308 std::string Checker((AnalyzerCheckNamePrefix + CheckName).str());
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000309 AnalyzerChecksEnabled =
310 AnalyzerChecksEnabled ||
Alexander Kornienkob3d331d2014-08-06 11:49:10 +0000311 (!CheckName.startswith("debug") && Filter.contains(Checker));
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000312 }
313
314 if (AnalyzerChecksEnabled) {
315 // Run our regex against all possible static analyzer checkers. Note that
316 // debug checkers print values / run programs to visualize the CFG and are
317 // thus not applicable to clang-tidy in general.
318 //
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +0000319 // Always add all core checkers if any other static analyzer checks are
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000320 // enabled. This is currently necessary, as other path sensitive checks
321 // rely on the core checkers.
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000322 for (StringRef CheckName : StaticAnalyzerChecks) {
323 std::string Checker((AnalyzerCheckNamePrefix + CheckName).str());
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +0000324
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000325 if (CheckName.startswith("core") ||
Alexander Kornienkob3d331d2014-08-06 11:49:10 +0000326 (!CheckName.startswith("debug") && Filter.contains(Checker)))
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000327 List.push_back(std::make_pair(CheckName, true));
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +0000328 }
329 }
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000330 return List;
331}
Daniel Jasperd07c8402013-07-29 08:19:24 +0000332
Peter Collingbourneb17a3b32014-03-02 23:34:48 +0000333DiagnosticBuilder ClangTidyCheck::diag(SourceLocation Loc, StringRef Message,
334 DiagnosticIDs::Level Level) {
335 return Context->diag(CheckName, Loc, Message, Level);
Alexander Kornienko41bfe8d2014-01-13 10:50:51 +0000336}
337
Daniel Jasperd07c8402013-07-29 08:19:24 +0000338void ClangTidyCheck::run(const ast_matchers::MatchFinder::MatchResult &Result) {
339 Context->setSourceManager(Result.SourceManager);
340 check(Result);
341}
342
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000343OptionsView::OptionsView(StringRef CheckName,
344 const ClangTidyOptions::OptionMap &CheckOptions)
345 : NamePrefix(CheckName.str() + "."), CheckOptions(CheckOptions) {}
346
Haojian Wuc2d75772016-02-05 11:23:59 +0000347std::string OptionsView::get(StringRef LocalName, StringRef Default) const {
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000348 const auto &Iter = CheckOptions.find(NamePrefix + LocalName.str());
349 if (Iter != CheckOptions.end())
350 return Iter->second;
351 return Default;
352}
353
Haojian Wuc2d75772016-02-05 11:23:59 +0000354std::string OptionsView::getLocalOrGlobal(StringRef LocalName,
355 StringRef Default) const {
356 auto Iter = CheckOptions.find(NamePrefix + LocalName.str());
357 if (Iter != CheckOptions.end())
358 return Iter->second;
359 // Fallback to global setting, if present.
360 Iter = CheckOptions.find(LocalName.str());
361 if (Iter != CheckOptions.end())
362 return Iter->second;
363 return Default;
364}
365
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000366void OptionsView::store(ClangTidyOptions::OptionMap &Options,
367 StringRef LocalName, StringRef Value) const {
368 Options[NamePrefix + LocalName.str()] = Value;
369}
370
371void OptionsView::store(ClangTidyOptions::OptionMap &Options,
372 StringRef LocalName, int64_t Value) const {
373 store(Options, LocalName, llvm::itostr(Value));
Alexander Kornienko41bfe8d2014-01-13 10:50:51 +0000374}
375
Alexander Kornienko33a9bcc2014-04-29 15:20:10 +0000376std::vector<std::string> getCheckNames(const ClangTidyOptions &Options) {
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000377 clang::tidy::ClangTidyContext Context(
Alexander Kornienkod53d2682014-09-04 14:23:36 +0000378 llvm::make_unique<DefaultOptionsProvider>(ClangTidyGlobalOptions(),
379 Options));
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000380 ClangTidyASTConsumerFactory Factory(Context);
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000381 return Factory.getCheckNames();
382}
383
384ClangTidyOptions::OptionMap getCheckOptions(const ClangTidyOptions &Options) {
385 clang::tidy::ClangTidyContext Context(
386 llvm::make_unique<DefaultOptionsProvider>(ClangTidyGlobalOptions(),
387 Options));
388 ClangTidyASTConsumerFactory Factory(Context);
389 return Factory.getCheckOptions();
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +0000390}
391
Alexander Kornienkod53d2682014-09-04 14:23:36 +0000392ClangTidyStats
393runClangTidy(std::unique_ptr<ClangTidyOptionsProvider> OptionsProvider,
394 const tooling::CompilationDatabase &Compilations,
395 ArrayRef<std::string> InputFiles,
Samuel Benzaquenaedd9942014-10-23 17:23:20 +0000396 std::vector<ClangTidyError> *Errors, ProfileData *Profile) {
Alexander Kornienko1e1ad5c2014-05-28 15:21:14 +0000397 ClangTool Tool(Compilations, InputFiles);
Alexander Kornienkod53d2682014-09-04 14:23:36 +0000398 clang::tidy::ClangTidyContext Context(std::move(OptionsProvider));
Alexander Kornienko64956b52015-11-09 16:28:11 +0000399 ArgumentsAdjuster PerFileExtraArgumentsInserter = [&Context](
400 const CommandLineArguments &Args, StringRef Filename) {
401 ClangTidyOptions Opts = Context.getOptionsForFile(Filename);
402 CommandLineArguments AdjustedArgs;
403 if (Opts.ExtraArgsBefore)
404 AdjustedArgs = *Opts.ExtraArgsBefore;
405 AdjustedArgs.insert(AdjustedArgs.begin(), Args.begin(), Args.end());
406 if (Opts.ExtraArgs)
407 AdjustedArgs.insert(AdjustedArgs.end(), Opts.ExtraArgs->begin(),
408 Opts.ExtraArgs->end());
409 return AdjustedArgs;
410 };
411 Tool.appendArgumentsAdjuster(PerFileExtraArgumentsInserter);
Samuel Benzaquenaedd9942014-10-23 17:23:20 +0000412 if (Profile)
413 Context.setCheckProfileData(Profile);
414
Daniel Jasperd07c8402013-07-29 08:19:24 +0000415 ClangTidyDiagnosticConsumer DiagConsumer(Context);
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000416
417 Tool.setDiagnosticConsumer(&DiagConsumer);
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000418
419 class ActionFactory : public FrontendActionFactory {
420 public:
Benjamin Kramer6e914242014-07-24 10:23:33 +0000421 ActionFactory(ClangTidyContext &Context) : ConsumerFactory(Context) {}
422 FrontendAction *create() override { return new Action(&ConsumerFactory); }
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000423
424 private:
425 class Action : public ASTFrontendAction {
426 public:
427 Action(ClangTidyASTConsumerFactory *Factory) : Factory(Factory) {}
David Blaikie680c4c82014-08-10 19:56:59 +0000428 std::unique_ptr<ASTConsumer> CreateASTConsumer(CompilerInstance &Compiler,
429 StringRef File) override {
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000430 return Factory->CreateASTConsumer(Compiler, File);
431 }
432
433 private:
434 ClangTidyASTConsumerFactory *Factory;
435 };
436
Benjamin Kramer6e914242014-07-24 10:23:33 +0000437 ClangTidyASTConsumerFactory ConsumerFactory;
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000438 };
439
Benjamin Kramer6e914242014-07-24 10:23:33 +0000440 ActionFactory Factory(Context);
441 Tool.run(&Factory);
Alexander Kornienko826b5ad2014-05-09 12:24:09 +0000442 *Errors = Context.getErrors();
Alexander Kornienko5d174542014-05-07 09:06:53 +0000443 return Context.getStats();
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000444}
445
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000446void handleErrors(const std::vector<ClangTidyError> &Errors, bool Fix,
447 unsigned &WarningsAsErrorsCount) {
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000448 ErrorReporter Reporter(Fix);
Alexander Kornienko742790c2014-07-02 15:05:04 +0000449 for (const ClangTidyError &Error : Errors)
450 Reporter.reportDiagnostic(Error);
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000451 Reporter.Finish();
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000452 WarningsAsErrorsCount += Reporter.getWarningsAsErrorsCount();
Daniel Jasperd07c8402013-07-29 08:19:24 +0000453}
454
Benjamin Kramerfb98b742014-09-04 10:31:23 +0000455void exportReplacements(const std::vector<ClangTidyError> &Errors,
456 raw_ostream &OS) {
457 tooling::TranslationUnitReplacements TUR;
458 for (const ClangTidyError &Error : Errors)
459 TUR.Replacements.insert(TUR.Replacements.end(), Error.Fix.begin(),
460 Error.Fix.end());
461
462 yaml::Output YAML(OS);
463 YAML << TUR;
464}
465
Daniel Jasperd07c8402013-07-29 08:19:24 +0000466} // namespace tidy
467} // namespace clang