blob: 562e1e80f54fb962793a237180005627c92dbe6e [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"
Benjamin Kramer8ff8fdf2016-07-18 19:21:22 +000035#include "clang/StaticAnalyzer/Core/BugReporter/PathDiagnostic.h"
Alexander Kornienkod1199cb2014-01-03 17:24:20 +000036#include "clang/StaticAnalyzer/Frontend/AnalysisConsumer.h"
Daniel Jasperd07c8402013-07-29 08:19:24 +000037#include "clang/Tooling/Refactoring.h"
Benjamin Kramerfb98b742014-09-04 10:31:23 +000038#include "clang/Tooling/ReplacementsYaml.h"
Chandler Carruth85e6e872014-01-07 20:05:01 +000039#include "clang/Tooling/Tooling.h"
Alexander Kornienko54461eb2014-02-06 14:50:10 +000040#include "llvm/Support/Process.h"
Daniel Jasperd07c8402013-07-29 08:19:24 +000041#include "llvm/Support/Signals.h"
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +000042#include <algorithm>
Alexander Kornienko38d81b42014-03-27 10:24:11 +000043#include <utility>
Daniel Jasperd07c8402013-07-29 08:19:24 +000044
45using namespace clang::ast_matchers;
46using namespace clang::driver;
47using namespace clang::tooling;
48using namespace llvm;
49
John Brawn4d79ec72016-08-05 11:01:08 +000050LLVM_INSTANTIATE_REGISTRY(clang::tidy::ClangTidyModuleRegistry)
NAKAMURA Takumi71b982b2014-07-03 14:12:47 +000051
Daniel Jasperd07c8402013-07-29 08:19:24 +000052namespace clang {
53namespace tidy {
Alexander Kornienko175fefb2014-01-03 09:31:57 +000054
Daniel Jasperd07c8402013-07-29 08:19:24 +000055namespace {
Alexander Kornienko54461eb2014-02-06 14:50:10 +000056static const char *AnalyzerCheckNamePrefix = "clang-analyzer-";
Manuel Klimek814f9bd2013-11-14 15:49:44 +000057
Craig Topper45857d42015-10-18 05:14:41 +000058static const StringRef StaticAnalyzerChecks[] = {
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +000059#define GET_CHECKERS
60#define CHECKER(FULLNAME, CLASS, DESCFILE, HELPTEXT, GROUPINDEX, HIDDEN) \
61 FULLNAME,
Stephen Hines15643352016-04-28 01:42:12 +000062#include "clang/StaticAnalyzer/Checkers/Checkers.inc"
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +000063#undef CHECKER
64#undef GET_CHECKERS
65};
66
Alexander Kornienko54461eb2014-02-06 14:50:10 +000067class AnalyzerDiagnosticConsumer : public ento::PathDiagnosticConsumer {
68public:
69 AnalyzerDiagnosticConsumer(ClangTidyContext &Context) : Context(Context) {}
70
Alexander Kornienkocb9272f2014-02-27 13:14:51 +000071 void FlushDiagnosticsImpl(std::vector<const ento::PathDiagnostic *> &Diags,
Craig Toppera3dbe842014-03-02 10:20:11 +000072 FilesMade *filesMade) override {
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +000073 for (const ento::PathDiagnostic *PD : Diags) {
Alexander Kornienkod1afc702014-02-12 09:52:07 +000074 SmallString<64> CheckName(AnalyzerCheckNamePrefix);
75 CheckName += PD->getCheckName();
Alexander Kornienko95cd50f2014-03-06 13:24:28 +000076 Context.diag(CheckName, PD->getLocation().asLocation(),
77 PD->getShortDescription())
78 << PD->path.back()->getRanges();
Alexander Kornienko54461eb2014-02-06 14:50:10 +000079
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +000080 for (const auto &DiagPiece :
81 PD->path.flatten(/*ShouldFlattenMacros=*/true)) {
Alexander Kornienko95cd50f2014-03-06 13:24:28 +000082 Context.diag(CheckName, DiagPiece->getLocation().asLocation(),
83 DiagPiece->getString(), DiagnosticIDs::Note)
84 << DiagPiece->getRanges();
Alexander Kornienko54461eb2014-02-06 14:50:10 +000085 }
86 }
87 }
88
Craig Toppera3dbe842014-03-02 10:20:11 +000089 StringRef getName() const override { return "ClangTidyDiags"; }
90 bool supportsLogicalOpControlFlow() const override { return true; }
91 bool supportsCrossFileDiagnostics() const override { return true; }
Alexander Kornienko54461eb2014-02-06 14:50:10 +000092
93private:
94 ClangTidyContext &Context;
Alexander Kornienko54461eb2014-02-06 14:50:10 +000095};
96
Alexander Kornienko38d81b42014-03-27 10:24:11 +000097class ErrorReporter {
98public:
99 ErrorReporter(bool ApplyFixes)
100 : Files(FileSystemOptions()), DiagOpts(new DiagnosticOptions()),
101 DiagPrinter(new TextDiagnosticPrinter(llvm::outs(), &*DiagOpts)),
102 Diags(IntrusiveRefCntPtr<DiagnosticIDs>(new DiagnosticIDs), &*DiagOpts,
103 DiagPrinter),
104 SourceMgr(Diags, Files), Rewrite(SourceMgr, LangOpts),
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000105 ApplyFixes(ApplyFixes), TotalFixes(0), AppliedFixes(0),
106 WarningsAsErrors(0) {
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000107 DiagOpts->ShowColors = llvm::sys::Process::StandardOutHasColors();
108 DiagPrinter->BeginSourceFile(LangOpts);
109 }
110
Etienne Bergeron4eaeace2016-04-06 14:07:51 +0000111 SourceManager &getSourceManager() { return SourceMgr; }
Haojian Wuf7692a22016-02-26 09:19:33 +0000112
Alexander Kornienko742790c2014-07-02 15:05:04 +0000113 void reportDiagnostic(const ClangTidyError &Error) {
114 const ClangTidyMessage &Message = Error.Message;
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000115 SourceLocation Loc = getLocation(Message.FilePath, Message.FileOffset);
116 // Contains a pair for each attempted fix: location and whether the fix was
117 // applied successfully.
118 SmallVector<std::pair<SourceLocation, bool>, 4> FixLocations;
119 {
Alexander Kornienko742790c2014-07-02 15:05:04 +0000120 auto Level = static_cast<DiagnosticsEngine::Level>(Error.DiagLevel);
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000121 std::string Name = Error.CheckName;
122 if (Error.IsWarningAsError) {
123 Name += ",-warnings-as-errors";
124 Level = DiagnosticsEngine::Error;
125 WarningsAsErrors++;
126 }
Alexander Kornienko58fe57a2015-11-16 13:06:15 +0000127 auto Diag = Diags.Report(Loc, Diags.getCustomDiagID(Level, "%0 [%1]"))
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000128 << Message.Message << Name;
Alexander Kornienko742790c2014-07-02 15:05:04 +0000129 for (const tooling::Replacement &Fix : Error.Fix) {
Etienne Bergeron6feeb652016-03-22 17:51:27 +0000130 // Retrieve the source range for applicable fixes. Macro definitions
131 // on the command line have locations in a virtual buffer and don't
132 // have valid file paths and are therefore not applicable.
133 SourceRange Range;
134 SourceLocation FixLoc;
135 if (Fix.isApplicable()) {
136 SmallString<128> FixAbsoluteFilePath = Fix.getFilePath();
137 Files.makeAbsolutePath(FixAbsoluteFilePath);
138 FixLoc = getLocation(FixAbsoluteFilePath, Fix.getOffset());
139 SourceLocation FixEndLoc = FixLoc.getLocWithOffset(Fix.getLength());
140 Range = SourceRange(FixLoc, FixEndLoc);
141 Diag << FixItHint::CreateReplacement(Range, Fix.getReplacementText());
142 }
Etienne Bergeron4eaeace2016-04-06 14:07:51 +0000143
Alexander Kornienko742790c2014-07-02 15:05:04 +0000144 ++TotalFixes;
145 if (ApplyFixes) {
146 bool Success = Fix.isApplicable() && Fix.apply(Rewrite);
147 if (Success)
148 ++AppliedFixes;
149 FixLocations.push_back(std::make_pair(FixLoc, Success));
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000150 }
151 }
152 }
153 for (auto Fix : FixLocations) {
154 Diags.Report(Fix.first, Fix.second ? diag::note_fixit_applied
155 : diag::note_fixit_failed);
156 }
Alexander Kornienko742790c2014-07-02 15:05:04 +0000157 for (const ClangTidyMessage &Note : Error.Notes)
158 reportNote(Note);
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000159 }
160
161 void Finish() {
162 // FIXME: Run clang-format on changes.
163 if (ApplyFixes && TotalFixes > 0) {
164 llvm::errs() << "clang-tidy applied " << AppliedFixes << " of "
165 << TotalFixes << " suggested fixes.\n";
166 Rewrite.overwriteChangedFiles();
167 }
168 }
169
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000170 unsigned getWarningsAsErrorsCount() const { return WarningsAsErrors; }
171
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000172private:
173 SourceLocation getLocation(StringRef FilePath, unsigned Offset) {
174 if (FilePath.empty())
175 return SourceLocation();
176
177 const FileEntry *File = SourceMgr.getFileManager().getFile(FilePath);
178 FileID ID = SourceMgr.createFileID(File, SourceLocation(), SrcMgr::C_User);
179 return SourceMgr.getLocForStartOfFile(ID).getLocWithOffset(Offset);
180 }
181
Alexander Kornienko742790c2014-07-02 15:05:04 +0000182 void reportNote(const ClangTidyMessage &Message) {
183 SourceLocation Loc = getLocation(Message.FilePath, Message.FileOffset);
184 DiagnosticBuilder Diag =
185 Diags.Report(Loc, Diags.getCustomDiagID(DiagnosticsEngine::Note, "%0"))
186 << Message.Message;
187 }
188
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000189 FileManager Files;
190 LangOptions LangOpts; // FIXME: use langopts from each original file
191 IntrusiveRefCntPtr<DiagnosticOptions> DiagOpts;
192 DiagnosticConsumer *DiagPrinter;
193 DiagnosticsEngine Diags;
194 SourceManager SourceMgr;
195 Rewriter Rewrite;
196 bool ApplyFixes;
NAKAMURA Takumi4dd18132014-03-27 14:53:37 +0000197 unsigned TotalFixes;
198 unsigned AppliedFixes;
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000199 unsigned WarningsAsErrors;
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000200};
201
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000202class ClangTidyASTConsumer : public MultiplexConsumer {
203public:
David Blaikie680c4c82014-08-10 19:56:59 +0000204 ClangTidyASTConsumer(std::vector<std::unique_ptr<ASTConsumer>> Consumers,
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000205 std::unique_ptr<ast_matchers::MatchFinder> Finder,
206 std::vector<std::unique_ptr<ClangTidyCheck>> Checks)
David Blaikie680c4c82014-08-10 19:56:59 +0000207 : MultiplexConsumer(std::move(Consumers)), Finder(std::move(Finder)),
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000208 Checks(std::move(Checks)) {}
209
210private:
211 std::unique_ptr<ast_matchers::MatchFinder> Finder;
212 std::vector<std::unique_ptr<ClangTidyCheck>> Checks;
213};
214
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000215} // namespace
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +0000216
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000217ClangTidyASTConsumerFactory::ClangTidyASTConsumerFactory(
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000218 ClangTidyContext &Context)
219 : Context(Context), CheckFactories(new ClangTidyCheckFactories) {
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000220 for (ClangTidyModuleRegistry::iterator I = ClangTidyModuleRegistry::begin(),
221 E = ClangTidyModuleRegistry::end();
222 I != E; ++I) {
Ahmed Charles6a2dc5c2014-03-09 09:24:40 +0000223 std::unique_ptr<ClangTidyModule> Module(I->instantiate());
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000224 Module->addCheckFactories(*CheckFactories);
225 }
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000226}
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +0000227
Gabor Horvath34383212015-03-11 17:25:22 +0000228static void setStaticAnalyzerCheckerOpts(const ClangTidyOptions &Opts,
229 AnalyzerOptionsRef AnalyzerOptions) {
230 StringRef AnalyzerPrefix(AnalyzerCheckNamePrefix);
231 for (const auto &Opt : Opts.CheckOptions) {
232 StringRef OptName(Opt.first);
233 if (!OptName.startswith(AnalyzerPrefix))
234 continue;
235 AnalyzerOptions->Config[OptName.substr(AnalyzerPrefix.size())] = Opt.second;
236 }
237}
238
David Blaikie680c4c82014-08-10 19:56:59 +0000239std::unique_ptr<clang::ASTConsumer>
240ClangTidyASTConsumerFactory::CreateASTConsumer(
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000241 clang::CompilerInstance &Compiler, StringRef File) {
242 // FIXME: Move this to a separate method, so that CreateASTConsumer doesn't
243 // modify Compiler.
244 Context.setSourceManager(&Compiler.getSourceManager());
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000245 Context.setCurrentFile(File);
Alexander Kornienkoad216882014-07-14 14:10:03 +0000246 Context.setASTContext(&Compiler.getASTContext());
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000247
Haojian Wuf7692a22016-02-26 09:19:33 +0000248 auto WorkingDir = Compiler.getSourceManager()
249 .getFileManager()
250 .getVirtualFileSystem()
251 ->getCurrentWorkingDirectory();
252 if (WorkingDir)
253 Context.setCurrentBuildDirectory(WorkingDir.get());
254
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000255 std::vector<std::unique_ptr<ClangTidyCheck>> Checks;
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000256 CheckFactories->createChecks(&Context, Checks);
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000257
Samuel Benzaquenaedd9942014-10-23 17:23:20 +0000258 ast_matchers::MatchFinder::MatchFinderOptions FinderOptions;
259 if (auto *P = Context.getCheckProfileData())
260 FinderOptions.CheckProfiling.emplace(P->Records);
261
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000262 std::unique_ptr<ast_matchers::MatchFinder> Finder(
Samuel Benzaquenaedd9942014-10-23 17:23:20 +0000263 new ast_matchers::MatchFinder(std::move(FinderOptions)));
264
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000265 for (auto &Check : Checks) {
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000266 Check->registerMatchers(&*Finder);
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000267 Check->registerPPCallbacks(Compiler);
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000268 }
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000269
David Blaikie680c4c82014-08-10 19:56:59 +0000270 std::vector<std::unique_ptr<ASTConsumer>> Consumers;
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000271 if (!Checks.empty())
272 Consumers.push_back(Finder->newASTConsumer());
Alexander Kornienko298b3822014-02-13 16:10:47 +0000273
Alex McCarthyfec08c72014-04-30 14:09:24 +0000274 AnalyzerOptionsRef AnalyzerOptions = Compiler.getAnalyzerOpts();
275 // FIXME: Remove this option once clang's cfg-temporary-dtors option defaults
276 // to true.
277 AnalyzerOptions->Config["cfg-temporary-dtors"] =
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000278 Context.getOptions().AnalyzeTemporaryDtors ? "true" : "false";
Alex McCarthyfec08c72014-04-30 14:09:24 +0000279
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000280 GlobList &Filter = Context.getChecksFilter();
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000281 AnalyzerOptions->CheckersControlList = getCheckersControlList(Filter);
Alex McCarthyfec08c72014-04-30 14:09:24 +0000282 if (!AnalyzerOptions->CheckersControlList.empty()) {
Gabor Horvath34383212015-03-11 17:25:22 +0000283 setStaticAnalyzerCheckerOpts(Context.getOptions(), AnalyzerOptions);
Alex McCarthyfec08c72014-04-30 14:09:24 +0000284 AnalyzerOptions->AnalysisStoreOpt = RegionStoreModel;
285 AnalyzerOptions->AnalysisDiagOpt = PD_NONE;
286 AnalyzerOptions->AnalyzeNestedBlocks = true;
287 AnalyzerOptions->eagerlyAssumeBinOpBifurcation = true;
David Blaikie680c4c82014-08-10 19:56:59 +0000288 std::unique_ptr<ento::AnalysisASTConsumer> AnalysisConsumer =
Ted Kremenek4d1692f2014-08-27 15:14:47 +0000289 ento::CreateAnalysisConsumer(Compiler);
Alexander Kornienko298b3822014-02-13 16:10:47 +0000290 AnalysisConsumer->AddDiagnosticConsumer(
291 new AnalyzerDiagnosticConsumer(Context));
David Blaikie680c4c82014-08-10 19:56:59 +0000292 Consumers.push_back(std::move(AnalysisConsumer));
Alexander Kornienko298b3822014-02-13 16:10:47 +0000293 }
David Blaikie680c4c82014-08-10 19:56:59 +0000294 return llvm::make_unique<ClangTidyASTConsumer>(
295 std::move(Consumers), std::move(Finder), std::move(Checks));
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000296}
297
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000298std::vector<std::string> ClangTidyASTConsumerFactory::getCheckNames() {
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000299 std::vector<std::string> CheckNames;
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000300 GlobList &Filter = Context.getChecksFilter();
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000301 for (const auto &CheckFactory : *CheckFactories) {
Alexander Kornienkob3d331d2014-08-06 11:49:10 +0000302 if (Filter.contains(CheckFactory.first))
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000303 CheckNames.push_back(CheckFactory.first);
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000304 }
305
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000306 for (const auto &AnalyzerCheck : getCheckersControlList(Filter))
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000307 CheckNames.push_back(AnalyzerCheckNamePrefix + AnalyzerCheck.first);
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000308
309 std::sort(CheckNames.begin(), CheckNames.end());
310 return CheckNames;
311}
312
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000313ClangTidyOptions::OptionMap ClangTidyASTConsumerFactory::getCheckOptions() {
314 ClangTidyOptions::OptionMap Options;
315 std::vector<std::unique_ptr<ClangTidyCheck>> Checks;
316 CheckFactories->createChecks(&Context, Checks);
317 for (const auto &Check : Checks)
318 Check->storeOptions(Options);
319 return Options;
320}
321
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000322ClangTidyASTConsumerFactory::CheckersList
Alexander Kornienkob3d331d2014-08-06 11:49:10 +0000323ClangTidyASTConsumerFactory::getCheckersControlList(GlobList &Filter) {
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000324 CheckersList List;
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000325
326 bool AnalyzerChecksEnabled = false;
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000327 for (StringRef CheckName : StaticAnalyzerChecks) {
328 std::string Checker((AnalyzerCheckNamePrefix + CheckName).str());
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000329 AnalyzerChecksEnabled =
330 AnalyzerChecksEnabled ||
Alexander Kornienkob3d331d2014-08-06 11:49:10 +0000331 (!CheckName.startswith("debug") && Filter.contains(Checker));
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000332 }
333
334 if (AnalyzerChecksEnabled) {
335 // Run our regex against all possible static analyzer checkers. Note that
336 // debug checkers print values / run programs to visualize the CFG and are
337 // thus not applicable to clang-tidy in general.
338 //
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +0000339 // Always add all core checkers if any other static analyzer checks are
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000340 // enabled. This is currently necessary, as other path sensitive checks
341 // rely on the core checkers.
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000342 for (StringRef CheckName : StaticAnalyzerChecks) {
343 std::string Checker((AnalyzerCheckNamePrefix + CheckName).str());
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +0000344
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000345 if (CheckName.startswith("core") ||
Alexander Kornienkob3d331d2014-08-06 11:49:10 +0000346 (!CheckName.startswith("debug") && Filter.contains(Checker)))
Alexander Kornienkodf1e3cb2014-03-06 10:17:46 +0000347 List.push_back(std::make_pair(CheckName, true));
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +0000348 }
349 }
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000350 return List;
351}
Daniel Jasperd07c8402013-07-29 08:19:24 +0000352
Peter Collingbourneb17a3b32014-03-02 23:34:48 +0000353DiagnosticBuilder ClangTidyCheck::diag(SourceLocation Loc, StringRef Message,
354 DiagnosticIDs::Level Level) {
355 return Context->diag(CheckName, Loc, Message, Level);
Alexander Kornienko41bfe8d2014-01-13 10:50:51 +0000356}
357
Daniel Jasperd07c8402013-07-29 08:19:24 +0000358void ClangTidyCheck::run(const ast_matchers::MatchFinder::MatchResult &Result) {
359 Context->setSourceManager(Result.SourceManager);
360 check(Result);
361}
362
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000363OptionsView::OptionsView(StringRef CheckName,
364 const ClangTidyOptions::OptionMap &CheckOptions)
365 : NamePrefix(CheckName.str() + "."), CheckOptions(CheckOptions) {}
366
Haojian Wuc2d75772016-02-05 11:23:59 +0000367std::string OptionsView::get(StringRef LocalName, StringRef Default) const {
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000368 const auto &Iter = CheckOptions.find(NamePrefix + LocalName.str());
369 if (Iter != CheckOptions.end())
370 return Iter->second;
371 return Default;
372}
373
Haojian Wuc2d75772016-02-05 11:23:59 +0000374std::string OptionsView::getLocalOrGlobal(StringRef LocalName,
375 StringRef Default) const {
376 auto Iter = CheckOptions.find(NamePrefix + LocalName.str());
377 if (Iter != CheckOptions.end())
378 return Iter->second;
379 // Fallback to global setting, if present.
380 Iter = CheckOptions.find(LocalName.str());
381 if (Iter != CheckOptions.end())
382 return Iter->second;
383 return Default;
384}
385
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000386void OptionsView::store(ClangTidyOptions::OptionMap &Options,
387 StringRef LocalName, StringRef Value) const {
388 Options[NamePrefix + LocalName.str()] = Value;
389}
390
391void OptionsView::store(ClangTidyOptions::OptionMap &Options,
392 StringRef LocalName, int64_t Value) const {
393 store(Options, LocalName, llvm::itostr(Value));
Alexander Kornienko41bfe8d2014-01-13 10:50:51 +0000394}
395
Alexander Kornienko33a9bcc2014-04-29 15:20:10 +0000396std::vector<std::string> getCheckNames(const ClangTidyOptions &Options) {
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000397 clang::tidy::ClangTidyContext Context(
Alexander Kornienkod53d2682014-09-04 14:23:36 +0000398 llvm::make_unique<DefaultOptionsProvider>(ClangTidyGlobalOptions(),
399 Options));
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000400 ClangTidyASTConsumerFactory Factory(Context);
Alexander Kornienko6e0cbc82014-09-12 08:53:36 +0000401 return Factory.getCheckNames();
402}
403
404ClangTidyOptions::OptionMap getCheckOptions(const ClangTidyOptions &Options) {
405 clang::tidy::ClangTidyContext Context(
406 llvm::make_unique<DefaultOptionsProvider>(ClangTidyGlobalOptions(),
407 Options));
408 ClangTidyASTConsumerFactory Factory(Context);
409 return Factory.getCheckOptions();
Alexander Kornienkofb9e92b2013-12-19 19:57:05 +0000410}
411
Alexander Kornienkod53d2682014-09-04 14:23:36 +0000412ClangTidyStats
413runClangTidy(std::unique_ptr<ClangTidyOptionsProvider> OptionsProvider,
414 const tooling::CompilationDatabase &Compilations,
415 ArrayRef<std::string> InputFiles,
Samuel Benzaquenaedd9942014-10-23 17:23:20 +0000416 std::vector<ClangTidyError> *Errors, ProfileData *Profile) {
Alexander Kornienko1e1ad5c2014-05-28 15:21:14 +0000417 ClangTool Tool(Compilations, InputFiles);
Alexander Kornienkod53d2682014-09-04 14:23:36 +0000418 clang::tidy::ClangTidyContext Context(std::move(OptionsProvider));
Etienne Bergeron4eaeace2016-04-06 14:07:51 +0000419
420 // Add extra arguments passed by the clang-tidy command-line.
421 ArgumentsAdjuster PerFileExtraArgumentsInserter =
422 [&Context](const CommandLineArguments &Args, StringRef Filename) {
423 ClangTidyOptions Opts = Context.getOptionsForFile(Filename);
424 CommandLineArguments AdjustedArgs;
425 if (Opts.ExtraArgsBefore)
426 AdjustedArgs = *Opts.ExtraArgsBefore;
427 AdjustedArgs.insert(AdjustedArgs.begin(), Args.begin(), Args.end());
428 if (Opts.ExtraArgs)
429 AdjustedArgs.insert(AdjustedArgs.end(), Opts.ExtraArgs->begin(),
430 Opts.ExtraArgs->end());
431 return AdjustedArgs;
432 };
433
434 // Remove plugins arguments.
435 ArgumentsAdjuster PluginArgumentsRemover =
436 [&Context](const CommandLineArguments &Args, StringRef Filename) {
437 CommandLineArguments AdjustedArgs;
438 for (size_t I = 0, E = Args.size(); I < E; ++I) {
439 if (I + 4 < Args.size() && Args[I] == "-Xclang" &&
440 (Args[I + 1] == "-load" || Args[I + 1] == "-add-plugin" ||
441 StringRef(Args[I + 1]).startswith("-plugin-arg-")) &&
442 Args[I + 2] == "-Xclang") {
443 I += 3;
444 } else
445 AdjustedArgs.push_back(Args[I]);
446 }
447 return AdjustedArgs;
448 };
449
Alexander Kornienko64956b52015-11-09 16:28:11 +0000450 Tool.appendArgumentsAdjuster(PerFileExtraArgumentsInserter);
Etienne Bergeron4eaeace2016-04-06 14:07:51 +0000451 Tool.appendArgumentsAdjuster(PluginArgumentsRemover);
Samuel Benzaquenaedd9942014-10-23 17:23:20 +0000452 if (Profile)
453 Context.setCheckProfileData(Profile);
454
Daniel Jasperd07c8402013-07-29 08:19:24 +0000455 ClangTidyDiagnosticConsumer DiagConsumer(Context);
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000456
457 Tool.setDiagnosticConsumer(&DiagConsumer);
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000458
459 class ActionFactory : public FrontendActionFactory {
460 public:
Benjamin Kramer6e914242014-07-24 10:23:33 +0000461 ActionFactory(ClangTidyContext &Context) : ConsumerFactory(Context) {}
462 FrontendAction *create() override { return new Action(&ConsumerFactory); }
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000463
464 private:
465 class Action : public ASTFrontendAction {
466 public:
467 Action(ClangTidyASTConsumerFactory *Factory) : Factory(Factory) {}
David Blaikie680c4c82014-08-10 19:56:59 +0000468 std::unique_ptr<ASTConsumer> CreateASTConsumer(CompilerInstance &Compiler,
469 StringRef File) override {
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000470 return Factory->CreateASTConsumer(Compiler, File);
471 }
472
473 private:
474 ClangTidyASTConsumerFactory *Factory;
475 };
476
Benjamin Kramer6e914242014-07-24 10:23:33 +0000477 ClangTidyASTConsumerFactory ConsumerFactory;
Alexander Kornienko175fefb2014-01-03 09:31:57 +0000478 };
479
Benjamin Kramer6e914242014-07-24 10:23:33 +0000480 ActionFactory Factory(Context);
481 Tool.run(&Factory);
Alexander Kornienko826b5ad2014-05-09 12:24:09 +0000482 *Errors = Context.getErrors();
Alexander Kornienko5d174542014-05-07 09:06:53 +0000483 return Context.getStats();
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000484}
485
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000486void handleErrors(const std::vector<ClangTidyError> &Errors, bool Fix,
487 unsigned &WarningsAsErrorsCount) {
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000488 ErrorReporter Reporter(Fix);
Haojian Wuf7692a22016-02-26 09:19:33 +0000489 vfs::FileSystem &FileSystem =
490 *Reporter.getSourceManager().getFileManager().getVirtualFileSystem();
491 auto InitialWorkingDir = FileSystem.getCurrentWorkingDirectory();
492 if (!InitialWorkingDir)
493 llvm::report_fatal_error("Cannot get current working path.");
494
495 for (const ClangTidyError &Error : Errors) {
496 if (!Error.BuildDirectory.empty()) {
497 // By default, the working directory of file system is the current
498 // clang-tidy running directory.
499 //
500 // Change the directory to the one used during the analysis.
501 FileSystem.setCurrentWorkingDirectory(Error.BuildDirectory);
502 }
Alexander Kornienko742790c2014-07-02 15:05:04 +0000503 Reporter.reportDiagnostic(Error);
Haojian Wuf7692a22016-02-26 09:19:33 +0000504 // Return to the initial directory to correctly resolve next Error.
505 FileSystem.setCurrentWorkingDirectory(InitialWorkingDir.get());
506 }
Alexander Kornienko38d81b42014-03-27 10:24:11 +0000507 Reporter.Finish();
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000508 WarningsAsErrorsCount += Reporter.getWarningsAsErrorsCount();
Daniel Jasperd07c8402013-07-29 08:19:24 +0000509}
510
Benjamin Kramerfb98b742014-09-04 10:31:23 +0000511void exportReplacements(const std::vector<ClangTidyError> &Errors,
512 raw_ostream &OS) {
513 tooling::TranslationUnitReplacements TUR;
514 for (const ClangTidyError &Error : Errors)
515 TUR.Replacements.insert(TUR.Replacements.end(), Error.Fix.begin(),
516 Error.Fix.end());
517
518 yaml::Output YAML(OS);
519 YAML << TUR;
520}
521
Daniel Jasperd07c8402013-07-29 08:19:24 +0000522} // namespace tidy
523} // namespace clang