550   QualType cmpTy = svalBuilder.getConditionType();  in CheckOverlap()  local
552       svalBuilder.evalBinOpLL(state, BO_GT, *firstLoc, *secondLoc, cmpTy);  in CheckOverlap()
597       svalBuilder.evalBinOpLL(state, BO_GT, *FirstEndLoc, *secondLoc, cmpTy);  in CheckOverlap()
764     QualType cmpTy = svalBuilder.getConditionType();  in checkAdditionOverflow()  local
767                                                 *maxMinusRightNL, cmpTy);  in checkAdditionOverflow()
1503     QualType cmpTy = C.getSValBuilder().getConditionType();  in evalstrLengthCommon()  local
1519               .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1542                                   state, BO_LE, resultNL, *strLengthNL, cmpTy)  in evalstrLengthCommon()
1548                                   state, BO_LE, resultNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1670   QualType cmpTy = svalBuilder.getConditionType();  in evalStrcpyCommon()  local
1715                 .evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)  in evalStrcpyCommon()
1750             state, BO_LE, *strLengthNL, *freeSpaceNL, cmpTy);  in evalStrcpyCommon()
1895               state, BO_GE, *finalStrLengthNL, *amountCopiedNL, cmpTy);  in evalStrcpyCommon()
1908                                                       cmpTy);  in evalStrcpyCommon()