571   QualType cmpTy = svalBuilder.getConditionType();  in CheckOverlap()  local
573       svalBuilder.evalBinOpLL(state, BO_GT, *firstLoc, *secondLoc, cmpTy);  in CheckOverlap()
618       svalBuilder.evalBinOpLL(state, BO_GT, *FirstEndLoc, *secondLoc, cmpTy);  in CheckOverlap()
788     QualType cmpTy = svalBuilder.getConditionType();  in checkAdditionOverflow()  local
791                                                 *maxMinusRightNL, cmpTy);  in checkAdditionOverflow()
1584     QualType cmpTy = C.getSValBuilder().getConditionType();  in evalstrLengthCommon()  local
1600               .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1623                                   state, BO_LE, resultNL, *strLengthNL, cmpTy)  in evalstrLengthCommon()
1629                                   state, BO_LE, resultNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1758   QualType cmpTy = svalBuilder.getConditionType();  in evalStrcpyCommon()  local
1804                 .evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)  in evalStrcpyCommon()
1839             state, BO_LE, *strLengthNL, *freeSpaceNL, cmpTy);  in evalStrcpyCommon()
1988               state, BO_GE, *finalStrLengthNL, *amountCopiedNL, cmpTy);  in evalStrcpyCommon()
2001                                                       cmpTy);  in evalStrcpyCommon()