Lines Matching refs:strLength
104 SVal strLength);
590 SVal strLength) {
591 assert(!strLength.isUndef() && "Attempt to set an undefined string length");
622 if (strLength.isUnknown())
625 return state->set<CStringLength>(MR, strLength);
644 SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),
648 state = state->set<CStringLength>(MR, strLength);
650 return strLength;
1090 SVal strLength = getCStringLength(C, state, Arg, ArgVal);
1094 if (strLength.isUndef())
1109 NonLoc *strLengthNL = dyn_cast<NonLoc>(&strLength);
1115 // Check if the strLength is greater than the maxlen.
1160 result = cast<DefinedOrUnknownSVal>(strLength);
1238 SVal strLength = getCStringLength(C, state, srcExpr, srcVal);
1241 if (strLength.isUndef())
1264 NonLoc *strLengthNL = dyn_cast<NonLoc>(&strLength);
1282 // strLength copied is the max number arg.
1289 amountCopied = strLength;
1366 amountCopied = strLength;
1498 if (amountCopied != strLength)
1743 DefinedOrUnknownSVal strLength
1746 state = state->set<CStringLength>(MR, strLength);