238                                               SVal strLength);
789                                                 SVal strLength) {  in setCStringLength()  argument
790   assert(!strLength.isUndef() && "Attempt to set an undefined string length");  in setCStringLength()
822   if (strLength.isUnknown())  in setCStringLength()
825   return state->set<CStringLength>(MR, strLength);  in setCStringLength()
843   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),  in getCStringLengthForRegion()  local
849     if (std::optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {  in getCStringLengthForRegion()
861     state = state->set<CStringLength>(MR, strLength);  in getCStringLengthForRegion()
864   return strLength;  in getCStringLengthForRegion()
1491   SVal strLength = getCStringLength(C, state, Arg.Expression, ArgVal);  in evalstrLengthCommon()  local
1495   if (strLength.isUndef())  in evalstrLengthCommon()
1510     std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalstrLengthCommon()
1555     result = strLength.castAs<DefinedOrUnknownSVal>();  in evalstrLengthCommon()
1658   SVal strLength = getCStringLength(C, state, srcExpr.Expression, srcVal);  in evalStrcpyCommon()  local
1659   std::optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalStrcpyCommon()
1666   if (strLength.isUndef())  in evalStrcpyCommon()
1727           amountCopied = strLength;  in evalStrcpyCommon()
1758           amountCopied = strLength;  in evalStrcpyCommon()
1812               StateZeroSize = StateZeroSize->BindExpr(CE, LCtx, strLength);  in evalStrcpyCommon()
1816                   state, BO_Add, strLength, dstStrLength, sizeTy);  in evalStrcpyCommon()
1838     amountCopied = strLength;  in evalStrcpyCommon()
1851     strlRetVal = strLength;  in evalStrcpyCommon()
1994       if (amountCopied != strLength)  in evalStrcpyCommon()
2437     DefinedOrUnknownSVal strLength =  in checkPreStmt()  local
2440     state = state->set<CStringLength>(MR, strLength);  in checkPreStmt()