Searched refs:LatticeFunc (Results 1 – 2 of 2) sorted by relevance
58 if (LatticeFunc->IsUntrackedValue(V)) in getOrInitValueState()59 return LatticeFunc->getUntrackedVal(); in getOrInitValueState()61 LV = LatticeFunc->ComputeConstant(C); in getOrInitValueState()63 LV = LatticeFunc->ComputeArgument(A); in getOrInitValueState()66 LV = LatticeFunc->getOverdefinedVal(); in getOrInitValueState()69 LV = LatticeFunc->getUndefVal(); in getOrInitValueState()72 if (LV == LatticeFunc->getUntrackedVal()) in getOrInitValueState()139 if (BCValue == LatticeFunc->getOverdefinedVal() || in getFeasibleSuccessors()140 BCValue == LatticeFunc->getUntrackedVal()) { in getFeasibleSuccessors()147 if (BCValue == LatticeFunc->getUndefVal()) in getFeasibleSuccessors()[all …]
120 AbstractLatticeFunction *LatticeFunc; variable138 : LatticeFunc(Lattice) {} in SparseSolver()140 delete LatticeFunc; in ~SparseSolver() local154 return I != ValueState.end() ? I->second : LatticeFunc->getUntrackedVal(); in getLatticeState()