Searched defs:SCValue (Results 1 – 10 of 10) sorted by relevance
175 LatticeVal SCValue; in getFeasibleSuccessors() local
341 LatticeVal SCValue; in getFeasibleSuccessors() local
339 LatticeVal SCValue; in getFeasibleSuccessors() local
576 LatticeVal SCValue = getValueState(SI->getCondition()); in getFeasibleSuccessors() local639 LatticeVal SCValue = getValueState(SI->getCondition()); in isEdgeFeasible() local
702 LatticeVal SCValue = getValueState(SI->getCondition()); in getFeasibleSuccessors() local
902 const ValueLatticeElement &SCValue = getValueState(SI->getCondition()); in getFeasibleSuccessors() local