Rename /nullability_verification to /nullability in preparation for adding/relocating inference functionality here.
PiperOrigin-RevId: 528495113
diff --git a/nullability/pointer_nullability_matchers.cc b/nullability/pointer_nullability_matchers.cc
new file mode 100644
index 0000000..e2416c5
--- /dev/null
+++ b/nullability/pointer_nullability_matchers.cc
@@ -0,0 +1,70 @@
+// Part of the Crubit project, under the Apache License v2.0 with LLVM
+// Exceptions. See /LICENSE for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+
+#include "nullability/pointer_nullability_matchers.h"
+
+#include "clang/AST/OperationKinds.h"
+#include "clang/ASTMatchers/ASTMatchers.h"
+
+namespace clang {
+namespace tidy {
+namespace nullability {
+
+using ast_matchers::anyOf;
+using ast_matchers::binaryOperator;
+using ast_matchers::callExpr;
+using ast_matchers::cxxConstructExpr;
+using ast_matchers::cxxCtorInitializer;
+using ast_matchers::cxxThisExpr;
+using ast_matchers::declRefExpr;
+using ast_matchers::expr;
+using ast_matchers::hasAnyOperatorName;
+using ast_matchers::hasCastKind;
+using ast_matchers::hasOperands;
+using ast_matchers::hasOperatorName;
+using ast_matchers::hasReturnValue;
+using ast_matchers::hasType;
+using ast_matchers::hasUnaryOperand;
+using ast_matchers::implicitCastExpr;
+using ast_matchers::isAnyPointer;
+using ast_matchers::isArrow;
+using ast_matchers::isMemberInitializer;
+using ast_matchers::memberExpr;
+using ast_matchers::returnStmt;
+using ast_matchers::unaryOperator;
+using ast_matchers::internal::Matcher;
+
+Matcher<Stmt> isPointerExpr() { return expr(hasType(isAnyPointer())); }
+Matcher<Stmt> isNullPointerLiteral() {
+ return implicitCastExpr(anyOf(hasCastKind(CK_NullToPointer),
+ hasCastKind(CK_NullToMemberPointer)));
+}
+Matcher<Stmt> isAddrOf() { return unaryOperator(hasOperatorName("&")); }
+Matcher<Stmt> isPointerDereference() {
+ return unaryOperator(hasOperatorName("*"), hasUnaryOperand(isPointerExpr()));
+}
+Matcher<Stmt> isPointerCheckBinOp() {
+ return binaryOperator(hasAnyOperatorName("!=", "=="),
+ hasOperands(isPointerExpr(), isPointerExpr()));
+}
+Matcher<Stmt> isImplicitCastPointerToBool() {
+ return implicitCastExpr(hasCastKind(CK_PointerToBoolean));
+}
+Matcher<Stmt> isMemberOfPointerType() {
+ return memberExpr(hasType(isAnyPointer()));
+}
+Matcher<Stmt> isPointerArrow() { return memberExpr(isArrow()); }
+Matcher<Stmt> isCXXThisExpr() { return cxxThisExpr(); }
+Matcher<Stmt> isCallExpr() { return callExpr(); }
+Matcher<Stmt> isPointerReturn() {
+ return returnStmt(hasReturnValue(hasType(isAnyPointer())));
+}
+Matcher<Stmt> isConstructExpr() { return cxxConstructExpr(); }
+Matcher<CXXCtorInitializer> isCtorMemberInitializer() {
+ return cxxCtorInitializer(isMemberInitializer());
+}
+
+} // namespace nullability
+} // namespace tidy
+} // namespace clang
