Lines Matching defs:SizeTy

277                                     QualType SizeTy);
420   QualType SizeTy = Ctx.getSizeType();
423                      SizeTy)
426       SVB.evalBinOpNN(State, BO_Mul, ER->getIndex(), WideSize, SizeTy);
612   QualType SizeTy = Size.Expression->getType();
643   NonLoc One = svalBuilder.makeIntVal(1, SizeTy).castAs<NonLoc>();
644   SVal Offset = svalBuilder.evalBinOpNN(State, BO_Sub, *Length, One, SizeTy);
1088           QualType SizeTy = SvalBuilder.getContext().getSizeType();
1089           return SvalBuilder.makeIntVal(StrLit->getLength(), SizeTy);
1213     SVal SizeV, QualType SizeTy) {
1216        SizeTy](RegionAndSymbolInvalidationTraits &ITraits, const MemRegion *R) {
1220             isFirstBufInBound(C, S, BufV, BufTy, SizeV, SizeTy)) {
2541   QualType SizeTy = Size.Expression->getType();
2544   std::tie(ZeroSize, NonZeroSize) = assumeZero(C, State, SizeVal, SizeTy);
2589   QualType SizeTy = Size.Expression->getType();
2593     assumeZero(C, State, SizeVal, SizeTy);