Lines Matching defs:cmpTy
719 QualType cmpTy = svalBuilder.getConditionType();
721 svalBuilder.evalBinOpLL(state, BO_GT, *firstLoc, *secondLoc, cmpTy);
766 svalBuilder.evalBinOpLL(state, BO_GT, *FirstEndLoc, *secondLoc, cmpTy);
938 QualType cmpTy = svalBuilder.getConditionType();
941 *maxMinusRightNL, cmpTy);
1737 QualType cmpTy = C.getSValBuilder().getConditionType();
1753 .evalBinOpNN(state, BO_GT, *strLengthNL, *maxlenValNL, cmpTy)
1776 state, BO_LE, resultNL, *strLengthNL, cmpTy)
1782 state, BO_LE, resultNL, *maxlenValNL, cmpTy)
1911 QualType cmpTy = svalBuilder.getConditionType();
1957 .evalBinOpNN(state, BO_GE, *strLengthNL, *lenValNL, cmpTy)
1992 state, BO_LE, *strLengthNL, *freeSpaceNL, cmpTy);
2141 state, BO_GE, *finalStrLengthNL, *amountCopiedNL, cmpTy);
2154 cmpTy);