40 /// Base class template for dataflow analyses built on a single lattice type.
46 ///   * `LatticeT initialElement()` - returns a lattice element that models the
49 ///     the analysis transfer function for a given CFG element and lattice
73 ///    lattice element with an  approximation that can reach a fixed point more
83   using Lattice = LatticeT;
100     Lattice L1 = llvm::any_cast<const Lattice &>(E1.Value);  in joinTypeErased()
101     const Lattice &L2 = llvm::any_cast<const Lattice &>(E2.Value);  in joinTypeErased()
108     Lattice &C = llvm::any_cast<Lattice &>(Current.Value);  in widenTypeErased()
109     const Lattice &P = llvm::any_cast<const Lattice &>(Previous.Value);  in widenTypeErased()
115     const Lattice &L1 = llvm::any_cast<const Lattice &>(E1.Value);  in isEqualTypeErased()
116     const Lattice &L2 = llvm::any_cast<const Lattice &>(E2.Value);  in isEqualTypeErased()
122     Lattice &L = llvm::any_cast<Lattice &>(E.Value);  in transferTypeErased()
148   static LatticeJoinEffect widenInternal(Rank1, const Lattice &Current,  in widenInternal()
149                                          const Lattice &Prev) {  in widenInternal()
161     A.transferBranch(Branch, Stmt, llvm::any_cast<Lattice &>(L.Value), Env);
175   LatticeT Lattice;  member
186     const DataflowAnalysisState<typename AnalysisT::Lattice> &)>;
202     const TransferStateForDiagnostics<typename AnalysisT::Lattice> &)>;
233     std::optional<DataflowAnalysisState<typename AnalysisT::Lattice>>>>
243           auto *Lattice =  variable
244               llvm::any_cast<typename AnalysisT::Lattice>(&State.Lattice.Value);
248               Element, DataflowAnalysisState<typename AnalysisT::Lattice>{
249                            *Lattice, State.Env.fork()});
256           auto *Lattice =  variable
257               llvm::any_cast<typename AnalysisT::Lattice>(&State.Lattice.Value);
261               Element, DataflowAnalysisState<typename AnalysisT::Lattice>{
262                            *Lattice, State.Env.fork()});
271   std::vector<std::optional<DataflowAnalysisState<typename AnalysisT::Lattice>>>
280               return DataflowAnalysisState<typename AnalysisT::Lattice>{
281                   llvm::any_cast<typename AnalysisT::Lattice>(
282                       std::move(State.Lattice.Value)),
295     std::optional<DataflowAnalysisState<typename AnalysisT::Lattice>>>>
359               TransferStateForDiagnostics<typename AnalysisT::Lattice>(
360                   llvm::any_cast<const typename AnalysisT::Lattice &>(
361                       State.Lattice.Value),
373               TransferStateForDiagnostics<typename AnalysisT::Lattice>(
374                   llvm::any_cast<const typename AnalysisT::Lattice &>(
375                       State.Lattice.Value),