blob: 8d46a2988ee7d6bf15aafff9c7a7bb5e825a8563 [file] [log] [blame]
Daniel Jasperd07c8402013-07-29 08:19:24 +00001//===--- ClangTidyDiagnosticConsumer.h - clang-tidy -------------*- C++ -*-===//
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
Alexander Kornienko66580552015-03-09 16:52:33 +000010#ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_CLANGTIDYDIAGNOSTICCONSUMER_H
11#define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_CLANGTIDYDIAGNOSTICCONSUMER_H
Daniel Jasperd07c8402013-07-29 08:19:24 +000012
Alexander Kornienko9ff5b6f2014-05-05 14:54:47 +000013#include "ClangTidyOptions.h"
Daniel Jasperd07c8402013-07-29 08:19:24 +000014#include "clang/Basic/Diagnostic.h"
15#include "clang/Basic/SourceManager.h"
16#include "clang/Tooling/Refactoring.h"
Alexander Kornienko41bfe8d2014-01-13 10:50:51 +000017#include "llvm/ADT/DenseMap.h"
Samuel Benzaquenaedd9942014-10-23 17:23:20 +000018#include "llvm/ADT/StringMap.h"
Alexander Kornienko09952d22014-03-20 09:38:22 +000019#include "llvm/Support/Regex.h"
Samuel Benzaquenaedd9942014-10-23 17:23:20 +000020#include "llvm/Support/Timer.h"
Daniel Jasperd07c8402013-07-29 08:19:24 +000021
22namespace clang {
23
Alexander Kornienkoad216882014-07-14 14:10:03 +000024class ASTContext;
Daniel Jasperd07c8402013-07-29 08:19:24 +000025class CompilerInstance;
26namespace ast_matchers {
27class MatchFinder;
28}
29namespace tooling {
30class CompilationDatabase;
31}
32
33namespace tidy {
34
Manuel Klimek814f9bd2013-11-14 15:49:44 +000035/// \brief A message from a clang-tidy check.
36///
37/// Note that this is independent of a \c SourceManager.
38struct ClangTidyMessage {
39 ClangTidyMessage(StringRef Message = "");
40 ClangTidyMessage(StringRef Message, const SourceManager &Sources,
41 SourceLocation Loc);
42 std::string Message;
43 std::string FilePath;
44 unsigned FileOffset;
45};
46
47/// \brief A detected error complete with information to display diagnostic and
48/// automatic fix.
49///
50/// This is used as an intermediate format to transport Diagnostics without a
51/// dependency on a SourceManager.
52///
53/// FIXME: Make Diagnostics flexible enough to support this directly.
54struct ClangTidyError {
Alexander Kornienko348cae82014-06-02 20:44:32 +000055 enum Level {
56 Warning = DiagnosticsEngine::Warning,
57 Error = DiagnosticsEngine::Error
58 };
59
Haojian Wuf7692a22016-02-26 09:19:33 +000060 ClangTidyError(StringRef CheckName, Level DiagLevel, bool IsWarningAsError,
61 StringRef BuildDirectory);
Manuel Klimek814f9bd2013-11-14 15:49:44 +000062
Alexander Kornienko41bfe8d2014-01-13 10:50:51 +000063 std::string CheckName;
Manuel Klimek814f9bd2013-11-14 15:49:44 +000064 ClangTidyMessage Message;
65 tooling::Replacements Fix;
66 SmallVector<ClangTidyMessage, 1> Notes;
Alexander Kornienko348cae82014-06-02 20:44:32 +000067
Haojian Wuf7692a22016-02-26 09:19:33 +000068 // A build directory of the diagnostic source file.
69 //
70 // It's an absolute path which is `directory` field of the source file in
71 // compilation database. If users don't specify the compilation database
72 // directory, it is the current directory where clang-tidy runs.
73 //
74 // Note: it is empty in unittest.
75 std::string BuildDirectory;
76
Alexander Kornienko348cae82014-06-02 20:44:32 +000077 Level DiagLevel;
Jonathan Roelofsd60388a2016-01-13 17:36:41 +000078 bool IsWarningAsError;
Manuel Klimek814f9bd2013-11-14 15:49:44 +000079};
80
Alexander Kornienkob3d331d2014-08-06 11:49:10 +000081/// \brief Read-only set of strings represented as a list of positive and
82/// negative globs. Positive globs add all matched strings to the set, negative
83/// globs remove them in the order of appearance in the list.
84class GlobList {
Alexander Kornienko09952d22014-03-20 09:38:22 +000085public:
Alexander Kornienkoa4695222014-06-05 13:31:45 +000086 /// \brief \p GlobList is a comma-separated list of globs (only '*'
87 /// metacharacter is supported) with optional '-' prefix to denote exclusion.
Alexander Kornienkob3d331d2014-08-06 11:49:10 +000088 GlobList(StringRef Globs);
Alexander Kornienkoa4695222014-06-05 13:31:45 +000089
Alexander Kornienkob3d331d2014-08-06 11:49:10 +000090 /// \brief Returns \c true if the pattern matches \p S. The result is the last
91 /// matching glob's Positive flag.
92 bool contains(StringRef S) { return contains(S, false); }
Alexander Kornienko09952d22014-03-20 09:38:22 +000093
94private:
Alexander Kornienkob3d331d2014-08-06 11:49:10 +000095 bool contains(StringRef S, bool Contains);
Alexander Kornienko23fe9592014-05-15 14:27:36 +000096
97 bool Positive;
98 llvm::Regex Regex;
Alexander Kornienkob3d331d2014-08-06 11:49:10 +000099 std::unique_ptr<GlobList> NextGlob;
Alexander Kornienko09952d22014-03-20 09:38:22 +0000100};
101
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000102/// \brief Contains displayed and ignored diagnostic counters for a ClangTidy
103/// run.
Alexander Kornienko5d174542014-05-07 09:06:53 +0000104struct ClangTidyStats {
105 ClangTidyStats()
106 : ErrorsDisplayed(0), ErrorsIgnoredCheckFilter(0), ErrorsIgnoredNOLINT(0),
Alexander Kornienkodad4acb2014-05-22 16:07:11 +0000107 ErrorsIgnoredNonUserCode(0), ErrorsIgnoredLineFilter(0) {}
Alexander Kornienko5d174542014-05-07 09:06:53 +0000108
109 unsigned ErrorsDisplayed;
110 unsigned ErrorsIgnoredCheckFilter;
111 unsigned ErrorsIgnoredNOLINT;
112 unsigned ErrorsIgnoredNonUserCode;
Alexander Kornienkodad4acb2014-05-22 16:07:11 +0000113 unsigned ErrorsIgnoredLineFilter;
114
115 unsigned errorsIgnored() const {
116 return ErrorsIgnoredNOLINT + ErrorsIgnoredCheckFilter +
117 ErrorsIgnoredNonUserCode + ErrorsIgnoredLineFilter;
118 }
Alexander Kornienko5d174542014-05-07 09:06:53 +0000119};
120
Samuel Benzaquenaedd9942014-10-23 17:23:20 +0000121/// \brief Container for clang-tidy profiling data.
122struct ProfileData {
123 llvm::StringMap<llvm::TimeRecord> Records;
124};
125
Alexander Kornienko284c2492014-12-19 15:37:02 +0000126/// \brief Every \c ClangTidyCheck reports errors through a \c DiagnosticsEngine
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000127/// provided by this context.
128///
129/// A \c ClangTidyCheck always has access to the active context to report
130/// warnings like:
131/// \code
132/// Context->Diag(Loc, "Single-argument constructors must be explicit")
133/// << FixItHint::CreateInsertion(Loc, "explicit ");
134/// \endcode
135class ClangTidyContext {
136public:
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000137 /// \brief Initializes \c ClangTidyContext instance.
Alexander Kornienkod53d2682014-09-04 14:23:36 +0000138 ClangTidyContext(std::unique_ptr<ClangTidyOptionsProvider> OptionsProvider);
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000139
140 /// \brief Report any errors detected using this method.
141 ///
142 /// This is still under heavy development and will likely change towards using
143 /// tablegen'd diagnostic IDs.
144 /// FIXME: Figure out a way to manage ID spaces.
Alexander Kornienko41bfe8d2014-01-13 10:50:51 +0000145 DiagnosticBuilder diag(StringRef CheckName, SourceLocation Loc,
Alexander Kornienko54461eb2014-02-06 14:50:10 +0000146 StringRef Message,
147 DiagnosticIDs::Level Level = DiagnosticIDs::Warning);
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000148
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000149 /// \brief Sets the \c SourceManager of the used \c DiagnosticsEngine.
150 ///
151 /// This is called from the \c ClangTidyCheck base class.
152 void setSourceManager(SourceManager *SourceMgr);
153
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000154 /// \brief Should be called when starting to process new translation unit.
155 void setCurrentFile(StringRef File);
156
Alexander Kornienko19bbeaf2015-05-21 14:08:56 +0000157 /// \brief Returns the main file name of the current translation unit.
158 StringRef getCurrentFile() const { return CurrentFile; }
159
Alexander Kornienkoad216882014-07-14 14:10:03 +0000160 /// \brief Sets ASTContext for the current translation unit.
161 void setASTContext(ASTContext *Context);
162
Alexander Kornienko64956b52015-11-09 16:28:11 +0000163 /// \brief Gets the language options from the AST context.
Alexander Kornienko1612fa02016-02-25 23:57:23 +0000164 const LangOptions &getLangOpts() const { return LangOpts; }
Aaron Ballmanf36a4252015-08-28 13:20:46 +0000165
Alexander Kornienko41bfe8d2014-01-13 10:50:51 +0000166 /// \brief Returns the name of the clang-tidy check which produced this
167 /// diagnostic ID.
168 StringRef getCheckName(unsigned DiagnosticID) const;
169
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000170 /// \brief Returns check filter for the \c CurrentFile.
Alexander Kornienko64956b52015-11-09 16:28:11 +0000171 ///
172 /// The \c CurrentFile can be changed using \c setCurrentFile.
Alexander Kornienkob3d331d2014-08-06 11:49:10 +0000173 GlobList &getChecksFilter();
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000174
Aaron Ballmanc00ad6c2016-01-08 15:50:51 +0000175 /// \brief Returns true if the check name is enabled for the \c CurrentFile.
176 bool isCheckEnabled(StringRef CheckName) const;
177
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000178 /// \brief Returns check filter for the \c CurrentFile which
179 /// selects checks for upgrade to error.
180 GlobList &getWarningAsErrorFilter();
181
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000182 /// \brief Returns global options.
183 const ClangTidyGlobalOptions &getGlobalOptions() const;
184
185 /// \brief Returns options for \c CurrentFile.
Alexander Kornienko64956b52015-11-09 16:28:11 +0000186 ///
187 /// The \c CurrentFile can be changed using \c setCurrentFile.
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000188 const ClangTidyOptions &getOptions() const;
189
Alexander Kornienko64956b52015-11-09 16:28:11 +0000190 /// \brief Returns options for \c File. Does not change or depend on
191 /// \c CurrentFile.
192 ClangTidyOptions getOptionsForFile(StringRef File) const;
193
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000194 /// \brief Returns \c ClangTidyStats containing issued and ignored diagnostic
195 /// counters.
Alexander Kornienko5d174542014-05-07 09:06:53 +0000196 const ClangTidyStats &getStats() const { return Stats; }
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000197
198 /// \brief Returns all collected errors.
Alexander Kornienko826b5ad2014-05-09 12:24:09 +0000199 const std::vector<ClangTidyError> &getErrors() const { return Errors; }
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000200
201 /// \brief Clears collected errors.
Alexander Kornienkoc0093602014-05-09 15:50:15 +0000202 void clearErrors() { Errors.clear(); }
Alexander Kornienko09952d22014-03-20 09:38:22 +0000203
Samuel Benzaquenaedd9942014-10-23 17:23:20 +0000204 /// \brief Set the output struct for profile data.
205 ///
206 /// Setting a non-null pointer here will enable profile collection in
207 /// clang-tidy.
Angel Garcia Gomez16693572015-10-16 11:43:49 +0000208 void setCheckProfileData(ProfileData *Profile);
209 ProfileData *getCheckProfileData() const { return Profile; }
Samuel Benzaquenaedd9942014-10-23 17:23:20 +0000210
Haojian Wuf7692a22016-02-26 09:19:33 +0000211 /// \brief Should be called when starting to process new translation unit.
212 void setCurrentBuildDirectory(StringRef BuildDirectory) {
213 CurrentBuildDirectory = BuildDirectory;
214 }
215
216 /// \brief Returns build directory of the current translation unit.
217 const std::string &getCurrentBuildDirectory() {
218 return CurrentBuildDirectory;
219 }
220
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000221private:
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000222 // Calls setDiagnosticsEngine() and storeError().
223 friend class ClangTidyDiagnosticConsumer;
Benjamin Kramer8f5eb562016-03-03 08:58:12 +0000224 friend class ClangTidyPluginAction;
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000225
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000226 /// \brief Sets the \c DiagnosticsEngine so that Diagnostics can be generated
227 /// correctly.
228 void setDiagnosticsEngine(DiagnosticsEngine *Engine);
229
230 /// \brief Store an \p Error.
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000231 void storeError(const ClangTidyError &Error);
232
Alexander Kornienko826b5ad2014-05-09 12:24:09 +0000233 std::vector<ClangTidyError> Errors;
NAKAMURA Takumi338eee12014-03-20 10:53:03 +0000234 DiagnosticsEngine *DiagEngine;
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000235 std::unique_ptr<ClangTidyOptionsProvider> OptionsProvider;
236
237 std::string CurrentFile;
Alexander Kornienkod53d2682014-09-04 14:23:36 +0000238 ClangTidyOptions CurrentOptions;
Alexander Kornienkob3d331d2014-08-06 11:49:10 +0000239 std::unique_ptr<GlobList> CheckFilter;
Jonathan Roelofsd60388a2016-01-13 17:36:41 +0000240 std::unique_ptr<GlobList> WarningAsErrorFilter;
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000241
Aaron Ballmanf36a4252015-08-28 13:20:46 +0000242 LangOptions LangOpts;
243
Alexander Kornienko5d174542014-05-07 09:06:53 +0000244 ClangTidyStats Stats;
Alexander Kornienko09952d22014-03-20 09:38:22 +0000245
Haojian Wuf7692a22016-02-26 09:19:33 +0000246 std::string CurrentBuildDirectory;
247
Alexander Kornienko41bfe8d2014-01-13 10:50:51 +0000248 llvm::DenseMap<unsigned, std::string> CheckNamesByDiagnosticID;
Samuel Benzaquenaedd9942014-10-23 17:23:20 +0000249
250 ProfileData *Profile;
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000251};
252
Daniel Jasperd07c8402013-07-29 08:19:24 +0000253/// \brief A diagnostic consumer that turns each \c Diagnostic into a
254/// \c SourceManager-independent \c ClangTidyError.
255//
256// FIXME: If we move away from unit-tests, this can be moved to a private
257// implementation file.
258class ClangTidyDiagnosticConsumer : public DiagnosticConsumer {
259public:
Alexander Kornienko0ba86b72014-01-09 16:31:25 +0000260 ClangTidyDiagnosticConsumer(ClangTidyContext &Ctx);
Daniel Jasperd07c8402013-07-29 08:19:24 +0000261
262 // FIXME: The concept of converting between FixItHints and Replacements is
263 // more generic and should be pulled out into a more useful Diagnostics
264 // library.
Alexander Kornienkocb9272f2014-02-27 13:14:51 +0000265 void HandleDiagnostic(DiagnosticsEngine::Level DiagLevel,
Craig Toppera3dbe842014-03-02 10:20:11 +0000266 const Diagnostic &Info) override;
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000267
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000268 /// \brief Flushes the internal diagnostics buffer to the ClangTidyContext.
Craig Toppera3dbe842014-03-02 10:20:11 +0000269 void finish() override;
Daniel Jasperd07c8402013-07-29 08:19:24 +0000270
271private:
Alexander Kornienko54461eb2014-02-06 14:50:10 +0000272 void finalizeLastError();
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000273
Angel Garcia Gomez16693572015-10-16 11:43:49 +0000274 void removeIncompatibleErrors(SmallVectorImpl<ClangTidyError> &Errors) const;
275
Daniel Jasper4d871f92015-08-12 13:16:41 +0000276 /// \brief Returns the \c HeaderFilter constructed for the options set in the
277 /// context.
Angel Garcia Gomez16693572015-10-16 11:43:49 +0000278 llvm::Regex *getHeaderFilter();
Daniel Jasper4d871f92015-08-12 13:16:41 +0000279
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000280 /// \brief Updates \c LastErrorRelatesToUserCode and LastErrorPassesLineFilter
281 /// according to the diagnostic \p Location.
Alexander Kornienkodad4acb2014-05-22 16:07:11 +0000282 void checkFilters(SourceLocation Location);
283 bool passesLineFilter(StringRef FileName, unsigned LineNumber) const;
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000284
Daniel Jasperd07c8402013-07-29 08:19:24 +0000285 ClangTidyContext &Context;
Ahmed Charles6a2dc5c2014-03-09 09:24:40 +0000286 std::unique_ptr<DiagnosticsEngine> Diags;
Manuel Klimek814f9bd2013-11-14 15:49:44 +0000287 SmallVector<ClangTidyError, 8> Errors;
Alexander Kornienkoa4695222014-06-05 13:31:45 +0000288 std::unique_ptr<llvm::Regex> HeaderFilter;
Alexander Kornienko54461eb2014-02-06 14:50:10 +0000289 bool LastErrorRelatesToUserCode;
Alexander Kornienkodad4acb2014-05-22 16:07:11 +0000290 bool LastErrorPassesLineFilter;
Daniel Jasperd07c8402013-07-29 08:19:24 +0000291};
292
293} // end namespace tidy
294} // end namespace clang
295
Alexander Kornienko66580552015-03-09 16:52:33 +0000296#endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_CLANGTIDYDIAGNOSTICCONSUMER_H