Home
last modified time | relevance | path

Searched refs:TypeErasedLattice (Results 1 – 2 of 2) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.h49 struct TypeErasedLattice { struct
70 virtual TypeErasedLattice typeErasedInitialElement() = 0; argument
75 virtual TypeErasedLattice joinTypeErased(const TypeErasedLattice &,
76 const TypeErasedLattice &) = 0;
89 widenTypeErased(TypeErasedLattice &Current,
90 const TypeErasedLattice &Previous) = 0;
94 virtual bool isEqualTypeErased(const TypeErasedLattice &,
95 const TypeErasedLattice &) = 0;
99 virtual void transferTypeErased(const CFGElement &, TypeErasedLattice &,
109 TypeErasedLattice &, Environment &) = 0;
[all …]
H A DDataflowAnalysis.h93 TypeErasedLattice typeErasedInitialElement() final { in typeErasedInitialElement()
97 TypeErasedLattice joinTypeErased(const TypeErasedLattice &E1, in joinTypeErased()
98 const TypeErasedLattice &E2) final { in joinTypeErased()
106 LatticeJoinEffect widenTypeErased(TypeErasedLattice &Current, in widenTypeErased()
107 const TypeErasedLattice &Previous) final { in widenTypeErased()
113 bool isEqualTypeErased(const TypeErasedLattice &E1, in isEqualTypeErased()
114 const TypeErasedLattice &E2) final { in isEqualTypeErased()
120 void transferTypeErased(const CFGElement &Element, TypeErasedLattice &E, in transferTypeErased()
127 TypeErasedLattice &E, Environment &Env) final { in transferBranchTypeErased()
157 const Stmt *Stmt, TypeErasedLattice &L,
[all …]