[clang] [llvm] [clang] Add hasAdjSubstatements matcher (PR #169965)

[Baranov Victor via llvm-commits]

================
@@ -5911,6 +5911,30 @@ AST_POLYMORPHIC_MATCHER_P(hasAnySubstatement,
                                           Builder) != CS->body_end();
 }
 
+/// Matches compound statements that contain adjacent substatements matching
+/// the provided sequence of matchers. Also matches StmtExprs that have
+/// CompoundStmt as children.
+///
+/// Given
+/// \code
+///   { {}; 1+2; }
+/// \endcode
+/// hasAdjSubstatements(compoundStmt(), binaryOperator())
+///   matches '{ {}; 1+2; }'
+/// with compoundStmt()
+///   matching '{}'
+/// with binaryOperator()
+///   matching '1+2'
+///
+///    hasAdjSubstatements(compoundStmt(), binaryOperator(), returnStmt())
+///  Is equivalent to matching a compound statement that contains
+///  a compound statement immediately followed by a binary operator
+///  immediately followed by a return statement.
+extern const internal::VariadicFunction<
+    internal::HasAdjSubstatementsMatcherType, internal::Matcher<Stmt>,
+    internal::hasAdjSubstatementsFunc>
+    hasAdjSubstatements;
----------------
vbvictor wrote:

Can we write the full name `hasAdjacentSubstatements`.
Also, do we need "Sub" word here, here because on `CompoundStmt` we expect to have substatements by default (what else can it be?).

I'm slightly in favor of `hasAdjacentStatements` name or at least `hasAdjacentSubstatements`.

https://github.com/llvm/llvm-project/pull/169965