1 //===--- FoldInitTypeCheck.h - clang-tidy------------------------*- C++ -*-===// 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-exception 6 // 7 //===----------------------------------------------------------------------===// 8 9 #ifndef LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_FOLD_INIT_TYPE_H 10 #define LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_FOLD_INIT_TYPE_H 11 12 #include "../ClangTidyCheck.h" 13 14 namespace clang::tidy::bugprone { 15 16 /// Find and flag invalid initializer values in folds, e.g. std::accumulate. 17 /// Example: 18 /// \code 19 /// auto v = {65536L * 65536 * 65536}; 20 /// std::accumulate(begin(v), end(v), 0 /* int type is too small */); 21 /// \endcode 22 /// 23 /// For the user-facing documentation see: 24 /// http://clang.llvm.org/extra/clang-tidy/checks/bugprone/fold-init-type.html 25 class FoldInitTypeCheck : public ClangTidyCheck { 26 public: FoldInitTypeCheck(StringRef Name,ClangTidyContext * Context)27 FoldInitTypeCheck(StringRef Name, ClangTidyContext *Context) 28 : ClangTidyCheck(Name, Context) {} 29 void registerMatchers(ast_matchers::MatchFinder *Finder) override; 30 void check(const ast_matchers::MatchFinder::MatchResult &Result) override; 31 32 private: 33 void doCheck(const BuiltinType &IterValueType, const BuiltinType &InitType, 34 const ASTContext &Context, const CallExpr &CallNode); 35 }; 36 37 } // namespace clang::tidy::bugprone 38 39 #endif // LLVM_CLANG_TOOLS_EXTRA_CLANG_TIDY_BUGPRONE_FOLD_INIT_TYPE_H 40