Searched refs:EdgeLatticeVal (Results 1 – 1 of 1) sorted by relevance
1367 ValueLatticeElement EdgeLatticeVal = in getEdgeValueLocal() local1369 if (EdgeLatticeVal.isOverdefined()) in getEdgeValueLocal()1371 EdgeVal = EdgeLatticeVal.getConstantRange(); in getEdgeValueLocal()