365   QualType sizeTy = Size->getType();  in CheckBufferAccess()  local
387   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in CheckBufferAccess()
389       .evalBinOpNN(state, BO_Sub, *Length, One, sizeTy).castAs<NonLoc>();  in CheckBufferAccess()
573   QualType sizeTy = svalBuilder.getContext().getSizeType();  in checkAdditionOverflow()  local
574   const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);  in checkAdditionOverflow()
580                                                  sizeTy);  in checkAdditionOverflow()
585                                             sizeTy);  in checkAdditionOverflow()
686   QualType sizeTy = svalBuilder.getContext().getSizeType();  in getCStringLengthForRegion()  local
688                                                     MR, Ex, sizeTy,  in getCStringLengthForRegion()
695       const llvm::APSInt &maxValInt = BVF.getMaxValue(sizeTy);  in getCStringLengthForRegion()
701                                                 maxLength, sizeTy);  in getCStringLengthForRegion()
758     QualType sizeTy = svalBuilder.getContext().getSizeType();  in getCStringLength()  local
760     return svalBuilder.makeIntVal(strLit->getByteLength(), sizeTy);  in getCStringLength()
843   QualType sizeTy = Size->getType();  in IsFirstBufInBound()  local
853   NonLoc One = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in IsFirstBufInBound()
855       svalBuilder.evalBinOpNN(state, BO_Sub, *Length, One, sizeTy)  in IsFirstBufInBound()
1002   QualType sizeTy = Size->getType();  in evalCopyCommon()  local
1006     assumeZero(C, state, sizeVal, sizeTy);  in evalCopyCommon()
1164   QualType sizeTy = Size->getType();  in evalMemcmp()  local
1168     assumeZero(C, state, sizeVal, sizeTy);  in evalMemcmp()
1446   QualType sizeTy = svalBuilder.getContext().getSizeType();  in evalStrcpyCommon()  local
1462     lenVal = svalBuilder.evalCast(lenVal, sizeTy, lenExpr->getType());  in evalStrcpyCommon()
1508                                                         sizeTy);  in evalStrcpyCommon()
1523           assumeZero(C, state, *lenValNL, sizeTy);  in evalStrcpyCommon()
1535         NonLoc one = svalBuilder.makeIntVal(1, sizeTy).castAs<NonLoc>();  in evalStrcpyCommon()
1537                                                       one, sizeTy);  in evalStrcpyCommon()
1614                                                *dstStrLengthNL, sizeTy);  in evalStrcpyCommon()