Lines Matching defs:sizeTy

921   QualType sizeTy = svalBuilder.getContext().getSizeType();
922   const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
928                                                  sizeTy);
933                                             sizeTy);
1016   QualType sizeTy = svalBuilder.getContext().getSizeType();
1018                                                     MR, Ex, sizeTy,
1026       const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);
1076     QualType sizeTy = svalBuilder.getContext().getSizeType();
1078     return svalBuilder.makeIntVal(strLit->getLength(), sizeTy);
1451   QualType sizeTy = Size.Expression->getType();
1455       assumeZero(C, state, sizeVal, sizeTy);
1615   QualType sizeTy = Size.Expression->getType();
1619       assumeZero(C, State, sizeVal, sizeTy);
1912   QualType sizeTy = svalBuilder.getContext().getSizeType();
1941         svalBuilder.evalCast(lenVal, sizeTy, lenExpr.Expression->getType());
1979                                                  *dstStrLengthNL, sizeTy);
1984                                   svalBuilder.makeIntVal(1, sizeTy), sizeTy);
2027               state, BO_Add, *lenValNL, *dstStrLengthNL, sizeTy);
2045             assumeZero(C, state, *lenValNL, sizeTy);
2060                   state, BO_Add, strLength, dstStrLength, sizeTy);
2072         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();
2074             svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, one, sizeTy);
2110                                            *dstStrLengthNL, sizeTy);
2123                                                *dstStrLengthNL, sizeTy);