Searched refs:sizeTy (Results 1 – 2 of 2) sorted by relevance
352 QualType sizeTy = Size->getType(); in CheckBufferAccess() local374 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>(); in CheckBufferAccess()376 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>(); in CheckBufferAccess()561 QualType sizeTy = svalBuilder.getContext().getSizeType(); in checkAdditionOverflow() local562 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in checkAdditionOverflow()568 sizeTy); in checkAdditionOverflow()573 sizeTy); in checkAdditionOverflow()674 QualType sizeTy = svalBuilder.getContext().getSizeType(); in getCStringLengthForRegion() local676 MR, Ex, sizeTy, in getCStringLengthForRegion()683 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in getCStringLengthForRegion()[all …]
193 QualType sizeTy = svalBuilder.getArrayIndexType(); in getExtent() local194 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy); in getExtent()