480   QualType cmpTy = svalBuilder.getConditionType();  in CheckOverlap()  local
482       svalBuilder.evalBinOpLL(state, BO_GT, *firstLoc, *secondLoc, cmpTy);  in CheckOverlap()
527       svalBuilder.evalBinOpLL(state, BO_GT, *FirstEndLoc, *secondLoc, cmpTy);  in CheckOverlap()
674     QualType cmpTy = svalBuilder.getConditionType();  in checkAdditionOverflow()  local
677                                                 *maxMinusRightNL, cmpTy);  in checkAdditionOverflow()
1409     QualType cmpTy = C.getSValBuilder().getConditionType();  in evalstrLengthCommon()  local
1425               .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1448                                   state, BO_LE, resultNL, *strLengthNL, cmpTy)  in evalstrLengthCommon()
1454                                   state, BO_LE, resultNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1576   QualType cmpTy = svalBuilder.getConditionType();  in evalStrcpyCommon()  local
1621                 .evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)  in evalStrcpyCommon()
1656             state, BO_LE, *strLengthNL, *freeSpaceNL, cmpTy);  in evalStrcpyCommon()
1800               state, BO_GE, *finalStrLengthNL, *amountCopiedNL, cmpTy);  in evalStrcpyCommon()
1813                                                       cmpTy);  in evalStrcpyCommon()