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