11 #include "clang/AST/ASTContext.h" 12 #include "clang/ASTMatchers/ASTMatchFinder.h" 18 namespace cppcoreguidelines {
21 ast_matchers::internal::Matcher<DeclStmt>, InnerMatcher) {
22 for (
const DeclStmt *Stmt : {Node.getBeginStmt(), Node.getEndStmt()})
23 if (Stmt !=
nullptr && InnerMatcher.matches(*Stmt, Finder, Builder))
29 return stmt(hasAncestor(cxxForRangeStmt(
30 hasRangeBeginEndStmt(hasDescendant(equalsNode(&Node))))))
31 .matches(Node, Finder, Builder);
35 ast_matchers::internal::Matcher<Expr>, InnerMatcher) {
36 const Expr *E = &Node;
38 ASTContext::DynTypedNodeList Parents =
39 Finder->getASTContext().getParents(*E);
40 if (Parents.size() != 1)
42 E = Parents[0].get<Expr>();
45 }
while (isa<ImplicitCastExpr>(E));
47 return InnerMatcher.matches(*E, Finder, Builder);
50 void ProBoundsArrayToPointerDecayCheck::registerMatchers(MatchFinder *Finder) {
51 if (!getLangOpts().CPlusPlus)
59 implicitCastExpr(unless(hasParent(arraySubscriptExpr())),
60 unless(hasParentIgnoringImpCasts(explicitCastExpr())),
61 unless(isInsideOfRangeBeginEndStmt()),
62 unless(hasSourceExpression(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");
AST_MATCHER_P(Expr, hasParentIgnoringImpCasts, ast_matchers::internal::Matcher< Expr >, InnerMatcher)
AST_MATCHER(VarDecl, isAsm)