Searched refs:LatticeFunc (Results 1 – 5 of 5) 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 …]
57 if (LatticeFunc->IsUntrackedValue(V)) in getOrInitValueState()58 return LatticeFunc->getUntrackedVal(); in getOrInitValueState()60 LV = LatticeFunc->ComputeConstant(C); in getOrInitValueState()62 LV = LatticeFunc->ComputeArgument(A); in getOrInitValueState()65 LV = LatticeFunc->getOverdefinedVal(); in getOrInitValueState()68 LV = LatticeFunc->getUndefVal(); in getOrInitValueState()71 if (LV == LatticeFunc->getUntrackedVal()) in getOrInitValueState()138 if (BCValue == LatticeFunc->getOverdefinedVal() || in getFeasibleSuccessors()139 BCValue == LatticeFunc->getUntrackedVal()) { in getFeasibleSuccessors()146 if (BCValue == LatticeFunc->getUndefVal()) in getFeasibleSuccessors()[all …]
116 AbstractLatticeFunction<LatticeKey, LatticeVal> *LatticeFunc; variable139 : LatticeFunc(Lattice) {} in SparseSolver()153 return I != ValueState.end() ? I->second : LatticeFunc->getUntrackedVal(); in getExistingValueState()234 if (LatticeFunc->IsUntrackedValue(Key)) in getValueState()235 return LatticeFunc->getUntrackedVal(); in getValueState()236 LatticeVal LV = LatticeFunc->ComputeLatticeVal(Key); in getValueState()239 if (LV == LatticeFunc->getUntrackedVal()) in getValueState()308 if (BCValue == LatticeFunc->getOverdefinedVal() || in getFeasibleSuccessors()309 BCValue == LatticeFunc->getUntrackedVal()) { in getFeasibleSuccessors()316 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()
118 AbstractLatticeFunction *LatticeFunc; variable137 : LatticeFunc(Lattice) {} in SparseSolver()138 ~SparseSolver() { delete LatticeFunc; } in ~SparseSolver() local151 return I != ValueState.end() ? I->second : LatticeFunc->getUntrackedVal(); in getLatticeState()