Lines Matching defs:strLength

255                                               SVal strLength);
958                                                 SVal strLength) {
959   assert(!strLength.isUndef() && "Attempt to set an undefined string length");
991   if (strLength.isUnknown())
994   return state->set<CStringLength>(MR, strLength);
1012   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),
1018     if (std::optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {
1030     state = state->set<CStringLength>(MR, strLength);
1033   return strLength;
1720   SVal strLength = getCStringLength(C, state, Arg.Expression, ArgVal);
1724   if (strLength.isUndef())
1739     std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1745       // Check if the strLength is greater than the maxlen.
1784     result = strLength.castAs<DefinedOrUnknownSVal>();
1894   SVal strLength = getCStringLength(C, state, srcExpr.Expression, srcVal);
1895   std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();
1902   if (strLength.isUndef())
1957           // actual strLength copied is the max number arg.
1964           amountCopied = strLength;
1995           amountCopied = strLength;
2051                                                       LCtx, strLength);
2055                   state, BO_Add, strLength, dstStrLength, sizeTy);
2078     amountCopied = strLength;
2091     strlRetVal = strLength;
2245       if (amountCopied != strLength)
2748     DefinedOrUnknownSVal strLength =
2751     state = state->set<CStringLength>(MR, strLength);