Lines Matching full:amountcopied
1316 SVal amountCopied = UnknownVal();
1348 amountCopied = lenVal;
1353 amountCopied = strLength;
1412 if (amountCopied.isUnknown() && !isAppending) {
1415 amountCopied = getCStringLength(C, state, lenExpr, srcVal, true);
1416 assert(!amountCopied.isUndef());
1418 if (Optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>()) {
1420 // amountCopied <= lenVal
1432 // amountCopied <= strlen(source)
1448 amountCopied = strLength;
1468 Optional<NonLoc> srcStrLengthNL = amountCopied.getAs<NonLoc>();
1520 finalStrLength = amountCopied;
1581 if (amountCopied != strLength)
