Home | History | Annotate | Download | only in Checkers

Lines Matching full:strlength

128                                               SVal strLength);
622                                                 SVal strLength) {
623   assert(!strLength.isUndef() && "Attempt to set an undefined string length");
654   if (strLength.isUnknown())
657   return state->set<CStringLength>(MR, strLength);
675   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),
680     if (Optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {
692     state = state->set<CStringLength>(MR, strLength);
695   return strLength;
1190   SVal strLength = getCStringLength(C, state, Arg, ArgVal);
1194   if (strLength.isUndef())
1209     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1215       // Check if the strLength is greater than the maxlen.
1254     result = strLength.castAs<DefinedOrUnknownSVal>();
1348   SVal strLength = getCStringLength(C, state, srcExpr, srcVal);
1351   if (strLength.isUndef())
1374     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1391         // strLength copied is the max number arg.
1398         amountCopied = strLength;
1493     amountCopied = strLength;
1632       if (amountCopied != strLength)
1965     DefinedOrUnknownSVal strLength =
1968     state = state->set<CStringLength>(MR, strLength);