Implement matchers for identifying pointers that are members of structs/classes.
PiperOrigin-RevId: 454133514
diff --git a/nullability_verification/pointer_nullability_matchers.cc b/nullability_verification/pointer_nullability_matchers.cc
index a43344d..4f277dc 100644
--- a/nullability_verification/pointer_nullability_matchers.cc
+++ b/nullability_verification/pointer_nullability_matchers.cc
@@ -23,6 +23,7 @@
using ast_matchers::ignoringImplicit;
using ast_matchers::implicitCastExpr;
using ast_matchers::isAnyPointer;
+using ast_matchers::memberExpr;
using ast_matchers::nullPointerConstant;
using ast_matchers::unaryOperator;
using ast_matchers::internal::Matcher;
@@ -45,7 +46,9 @@
Matcher<Stmt> isImplicitCastPointerToBool() {
return implicitCastExpr(hasCastKind(CK_PointerToBoolean));
}
-
+Matcher<Stmt> isPointerMemberExpr() {
+ return memberExpr(hasType(isAnyPointer()));
+}
} // namespace nullability
} // namespace tidy
} // namespace clang
