59 lines · c
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-exception6//7//===----------------------------------------------------------------------===//8 9#ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MISC_CONSTCORRECTNESSCHECK_H10#define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MISC_CONSTCORRECTNESSCHECK_H11 12#include "../ClangTidyCheck.h"13#include "clang/Analysis/Analyses/ExprMutationAnalyzer.h"14#include "llvm/ADT/DenseSet.h"15 16namespace clang::tidy::misc {17 18/// This check warns on variables which could be declared const but are not.19///20/// For the user-facing documentation see:21/// https://clang.llvm.org/extra/clang-tidy/checks/misc/const-correctness.html22class ConstCorrectnessCheck : public ClangTidyCheck {23public:24 ConstCorrectnessCheck(StringRef Name, ClangTidyContext *Context);25 26 // The rules for C and 'const' are different and incompatible for this check.27 bool isLanguageVersionSupported(const LangOptions &LangOpts) const override {28 return LangOpts.CPlusPlus;29 }30 void storeOptions(ClangTidyOptions::OptionMap &Opts) override;31 void registerMatchers(ast_matchers::MatchFinder *Finder) override;32 void check(const ast_matchers::MatchFinder::MatchResult &Result) override;33 34private:35 void registerScope(const Stmt *LocalScope, ASTContext *Context);36 37 using MutationAnalyzer = std::unique_ptr<ExprMutationAnalyzer>;38 llvm::DenseMap<const Stmt *, MutationAnalyzer> ScopesCache;39 llvm::DenseSet<SourceLocation> TemplateDiagnosticsCache;40 41 const bool AnalyzePointers;42 const bool AnalyzeReferences;43 const bool AnalyzeValues;44 45 const bool WarnPointersAsPointers;46 const bool WarnPointersAsValues;47 48 const bool TransformPointersAsPointers;49 const bool TransformPointersAsValues;50 const bool TransformReferences;51 const bool TransformValues;52 53 const std::vector<StringRef> AllowedTypes;54};55 56} // namespace clang::tidy::misc57 58#endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_MISC_CONSTCORRECTNESSCHECK_H59