Home
last modified time | relevance | path

Searched refs:LatticeJoinEffect (Results 1 – 6 of 6) sorted by relevance

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DMapLattice.h95 LatticeJoinEffect join(const MapLattice &Other) { in join()
96 LatticeJoinEffect Effect = LatticeJoinEffect::Unchanged; in join()
101 Effect = LatticeJoinEffect::Changed; in join()
102 } else if (It->second.join(O.second) == LatticeJoinEffect::Changed) in join()
103 Effect = LatticeJoinEffect::Changed; in join()
H A DNoopLattice.h29 LatticeJoinEffect join(const NoopLattice &Other) { in join()
30 return LatticeJoinEffect::Unchanged; in join()
H A DDataflowAnalysis.h106 LatticeJoinEffect widenTypeErased(TypeErasedLattice &Current, in widenTypeErased()
148 static LatticeJoinEffect widenInternal(Rank1, const Lattice &Current, in widenInternal()
150 return Prev == Current ? LatticeJoinEffect::Unchanged in widenInternal()
151 : LatticeJoinEffect::Changed; in widenInternal()
H A DDataflowLattice.h26 using LatticeJoinEffect = LatticeEffect; variable
H A DTypeErasedDataflowAnalysis.h88 virtual LatticeJoinEffect
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.cpp526 LatticeJoinEffect Effect1 = Analysis.widenTypeErased( in runTypeErasedDataflowAnalysis()
528 LatticeJoinEffect Effect2 = in runTypeErasedDataflowAnalysis()
530 if (Effect1 == LatticeJoinEffect::Unchanged && in runTypeErasedDataflowAnalysis()
531 Effect2 == LatticeJoinEffect::Unchanged) { in runTypeErasedDataflowAnalysis()