Home | History | Annotate | Download | only in Checkers

Lines Matching refs:strLength

128                                               SVal strLength);
630                                                 SVal strLength) {
631   assert(!strLength.isUndef() && "Attempt to set an undefined string length");
662   if (strLength.isUnknown())
665   return state->set<CStringLength>(MR, strLength);
683   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),
688     if (Optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {
700     state = state->set<CStringLength>(MR, strLength);
703   return strLength;
1276   SVal strLength = getCStringLength(C, state, Arg, ArgVal);
1280   if (strLength.isUndef())
1295     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1301       // Check if the strLength is greater than the maxlen.
1340     result = strLength.castAs<DefinedOrUnknownSVal>();
1434   SVal strLength = getCStringLength(C, state, srcExpr, srcVal);
1437   if (strLength.isUndef())
1460     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1477         // strLength copied is the max number arg.
1484         amountCopied = strLength;
1579     amountCopied = strLength;
1719       if (amountCopied != strLength)
2048     DefinedOrUnknownSVal strLength =
2051     state = state->set<CStringLength>(MR, strLength);