commit 5f2bb242a3154da49c150ffdc7829383adddb15e
author Sam McCall <sammccall@google.com> Thu Sep 14 07:02:56 2023 -0700
committer Copybara-Service <copybara-worker@google.com> Thu Sep 14 07:03:27 2023 -0700
tree bae707aaa379e2e8a81e5e0abfc6fa7424f3272e
parent 159f288e91bbf18ecc52359c14d3a13dce165cdd

Treat base->member as a dereference of base, for inference

PiperOrigin-RevId: 565356557
Change-Id: I6dde05cf3bd2180835e7340179ac20dce4c6646d

nullability/inference/collect_evidence_test.cc

diff --git a/nullability/inference/collect_evidence_test.cc b/nullability/inference/collect_evidence_test.cc
index 696a7cd..4fca9e2 100644
--- a/nullability/inference/collect_evidence_test.cc
+++ b/nullability/inference/collect_evidence_test.cc
@@ -123,6 +123,22 @@
               UnorderedElementsAre(
                   evidence(paramSlot(0), Evidence::UNCHECKED_DEREFERENCE)));
 }
+TEST(CollectEvidenceFromImplementationTest, DerefArrow) {
+  static constexpr llvm::StringRef Src = R"cc(
+    struct S {
+      int x;
+      int y();
+    };
+    void target(S *a, S *b) {
+      a->x;
+      b->y();
+    }
+  )cc";
+  EXPECT_THAT(collectEvidenceFromTargetFunction(Src),
+              UnorderedElementsAre(
+                  evidence(paramSlot(0), Evidence::UNCHECKED_DEREFERENCE),
+                  evidence(paramSlot(1), Evidence::UNCHECKED_DEREFERENCE)));
+}
 TEST(InferAnnotationsTest, DerefOfNonnull) {
   static constexpr llvm::StringRef Src = R"cc(
     void target(Nonnull<int *> p) {