Searched defs:WraparoundType (Results 1 – 1 of 1) sorted by relevance
255 APSIntType WraparoundType = BVF.getAPSIntType(LHS->getType()); in assumeSymRel() local309 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymWithinInclusiveRange() local