Searched refs:EdgeLatticeVal (Results 1 – 1 of 1) sorted by relevance
1330 ValueLatticeElement EdgeLatticeVal = in getEdgeValueLocal() local1332 if (EdgeLatticeVal.isOverdefined()) in getEdgeValueLocal()1334 EdgeVal = EdgeLatticeVal.getConstantRange(); in getEdgeValueLocal()