Lines Matching defs:strLength

256                                               SVal strLength);
963                                                 SVal strLength) {
964   assert(!strLength.isUndef() && "Attempt to set an undefined string length");
996   if (strLength.isUnknown())
999   return state->set<CStringLength>(MR, strLength);
1017   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),
1023     if (std::optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {
1035     state = state->set<CStringLength>(MR, strLength);
1038   return strLength;
1725   SVal strLength = getCStringLength(C, state, Arg.Expression, ArgVal);
1729   if (strLength.isUndef())
1744     std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1750       // Check if the strLength is greater than the maxlen.
1789     result = strLength.castAs<DefinedOrUnknownSVal>();
1899   SVal strLength = getCStringLength(C, state, srcExpr.Expression, srcVal);
1900   std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1907   if (strLength.isUndef())
1962           // actual strLength copied is the max number arg.
1969           amountCopied = strLength;
2000           amountCopied = strLength;
2056                                                       LCtx, strLength);
2060                   state, BO_Add, strLength, dstStrLength, sizeTy);
2083     amountCopied = strLength;
2096     strlRetVal = strLength;
2250       if (amountCopied != strLength)
2753     DefinedOrUnknownSVal strLength =
2756     state = state->set<CStringLength>(MR, strLength);