commit 7c0fffbd0f53c6430f37c6415b81d48c6c7b49cf
author Googler <no-reply@google.com> Fri Sep 22 07:02:43 2023 -0700
committer Copybara-Service <copybara-worker@google.com> Fri Sep 22 07:03:22 2023 -0700
tree 22a6115e5037f21b111befea897bc645d6fb9496
parent a8680262533feaa5b5f6f677d649dba62a6d6c06

Rename CallerSlotsUnknown to reflect the generic use of this function.

PiperOrigin-RevId: 567611478
Change-Id: I15eb76bd2a5cfee5cb5cd80edbb60dca6e9ae989

nullability/inference/collect_evidence.cc

diff --git a/nullability/inference/collect_evidence.cc b/nullability/inference/collect_evidence.cc
index 330bf33..7d5837b 100644
--- a/nullability/inference/collect_evidence.cc
+++ b/nullability/inference/collect_evidence.cc
@@ -149,13 +149,14 @@
     std::vector<std::pair<PointerTypeNullability, Slot>> &InferrableSlots,
     const dataflow::Environment &Env) {
   dataflow::Arena &A = Env.getDataflowAnalysisContext().arena();
-  const dataflow::Formula *CallerSlotsUnknown = &A.makeLiteral(true);
+  const dataflow::Formula *InferrableSlotsUnknown = &A.makeLiteral(true);
   for (auto &[Nullability, Slot] : InferrableSlots) {
-    CallerSlotsUnknown = &A.makeAnd(
-        *CallerSlotsUnknown, A.makeAnd(A.makeNot(Nullability.isNullable(A)),
-                                       A.makeNot(Nullability.isNonnull(A))));
+    InferrableSlotsUnknown =
+        &A.makeAnd(*InferrableSlotsUnknown,
+                   A.makeAnd(A.makeNot(Nullability.isNullable(A)),
+                             A.makeNot(Nullability.isNonnull(A))));
   }
-  return CallerSlotsUnknown;
+  return InferrableSlotsUnknown;
 }
 
 void collectEvidenceFromCallExpr(