Searched refs:SupersetIntersect (Results 1 – 1 of 1) sorted by relevance
527 auto SupersetIntersect = CR0.intersectWith(CR1); in widenCondCommon() local531 if (SubsetIntersect == SupersetIntersect && in widenCondCommon()