Add an ASTMatcher for ignoring ExprWithCleanups.

[timshen]

Summary

This is part of the fix of clang-tidy patterns to adapt to newly added ExprWithCleanups node.

[klimek]

Please add a test.

[aaron.ballman]

Also, please add documentation to the matcher definition and regenerate the documentation.

[timshen]

Done.

[aaron.ballman]

include/clang/ASTMatchers/ASTMatchers.h

629

This documentation is used to generate the public docs, so it should include examples with matchers (of what does and does not match). It's especially important because this AST matcher may not be obvious to everyone as to why you'd use it or what it applies to.

633

Should be auto * (possibly const-qualified if you can get away with it).

[etienneb]

I was wondering why we didn't created that Matcher: IgnoreImplicit

I believe it's more commonly used than 'ignoringExprWithCleanups'.

It can be implemented by calling 'Stmt.IgnoreImplicit'.

/// Skip past any implicit AST nodes which might surround this
/// statement, such as ExprWithCleanups or ImplicitCastExpr nodes.
Stmt *IgnoreImplicit();

unittests/ASTMatchers/ASTMatchersTraversalTest.cpp

2018 ↗

(On Diff #60704)

nit: you can lift that expression to a local variable:

varDecl(hasInitializer(ignoringExprWithCleanups(

ignoringParenImpCasts(integerLiteral()))))))

It's used 3 times.

[timshen]

I was wondering why we didn't created that Matcher: IgnoreImplicit

Actually you are right. There already exists a IgnoreImplict in clang-tidy and I just switched to that.

Abandoning this patch.

Thanks!

include/clang/ASTMatchers/ASTMatchers.h

 ///    varDecl(hasInitializer(integerLiteral()))
 ///    varDecl(hasInitializer(declRefExpr()))
 /// would only match the declaration for a.
 AST_MATCHER_P(Expr, ignoringParenImpCasts,
               internal::Matcher<Expr>, InnerMatcher) {
   return InnerMatcher.matches(*Node.IgnoreParenImpCasts(), Finder, Builder);
 }
 
+/// \brief Matches expressions that match InnerMatcher after ExprWithCleanups
+/// are stripped off.
+AST_MATCHER_P(Expr, ignoringExprWithCleanups, internal::Matcher<Expr>,
+              InnerMatcher) {
+  auto E = &Node;
+  if (auto Cleanups = dyn_cast<ExprWithCleanups>(E))
+    E = Cleanups->getSubExpr();
+  return InnerMatcher.matches(*E, Finder, Builder);
+}
+
 /// \brief Matches types that match InnerMatcher after any parens are stripped.
 ///
 /// Given
 /// \code
 ///   void (*fp)(void);
 /// \endcode
 /// The matcher
 /// \code