Searched refs:EdgeLatticeVal (Results 1 – 1 of 1) sorted by relevance
1545 ValueLatticeElement EdgeLatticeVal = in getEdgeValueLocal() local1547 if (EdgeLatticeVal.isOverdefined()) in getEdgeValueLocal()1549 EdgeVal = EdgeLatticeVal.getConstantRange(); in getEdgeValueLocal()