352   QualType sizeTy = Size->getType();  in CheckBufferAccess()  local
374   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in CheckBufferAccess()
376       .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();  in CheckBufferAccess()
561   QualType sizeTy = svalBuilder.getContext().getSizeType();  in checkAdditionOverflow()  local
562   const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);  in checkAdditionOverflow()
568                                                  sizeTy);  in checkAdditionOverflow()
573                                             sizeTy);  in checkAdditionOverflow()
674   QualType sizeTy = svalBuilder.getContext().getSizeType();  in getCStringLengthForRegion()  local
676                                                     MR, Ex, sizeTy,  in getCStringLengthForRegion()
683       const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);  in getCStringLengthForRegion()
689                                                 maxLength, sizeTy);  in getCStringLengthForRegion()
746     QualType sizeTy = svalBuilder.getContext().getSizeType();  in getCStringLength()  local
748     return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy);  in getCStringLength()
917   QualType sizeTy = Size->getType();  in evalCopyCommon()  local
921     assumeZero(C, state, sizeVal, sizeTy);  in evalCopyCommon()
1079   QualType sizeTy = Size->getType();  in evalMemcmp()  local
1083     assumeZero(C, state, sizeVal, sizeTy);  in evalMemcmp()
1361   QualType sizeTy = svalBuilder.getContext().getSizeType();  in evalStrcpyCommon()  local
1377     lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType());  in evalStrcpyCommon()
1423                                                         sizeTy);  in evalStrcpyCommon()
1438           assumeZero(C, state, *lenValNL, sizeTy);  in evalStrcpyCommon()
1450         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in evalStrcpyCommon()
1452                                                       one, sizeTy);  in evalStrcpyCommon()
1529                                                *dstStrLengthNL, sizeTy);  in evalStrcpyCommon()