commit 217eb5f2f56eac7ad283b4e2d60de5576797a966
author Wei Yi Tee <wyt@google.com> Thu Sep 15 03:18:28 2022 -0700
committer Copybara-Service <copybara-worker@google.com> Thu Sep 15 03:18:56 2022 -0700
tree 3cf1fedb15e868a82ccf0db244bee23e3027355c
parent 5fecde5d39becc302c8c0c4828ecd2a34ae98a46

Replace `transfer(const Stmt *, ...)` with `transfer(const CFGElement *, ...)` in `crubit/nullability_verification`.

PiperOrigin-RevId: 474518575

nullability_verification/pointer_nullability_analysis.h

diff --git a/nullability_verification/pointer_nullability_analysis.h b/nullability_verification/pointer_nullability_analysis.h
index 6d58c08..3ff9ac0 100644
--- a/nullability_verification/pointer_nullability_analysis.h
+++ b/nullability_verification/pointer_nullability_analysis.h
@@ -6,16 +6,12 @@
 #define CRUBIT_NULLABILITY_VERIFICATION_POINTER_NULLABILITY_ANALYSIS_H_
 
 #include "clang/AST/ASTContext.h"
-#include "clang/AST/Expr.h"
-#include "clang/AST/Stmt.h"
 #include "clang/AST/Type.h"
+#include "clang/Analysis/FlowSensitive/CFGMatchSwitch.h"
 #include "clang/Analysis/FlowSensitive/DataflowAnalysis.h"
 #include "clang/Analysis/FlowSensitive/DataflowEnvironment.h"
-#include "clang/Analysis/FlowSensitive/DataflowLattice.h"
-#include "clang/Analysis/FlowSensitive/MatchSwitch.h"
 #include "clang/Analysis/FlowSensitive/NoopLattice.h"
 #include "clang/Analysis/FlowSensitive/Value.h"
-#include "clang/Tooling/Tooling.h"
 
 namespace clang {
 namespace tidy {
@@ -31,7 +27,7 @@
 
   static dataflow::NoopLattice initialElement() { return {}; }
 
-  void transfer(const Stmt* Stmt, dataflow::NoopLattice& Lattice,
+  void transfer(const CFGElement* Elt, dataflow::NoopLattice& Lattice,
                 dataflow::Environment& Env);
 
   bool merge(QualType Type, const dataflow::Value& Val1,
@@ -41,7 +37,7 @@
 
  private:
   // Applies transfer functions on statements
-  dataflow::MatchSwitch<dataflow::TransferState<dataflow::NoopLattice>>
+  dataflow::CFGMatchSwitch<dataflow::TransferState<dataflow::NoopLattice>>
       Transferer;
 };
 }  // namespace nullability