Home
last modified time | relevance | path

Searched refs:TypeErasedDataflowAnalysisState (Results 1 – 8 of 8) sorted by relevance

/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.cpp107 llvm::ArrayRef<std::optional<TypeErasedDataflowAnalysisState>>
125 llvm::ArrayRef<std::optional<TypeErasedDataflowAnalysisState>> BlockStates;
169 // Builds a joined TypeErasedDataflowAnalysisState from 0 or more sources, in join()
176 std::vector<const TypeErasedDataflowAnalysisState *> All; in addOwned()
177 std::deque<TypeErasedDataflowAnalysisState> Owned; in addOwned()
179 TypeErasedDataflowAnalysisState in addOwned()
180 join(const TypeErasedDataflowAnalysisState &L, in addUnowned()
181 const TypeErasedDataflowAnalysisState &R) { in addUnowned()
191 void addOwned(TypeErasedDataflowAnalysisState State) { in take()
195 void addUnowned(const TypeErasedDataflowAnalysisState in take()
[all...]
H A DLogger.cpp88 void recordState(TypeErasedDataflowAnalysisState &State) override { in recordState()
H A DHTMLLogger.cpp267 void recordState(TypeErasedDataflowAnalysisState &State) override {
/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.h120 struct TypeErasedDataflowAnalysisState { struct
127 TypeErasedDataflowAnalysisState(TypeErasedLattice Lattice, Environment Env) in TypeErasedDataflowAnalysisState() argument
130 TypeErasedDataflowAnalysisState fork() const { in fork() argument
131 return TypeErasedDataflowAnalysisState(Lattice, Env.fork()); in fork()
138 const CFGElement &, const TypeErasedDataflowAnalysisState &)>;
160 llvm::Expected<std::vector<std::optional<TypeErasedDataflowAnalysisState>>>
H A DTransfer.h33 llvm::ArrayRef<std::optional<TypeErasedDataflowAnalysisState>> in StmtToEnvMap()
36 const TypeErasedDataflowAnalysisState &CurState) in StmtToEnvMap()
46 llvm::ArrayRef<std::optional<TypeErasedDataflowAnalysisState>> BlockToState;
48 const TypeErasedDataflowAnalysisState &CurState;
H A DLogger.h20 struct TypeErasedDataflowAnalysisState;
62 virtual void recordState(TypeErasedDataflowAnalysisState &) {} in recordState() argument
H A DDataflowAnalysis.h242 const TypeErasedDataflowAnalysisState &State) {
255 const TypeErasedDataflowAnalysisState &State) {
279 std::move(OptState), [](TypeErasedDataflowAnalysisState &&State) {
340 const TypeErasedDataflowAnalysisState &State) mutable {
354 const TypeErasedDataflowAnalysisState &State) mutable {
/llvm-project/clang/unittests/Analysis/FlowSensitive/
H A DLoggerTest.cpp78 void recordState(TypeErasedDataflowAnalysisState &S) override { in recordState()