Searched refs:sizeTy (Results 1 – 2 of 2) sorted by relevance
355 QualType sizeTy = Size->getType(); in CheckBufferAccess() local377 NonLoc One = cast<NonLoc>(svalBuilder.makeIntVal(1, sizeTy)); in CheckBufferAccess()379 *Length, One, sizeTy)); in CheckBufferAccess()565 QualType sizeTy = svalBuilder.getContext().getSizeType(); in checkAdditionOverflow() local566 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in checkAdditionOverflow()572 sizeTy); in checkAdditionOverflow()577 sizeTy); in checkAdditionOverflow()677 QualType sizeTy = svalBuilder.getContext().getSizeType(); in getCStringLengthForRegion() local679 MR, Ex, sizeTy, in getCStringLengthForRegion()736 QualType sizeTy = svalBuilder.getContext().getSizeType(); in getCStringLength() local[all …]
192 QualType sizeTy = svalBuilder.getArrayIndexType(); in getExtent() local193 return svalBuilder.makeIntVal(size.getQuantity(), sizeTy); in getExtent()