commit cebc226115e9ccd4795823986751f8e813a165b6
author Wei Yi Tee <wyt@google.com> Fri Jun 10 04:27:57 2022 -0700
committer Copybara-Service <copybara-worker@google.com> Fri Jun 10 04:28:29 2022 -0700
tree 9f16caa76e5f84ae076a43f1144f7047b1b19a61
parent f02698e3b2e092d3a3264c856dce1707dcb337cd

Implement transfer function for identifying `this` pointer as always non-null.

PiperOrigin-RevId: 454134063

nullability_verification/pointer_nullability_matchers.h

diff --git a/nullability_verification/pointer_nullability_matchers.h b/nullability_verification/pointer_nullability_matchers.h
index b4f4a78..23b42b8 100644
--- a/nullability_verification/pointer_nullability_matchers.h
+++ b/nullability_verification/pointer_nullability_matchers.h
@@ -13,6 +13,7 @@
 
 ast_matchers::internal::Matcher<Stmt> isPointerVariableReference();
 ast_matchers::internal::Matcher<Stmt> isMemberExprInvolvingPointers();
+ast_matchers::internal::Matcher<Stmt> isCXXThisExpr();
 ast_matchers::internal::Matcher<Stmt> isNullPointerLiteral();
 ast_matchers::internal::Matcher<Stmt> isAddrOf();
 ast_matchers::internal::Matcher<Stmt> isPointerDereference();