Searched refs:sizeTy (Results 1 – 2 of 2) sorted by relevance
365 QualType sizeTy = Size->getType(); in CheckBufferAccess() local387 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in CheckBufferAccess()389 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>(); in CheckBufferAccess()573 QualType sizeTy = svalBuilder.getContext().getSizeType(); in checkAdditionOverflow() local574 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in checkAdditionOverflow()580 sizeTy); in checkAdditionOverflow()585 sizeTy); in checkAdditionOverflow()686 QualType sizeTy = svalBuilder.getContext().getSizeType(); in getCStringLengthForRegion() local688 MR, Ex, sizeTy, in getCStringLengthForRegion()695 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in getCStringLengthForRegion()[all …]
189 QualType sizeTy = svalBuilder.getArrayIndexType(); in getExtent() local190 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy); in getExtent()