Matches a static variable with local scope.
diff --git a/clang/include/clang/ASTMatchers/ASTMatchers.h b/clang/include/clang/ASTMatchers/ASTMatchers.h
--- a/clang/include/clang/ASTMatchers/ASTMatchers.h
+++ b/clang/include/clang/ASTMatchers/ASTMatchers.h
@@ -4205,6 +4205,45 @@
InnerMatcher.matches(*Initializer, Finder, Builder));
}
+/// Matches a variable serving as the implicit variable for a lambda init-
+/// capture.
+///
+/// Example matches x (matcher = varDecl(isInitCapture()))
+/// \code
+/// auto f = [x=3]() { return x; };
+/// \endcode
+AST_MATCHER(VarDecl, isInitCapture) { return Node.isInitCapture(); }
+
+/// Matches each lambda capture in a lambda expression.
+///
+/// Given
+/// \code
+/// int main() {
+/// int x, y;
+/// float z;
+/// auto f = [=]() { return x + y + z; };
+/// }
+/// \endcode
+/// lambdaExpr(forEachLambdaCapture(
+/// lambdaCapture(capturesVar(varDecl(hasType(isInteger()))))))
+/// will trigger two matches, binding for 'x' and 'y' respectively.
+AST_MATCHER_P(LambdaExpr, forEachLambdaCapture, LambdaCaptureMatcher,
+ InnerMatcher) {
+ BoundNodesTreeBuilder Result;
+ bool Matched = false;
+ for (const auto &Capture : Node.captures()) {
+ if (Finder->isTraversalIgnoringImplicitNodes() && Capture.isImplicit())
+ continue;
+ BoundNodesTreeBuilder CaptureBuilder(*Builder);
+ if (InnerMatcher.matches(Capture, Finder, &CaptureBuilder)) {
+ Matched = true;
+ Result.addMatch(CaptureBuilder);
+ }
+ }
+ *Builder = std::move(Result);
+ return Matched;
+}
+
/// \brief Matches a static variable with local scope.
///
/// Example matches y (matcher = varDecl(isStaticLocal()))
@@ -4590,6 +4629,18 @@
return false;
}
+/// Matches lambda captures.
+///
+/// Given
+/// \code
+/// int main() {
+/// int x;
+/// auto f = [x](){};
+/// auto g = [x = 1](){};
+/// }
+/// \endcode
+/// In the matcher `lambdaExpr(hasAnyCapture(lambdaCapture()))`,
+/// `lambdaCapture()` matches `x` and `x=1`.
extern const internal::VariadicAllOfMatcher lambdaCapture;
/// Matches any capture in a lambda expression.
diff --git a/clang/lib/ASTMatchers/Dynamic/Registry.cpp b/clang/lib/ASTMatchers/Dynamic/Registry.cpp
--- a/clang/lib/ASTMatchers/Dynamic/Registry.cpp
+++ b/clang/lib/ASTMatchers/Dynamic/Registry.cpp
@@ -246,6 +246,7 @@
REGISTER_MATCHER(forEachArgumentWithParamType);
REGISTER_MATCHER(forEachConstructorInitializer);
REGISTER_MATCHER(forEachDescendant);
+ REGISTER_MATCHER(forEachLambdaCapture);
REGISTER_MATCHER(forEachOverridden);
REGISTER_MATCHER(forEachSwitchCase);
REGISTER_MATCHER(forField);
@@ -424,6 +425,7 @@
REGISTER_MATCHER(isImplicit);
REGISTER_MATCHER(isInStdNamespace);
REGISTER_MATCHER(isInTemplateInstantiation);
+ REGISTER_MATCHER(isInitCapture);
REGISTER_MATCHER(isInline);
REGISTER_MATCHER(isInstanceMessage);
REGISTER_MATCHER(isInstanceMethod);
diff --git a/clang/unittests/ASTMatchers/ASTMatchersNarrowingTest.cpp b/clang/unittests/ASTMatchers/ASTMatchersNarrowingTest.cpp
--- a/clang/unittests/ASTMatchers/ASTMatchersNarrowingTest.cpp
+++ b/clang/unittests/ASTMatchers/ASTMatchersNarrowingTest.cpp
@@ -1439,6 +1439,22 @@
EXPECT_TRUE(notMatches("int X;", M));
}
+TEST_P(ASTMatchersTest, IsInitCapture) {
+ if (!GetParam().isCXX11OrLater()) {
+ return;
+ }
+ auto M = varDecl(hasName("vd"), isInitCapture());
+ EXPECT_TRUE(notMatches(
+ "int main() { int vd = 3; auto f = [vd]() { return vd; }; }", M));
+
+ if (!GetParam().isCXX14OrLater()) {
+ return;
+ }
+ EXPECT_TRUE(matches("int main() { auto f = [vd=3]() { return vd; }; }", M));
+ EXPECT_TRUE(matches(
+ "int main() { int x = 3; auto f = [vd=x]() { return vd; }; }", M));
+}
+
TEST_P(ASTMatchersTest, StorageDuration) {
StringRef T =
"void f() { int x; static int y; } int a;static int b;extern int c;";
diff --git a/clang/unittests/ASTMatchers/ASTMatchersTraversalTest.cpp b/clang/unittests/ASTMatchers/ASTMatchersTraversalTest.cpp
--- a/clang/unittests/ASTMatchers/ASTMatchersTraversalTest.cpp
+++ b/clang/unittests/ASTMatchers/ASTMatchersTraversalTest.cpp
@@ -4769,6 +4769,66 @@
cxxConstructorDecl(forEachConstructorInitializer(cxxCtorInitializer()))));
}
+TEST(ForEachLambdaCapture, MatchesCaptures) {
+ EXPECT_TRUE(matches(
+ "int main() { int x, y; auto f = [x, y]() { return x + y; }; }",
+ lambdaExpr(forEachLambdaCapture(lambdaCapture())), langCxx11OrLater()));
+ auto matcher = lambdaExpr(forEachLambdaCapture(
+ lambdaCapture(capturesVar(varDecl(hasType(isInteger())))).bind("LC")));
+ EXPECT_TRUE(matchAndVerifyResultTrue(
+ "int main() { int x, y; float z; auto f = [=]() { return x + y + z; }; }",
+ matcher, std::make_unique>("LC", 2)));
+ EXPECT_TRUE(matchAndVerifyResultTrue(
+ "int main() { int x, y; float z; auto f = [x, y, z]() { return x + y + "
+ "z; }; }",
+ matcher, std::make_unique>("LC", 2)));
+}
+
+TEST(ForEachLambdaCapture, IgnoreUnlessSpelledInSource) {
+ auto matcher =
+ traverse(TK_IgnoreUnlessSpelledInSource,
+ lambdaExpr(forEachLambdaCapture(
+ lambdaCapture(capturesVar(varDecl(hasType(isInteger()))))
+ .bind("LC"))));
+ EXPECT_TRUE(
+ notMatches("int main() { int x, y; auto f = [=]() { return x + y; }; }",
+ matcher, langCxx11OrLater()));
+ EXPECT_TRUE(
+ notMatches("int main() { int x, y; auto f = [&]() { return x + y; }; }",
+ matcher, langCxx11OrLater()));
+ EXPECT_TRUE(matchAndVerifyResultTrue(
+ R"cc(
+ int main() {
+ int x, y;
+ float z;
+ auto f = [=, &y]() { return x + y + z; };
+ }
+ )cc",
+ matcher, std::make_unique>("LC", 1)));
+}
+
+TEST(ForEachLambdaCapture, MatchImplicitCapturesOnly) {
+ auto matcher =
+ lambdaExpr(forEachLambdaCapture(lambdaCapture(isImplicit()).bind("LC")));
+ EXPECT_TRUE(matchAndVerifyResultTrue(
+ "int main() { int x, y, z; auto f = [=, &z]() { return x + y + z; }; }",
+ matcher, std::make_unique>("LC", 2)));
+ EXPECT_TRUE(matchAndVerifyResultTrue(
+ "int main() { int x, y, z; auto f = [&, z]() { return x + y + z; }; }",
+ matcher, std::make_unique>("LC", 2)));
+}
+
+TEST(ForEachLambdaCapture, MatchExplicitCapturesOnly) {
+ auto matcher = lambdaExpr(
+ forEachLambdaCapture(lambdaCapture(unless(isImplicit())).bind("LC")));
+ EXPECT_TRUE(matchAndVerifyResultTrue(
+ "int main() { int x, y, z; auto f = [=, &z]() { return x + y + z; }; }",
+ matcher, std::make_unique>("LC", 1)));
+ EXPECT_TRUE(matchAndVerifyResultTrue(
+ "int main() { int x, y, z; auto f = [&, z]() { return x + y + z; }; }",
+ matcher, std::make_unique>("LC", 1)));
+}
+
TEST(HasConditionVariableStatement, DoesNotMatchCondition) {
EXPECT_TRUE(notMatches(
"void x() { if(true) {} }",
|