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