715   QualType cmpTy = svalBuilder.getConditionType();  in CheckOverlap()  local
717       svalBuilder.evalBinOpLL(state, BO_GT, *firstLoc, *secondLoc, cmpTy);  in CheckOverlap()
762       svalBuilder.evalBinOpLL(state, BO_GT, *FirstEndLoc, *secondLoc, cmpTy);  in CheckOverlap()
933     QualType cmpTy = svalBuilder.getConditionType();  in checkAdditionOverflow()  local
936                                                 *maxMinusRightNL, cmpTy);  in checkAdditionOverflow()
1732     QualType cmpTy = C.getSValBuilder().getConditionType();  in evalstrLengthCommon()  local
1748               .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1771                                   state, BO_LE, resultNL, *strLengthNL, cmpTy)  in evalstrLengthCommon()
1777                                   state, BO_LE, resultNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1906   QualType cmpTy = svalBuilder.getConditionType();  in evalStrcpyCommon()  local
1952                 .evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)  in evalStrcpyCommon()
1987             state, BO_LE, *strLengthNL, *freeSpaceNL, cmpTy);  in evalStrcpyCommon()
2136               state, BO_GE, *finalStrLengthNL, *amountCopiedNL, cmpTy);  in evalStrcpyCommon()
2149                                                       cmpTy);  in evalStrcpyCommon()