Searched refs:CopyOfCR (Results 1 – 1 of 1) sorted by relevance
1811 auto CopyOfCR = CopyOfVal.asConstantRange(CopyOf->getType(), in handleCallResult() local1814 if (CopyOfCR.isEmptySet()) in handleCallResult()1815 CopyOfCR = ConstantRange::getFull(CopyOfCR.getBitWidth()); in handleCallResult()1816 auto NewCR = ImposedCR.intersectWith(CopyOfCR); in handleCallResult()1820 if (!CopyOfCR.contains(NewCR) && CopyOfCR.getSingleMissingElement()) in handleCallResult()1821 NewCR = CopyOfCR; in handleCallResult()