Searched refs:EdgeLatticeVal (Results 1 – 1 of 1) sorted by relevance
1469 ValueLatticeElement EdgeLatticeVal = in getEdgeValueLocal() local1471 if (EdgeLatticeVal.isOverdefined()) in getEdgeValueLocal()1473 EdgeVal = EdgeLatticeVal.getConstantRange(); in getEdgeValueLocal()