Check that return values comply with the nullability annotations (if any) on the function return type.
For example, it is unsafe to return a nullable value where the return type has been annotated to nonnull.
```
int * _Nonnull foo(int * _Nullable ptr_nullable) {
return ptr_nullable; // Unsafe
}
```
PiperOrigin-RevId: 470203776
diff --git a/nullability_verification/pointer_nullability_matchers.h b/nullability_verification/pointer_nullability_matchers.h
index c666321..be05e1c 100644
--- a/nullability_verification/pointer_nullability_matchers.h
+++ b/nullability_verification/pointer_nullability_matchers.h
@@ -21,6 +21,7 @@
ast_matchers::internal::Matcher<Stmt> isPointerCheckBinOp();
ast_matchers::internal::Matcher<Stmt> isImplicitCastPointerToBool();
ast_matchers::internal::Matcher<Stmt> isCallExpr();
+ast_matchers::internal::Matcher<Stmt> isPointerReturn();
} // namespace nullability
} // namespace tidy
