1 //===--- FloatLoopCounter.cpp - clang-tidy---------------------------------===//
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 #include "FloatLoopCounter.h"
10 #include "clang/AST/ASTContext.h"
11 #include "clang/ASTMatchers/ASTMatchFinder.h"
12 
13 using namespace clang::ast_matchers;
14 
15 namespace clang {
16 namespace tidy {
17 namespace cert {
18 
registerMatchers(MatchFinder * Finder)19 void FloatLoopCounter::registerMatchers(MatchFinder *Finder) {
20   Finder->addMatcher(
21       forStmt(hasIncrement(expr(hasType(realFloatingPointType())))).bind("for"),
22       this);
23 }
24 
check(const MatchFinder::MatchResult & Result)25 void FloatLoopCounter::check(const MatchFinder::MatchResult &Result) {
26   const auto *FS = Result.Nodes.getNodeAs<ForStmt>("for");
27 
28   diag(FS->getInc()->getExprLoc(), "loop induction expression should not have "
29                                    "floating-point type");
30 }
31 
32 } // namespace cert
33 } // namespace tidy
34 } // namespace clang
35