526   QualType cmpTy = svalBuilder.getConditionType();  in CheckOverlap()  local
528       svalBuilder.evalBinOpLL(state, BO_GT, *firstLoc, *secondLoc, cmpTy);  in CheckOverlap()
573       svalBuilder.evalBinOpLL(state, BO_GT, *FirstEndLoc, *secondLoc, cmpTy);  in CheckOverlap()
740     QualType cmpTy = svalBuilder.getConditionType();  in checkAdditionOverflow()  local
743                                                 *maxMinusRightNL, cmpTy);  in checkAdditionOverflow()
1477     QualType cmpTy = C.getSValBuilder().getConditionType();  in evalstrLengthCommon()  local
1493               .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1516                                   state, BO_LE, resultNL, *strLengthNL, cmpTy)  in evalstrLengthCommon()
1522                                   state, BO_LE, resultNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1644   QualType cmpTy = svalBuilder.getConditionType();  in evalStrcpyCommon()  local
1689                 .evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)  in evalStrcpyCommon()
1724             state, BO_LE, *strLengthNL, *freeSpaceNL, cmpTy);  in evalStrcpyCommon()
1868               state, BO_GE, *finalStrLengthNL, *amountCopiedNL, cmpTy);  in evalStrcpyCommon()
1881                                                       cmpTy);  in evalStrcpyCommon()