Searched refs:TypeErasedDataflowAnalysisState (Results 1 – 5 of 5) sorted by relevance
45 llvm::ArrayRef<llvm::Optional<TypeErasedDataflowAnalysisState>> in StmtToEnvMapImpl()165 static TypeErasedDataflowAnalysisState computeBlockInputState( in computeBlockInputState()202 llvm::Optional<TypeErasedDataflowAnalysisState> MaybeState; in computeBlockInputState()212 const llvm::Optional<TypeErasedDataflowAnalysisState> &MaybePredState = in computeBlockInputState()217 TypeErasedDataflowAnalysisState PredState = MaybePredState.value(); in computeBlockInputState()251 TypeErasedDataflowAnalysisState &State, in transferCFGStmt()253 const TypeErasedDataflowAnalysisState &)> in transferCFGStmt()304 TypeErasedDataflowAnalysisState transferBlock( in transferBlock()310 const TypeErasedDataflowAnalysisState &)> in transferBlock()312 TypeErasedDataflowAnalysisState State = in transferBlock()[all …]
105 struct TypeErasedDataflowAnalysisState { struct112 TypeErasedDataflowAnalysisState(TypeErasedLattice Lattice, Environment Env) in TypeErasedDataflowAnalysisState() argument126 TypeErasedDataflowAnalysisState transferBlock(128 std::vector<llvm::Optional<TypeErasedDataflowAnalysisState>> &BlockStates,132 const TypeErasedDataflowAnalysisState &)>141 llvm::Expected<std::vector<llvm::Optional<TypeErasedDataflowAnalysisState>>>145 std::function<void(const Stmt *, const TypeErasedDataflowAnalysisState &)>
130 std::function<void(const Stmt *, const TypeErasedDataflowAnalysisState &)>135 const TypeErasedDataflowAnalysisState &State) {
71 std::vector<llvm::Optional<TypeErasedDataflowAnalysisState>> &BlockStates;80 const TypeErasedDataflowAnalysisState &)>115 std::function<void(const Stmt *, const TypeErasedDataflowAnalysisState &)>120 const TypeErasedDataflowAnalysisState &State) {131 llvm::Expected<std::vector<llvm::Optional<TypeErasedDataflowAnalysisState>>>184 const TypeErasedDataflowAnalysisState &State) {
1249 const TypeErasedDataflowAnalysisState &State) mutable { in ExpectDiagnosticsFor()