Lines Matching full:strlength
122 SVal strLength);
626 SVal strLength) {
627 assert(!strLength.isUndef() && "Attempt to set an undefined string length");
658 if (strLength.isUnknown())
661 return state->set<CStringLength>(MR, strLength);
680 SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),
684 state = state->set<CStringLength>(MR, strLength);
686 return strLength;
1162 SVal strLength = getCStringLength(C, state, Arg, ArgVal);
1166 if (strLength.isUndef())
1181 NonLoc *strLengthNL = dyn_cast<NonLoc>(&strLength);
1187 // Check if the strLength is greater than the maxlen.
1232 result = cast<DefinedOrUnknownSVal>(strLength);
1326 SVal strLength = getCStringLength(C, state, srcExpr, srcVal);
1329 if (strLength.isUndef())
1352 NonLoc *strLengthNL = dyn_cast<NonLoc>(&strLength);
1370 // strLength copied is the max number arg.
1377 amountCopied = strLength;
1454 amountCopied = strLength;
1586 if (amountCopied != strLength)
1860 DefinedOrUnknownSVal strLength
1863 state = state->set<CStringLength>(MR, strLength);
