commit 9949b4613e532f62bb69177a05c660dc13695194
author Googler <no-reply@google.com> Wed Feb 15 05:09:07 2023 -0800
committer Copybara-Service <copybara-worker@google.com> Wed Feb 15 05:09:46 2023 -0800
tree ae34a5e19980536a53f5f82da68a5ab54fc73da2
parent 50147a383031ca3ff2f1e5dd94119e59f6964820

The LLVM patch https://reviews.llvm.org/D143920 changes the type signature of `transfer()`. Since this is a concept and not a virtual interface, we can prepare for this change by adding the new overload.

PiperOrigin-RevId: 509801501

nullability_verification/pointer_nullability_analysis.cc

diff --git a/nullability_verification/pointer_nullability_analysis.cc b/nullability_verification/pointer_nullability_analysis.cc
index f795194..a8a1a16 100644
--- a/nullability_verification/pointer_nullability_analysis.cc
+++ b/nullability_verification/pointer_nullability_analysis.cc
@@ -459,12 +459,12 @@
       NonFlowSensitiveTransferer(buildNonFlowSensitiveTransferer()),
       FlowSensitiveTransferer(buildFlowSensitiveTransferer()) {}
 
-void PointerNullabilityAnalysis::transfer(const CFGElement* Elt,
+void PointerNullabilityAnalysis::transfer(const CFGElement& Elt,
                                           PointerNullabilityLattice& Lattice,
                                           Environment& Env) {
   TransferState<PointerNullabilityLattice> State(Lattice, Env);
-  NonFlowSensitiveTransferer(*Elt, getASTContext(), State);
-  FlowSensitiveTransferer(*Elt, getASTContext(), State);
+  NonFlowSensitiveTransferer(Elt, getASTContext(), State);
+  FlowSensitiveTransferer(Elt, getASTContext(), State);
 }
 
 BoolValue& mergeBoolValues(BoolValue& Bool1, const Environment& Env1,