Lines Matching refs:sizeTy
352 QualType sizeTy = Size->getType();
374 NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
376 .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();
561 QualType sizeTy = svalBuilder.getContext().getSizeType();
562 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
568 sizeTy);
573 sizeTy);
674 QualType sizeTy = svalBuilder.getContext().getSizeType();
676 MR, Ex, sizeTy,
683 const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
689 maxLength, sizeTy);
746 QualType sizeTy = svalBuilder.getContext().getSizeType();
748 return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy);
917 QualType sizeTy = Size->getType();
921 assumeZero(C, state, sizeVal, sizeTy);
1074 QualType sizeTy = Size->getType();
1078 assumeZero(C, state, sizeVal, sizeTy);
1356 QualType sizeTy = svalBuilder.getContext().getSizeType();
1372 lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType());
1418 sizeTy);
1433 assumeZero(C, state, *lenValNL, sizeTy);
1445 NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
1447 one, sizeTy);
1524 *dstStrLengthNL, sizeTy);
