461   QualType cmpTy = svalBuilder.getConditionType();  in CheckOverlap()  local
463                                          *firstLoc, *secondLoc, cmpTy);  in CheckOverlap()
508                                 *FirstEndLoc, *secondLoc, cmpTy);  in CheckOverlap()
653     QualType cmpTy = svalBuilder.getConditionType();  in checkAdditionOverflow()  local
656                                                 *maxMinusRightNL, cmpTy);  in checkAdditionOverflow()
1393     QualType cmpTy = C.getSValBuilder().getConditionType();  in evalstrLengthCommon()  local
1409               .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1432                                   state, BO_LE, resultNL, *strLengthNL, cmpTy)  in evalstrLengthCommon()
1438                                   state, BO_LE, resultNL, *maxlenValNL, cmpTy)  in evalstrLengthCommon()
1570   QualType cmpTy = svalBuilder.getConditionType();  in evalStrcpyCommon()  local
1606           svalBuilder.evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)  in evalStrcpyCommon()
1693                                                              cmpTy);  in evalStrcpyCommon()
1705                                                            cmpTy);  in evalStrcpyCommon()
1765                                                         cmpTy);  in evalStrcpyCommon()
1777                                                       cmpTy);  in evalStrcpyCommon()