Searched defs:WraparoundType (Results 1 – 1 of 1) sorted by relevance
98 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymInclusiveRange() local159 APSIntType WraparoundType = BVF.getAPSIntType(Sym->getType()); in assumeSymRel() local