132                                               SVal strLength);
634                                                 SVal strLength) {  in setCStringLength()  argument
635   assert(!strLength.isUndef() && "Attempt to set an undefined string length");  in setCStringLength()
666   if (strLength.isUnknown())  in setCStringLength()
669   return state->set<CStringLength>(MR, strLength);  in setCStringLength()
687   SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),  in getCStringLengthForRegion()  local
692     if (Optional<NonLoc> strLn = strLength.getAs<NonLoc>()) {  in getCStringLengthForRegion()
704     state = state->set<CStringLength>(MR, strLength);  in getCStringLengthForRegion()
707   return strLength;  in getCStringLengthForRegion()
1280   SVal strLength = getCStringLength(C, state, Arg, ArgVal);  in evalstrLengthCommon()  local
1284   if (strLength.isUndef())  in evalstrLengthCommon()
1299     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalstrLengthCommon()
1344     result = strLength.castAs<DefinedOrUnknownSVal>();  in evalstrLengthCommon()
1438   SVal strLength = getCStringLength(C, state, srcExpr, srcVal);  in evalStrcpyCommon()  local
1441   if (strLength.isUndef())  in evalStrcpyCommon()
1464     Optional<NonLoc> strLengthNL = strLength.getAs<NonLoc>();  in evalStrcpyCommon()
1488         amountCopied = strLength;  in evalStrcpyCommon()
1583     amountCopied = strLength;  in evalStrcpyCommon()
1723       if (amountCopied != strLength)  in evalStrcpyCommon()
2106     DefinedOrUnknownSVal strLength =  in checkPreStmt()  local
2109     state = state->set<CStringLength>(MR, strLength);  in checkPreStmt()