Lines Matching defs:SizeTy

276                                     QualType SizeTy);
418   QualType SizeTy = Ctx.getSizeType();
421                      SizeTy)
424       SVB.evalBinOpNN(State, BO_Mul, ER->getIndex(), WideSize, SizeTy);
608   QualType SizeTy = Size.Expression->getType();
639   NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>();
640   SVal Offset = svalBuilder.evalBinOpNN(State, BO_Sub, *Length, One, SizeTy);
1083           QualType SizeTy = SvalBuilder.getContext().getSizeType();
1084           return SvalBuilder.makeIntVal(StrLit->getLength(), SizeTy);
1208     SVal SizeV, QualType SizeTy) {
1211        SizeTy](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) {
1215             isFirstBufInBound(C, S, BufV, BufTy, SizeV, SizeTy)) {
2536   QualType SizeTy = Size.Expression->getType();
2539   std::tie(ZeroSize, NonZeroSize) = assumeZero(C, State, SizeVal, SizeTy);
2584   QualType SizeTy = Size.Expression->getType();
2588     assumeZero(C, State, SizeVal, SizeTy);