10 #include "clang/AST/ASTContext.h"
11 #include "clang/AST/ParentMapContext.h"
12 #include "clang/ASTMatchers/ASTMatchFinder.h"
18 namespace cppcoreguidelines {
22 ast_matchers::internal::Matcher<DeclStmt>, InnerMatcher) {
23 for (
const DeclStmt *Stmt : {Node.getBeginStmt(), Node.getEndStmt()})
24 if (Stmt !=
nullptr && InnerMatcher.matches(*Stmt, Finder,
Builder))
30 return stmt(hasAncestor(cxxForRangeStmt(
31 hasRangeBeginEndStmt(hasDescendant(equalsNode(&Node))))))
32 .matches(Node, Finder,
Builder);
36 ast_matchers::internal::Matcher<Expr>, InnerMatcher) {
37 const Expr *
E = &Node;
39 DynTypedNodeList
Parents = Finder->getASTContext().getParents(*
E);
45 }
while (isa<ImplicitCastExpr>(
E));
47 return InnerMatcher.matches(*
E, Finder,
Builder);
51 void ProBoundsArrayToPointerDecayCheck::registerMatchers(MatchFinder *Finder) {
57 traverse(ast_type_traits::TK_AsIs,
59 unless(hasParent(arraySubscriptExpr())),
60 unless(hasParentIgnoringImpCasts(explicitCastExpr())),
61 unless(isInsideOfRangeBeginEndStmt()),
62 unless(hasSourceExpression(ignoringParens(stringLiteral()))))
67 void ProBoundsArrayToPointerDecayCheck::check(
68 const MatchFinder::MatchResult &Result) {
69 const auto *MatchedCast = Result.Nodes.getNodeAs<ImplicitCastExpr>(
"cast");
70 if (MatchedCast->getCastKind() != CK_ArrayToPointerDecay)
73 diag(MatchedCast->getExprLoc(),
"do not implicitly decay an array into a "
74 "pointer; consider using gsl::array_view or "
75 "an explicit cast instead");