Lines Matching defs:sizeTy

916   QualType sizeTy = svalBuilder.getContext().getSizeType();
917   const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
923                                                  sizeTy);
928                                             sizeTy);
1011   QualType sizeTy = svalBuilder.getContext().getSizeType();
1013                                                     MR, Ex, sizeTy,
1021       const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
1071     QualType sizeTy = svalBuilder.getContext().getSizeType();
1073     return svalBuilder.makeIntVal(strLit->getLength(), sizeTy);
1446   QualType sizeTy = Size.Expression->getType();
1450       assumeZero(C, state, sizeVal, sizeTy);
1610   QualType sizeTy = Size.Expression->getType();
1614       assumeZero(C, State, sizeVal, sizeTy);
1907   QualType sizeTy = svalBuilder.getContext().getSizeType();
1936         svalBuilder.evalCast(lenVal, sizeTy, lenExpr.Expression->getType());
1974                                                  *dstStrLengthNL, sizeTy);
1979                                   svalBuilder.makeIntVal(1, sizeTy), sizeTy);
2022               state, BO_Add, *lenValNL, *dstStrLengthNL, sizeTy);
2040             assumeZero(C, state, *lenValNL, sizeTy);
2055                   state, BO_Add, strLength, dstStrLength, sizeTy);
2067         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
2069             svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, one, sizeTy);
2105                                            *dstStrLengthNL, sizeTy);
2118                                                *dstStrLengthNL, sizeTy);