Lines Matching full:amountcopied
1251 SVal amountCopied = UnknownVal();
1284 amountCopied = lenVal;
1289 amountCopied = strLength;
1330 if (amountCopied.isUnknown() && !isAppending) {
1333 amountCopied = getCStringLength(C, state, lenExpr, srcVal, true);
1334 assert(!amountCopied.isUndef());
1336 if (NonLoc *amountCopiedNL = dyn_cast<NonLoc>(&amountCopied)) {
1338 // amountCopied <= lenVal
1350 // amountCopied <= strlen(source)
1366 amountCopied = strLength;
1386 NonLoc *srcStrLengthNL = dyn_cast<NonLoc>(&amountCopied);
1438 finalStrLength = amountCopied;
1498 if (amountCopied != strLength)
