Searched refs:sizeTy (Results 1 – 1 of 1) sorted by relevance
922 QualType sizeTy = svalBuilder.getContext().getSizeType(); in checkAdditionOverflow() local923 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in checkAdditionOverflow()929 sizeTy); in checkAdditionOverflow()934 sizeTy); in checkAdditionOverflow()1017 QualType sizeTy = svalBuilder.getContext().getSizeType(); in getCStringLengthForRegion() local1019 MR, Ex, sizeTy, in getCStringLengthForRegion()1027 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy); in getCStringLengthForRegion()1077 QualType sizeTy = svalBuilder.getContext().getSizeType(); in getCStringLength() local1079 return svalBuilder.makeIntVal(strLit->getLength(), sizeTy); in getCStringLength()1452 QualType sizeTy = Size.Expression->getType(); in evalCopyCommon() local[all …]