Searched refs:EdgesVals (Results 1 – 1 of 1) sorted by relevance
1452 ConstantRange EdgesVals(BitWidth, DefaultCase/*isFullSet*/); in getEdgeValueLocal() local1474 EdgesVals = EdgesVals.difference(EdgeVal); in getEdgeValueLocal()1476 EdgesVals = EdgesVals.unionWith(EdgeVal); in getEdgeValueLocal()1478 return ValueLatticeElement::getRange(std::move(EdgesVals)); in getEdgeValueLocal()