Searched refs:NewCR (Results 1 – 1 of 1) sorted by relevance
1334 auto NewCR = ImposedCR.intersectWith(CopyOfCR); in handleCallResult() local1338 if (!CopyOfCR.contains(NewCR) && CopyOfCR.getSingleMissingElement()) in handleCallResult()1339 NewCR = CopyOfCR; in handleCallResult()1344 ValueLatticeElement::getRange(NewCR, MayIncludeUndef)); in handleCallResult()