Lines Matching defs:strLength
94 const MemRegion *MR, SVal strLength);
562 SVal strLength) {
563 assert(!strLength.isUndef() && "Attempt to set an undefined string length");
594 if (strLength.isUnknown())
597 return state->set<CStringLength>(MR, strLength);
616 SVal strLength = svalBuilder.getMetadataSymbolVal(CStringChecker::getTag(),
620 state = state->set<CStringLength>(MR, strLength);
622 return strLength;
1064 SVal strLength = getCStringLength(C, state, Arg, ArgVal);
1068 if (strLength.isUndef())
1083 NonLoc *strLengthNL = dyn_cast<NonLoc>(&strLength);
1089 // Check if the strLength is greater than the maxlen.
1134 result = cast<DefinedOrUnknownSVal>(strLength);
1212 SVal strLength = getCStringLength(C, state, srcExpr, srcVal);
1215 if (strLength.isUndef())
1238 NonLoc *strLengthNL = dyn_cast<NonLoc>(&strLength);
1256 // strLength copied is the max number arg.
1263 amountCopied = strLength;
1340 amountCopied = strLength;
1472 if (amountCopied != strLength)
1717 DefinedOrUnknownSVal strLength
1720 state = state->set<CStringLength>(MR, strLength);
