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