Searched refs:amountCopied (Results 1 – 1 of 1) sorted by relevance
1447 SVal amountCopied = UnknownVal(); in evalStrcpyCommon() local1479 amountCopied = lenVal; in evalStrcpyCommon()1484 amountCopied = strLength; in evalStrcpyCommon()1543 if (amountCopied.isUnknown() && !isAppending) { in evalStrcpyCommon()1546 amountCopied = getCStringLength(C, state, lenExpr, srcVal, true); in evalStrcpyCommon()1547 assert(!amountCopied.isUndef()); in evalStrcpyCommon()1549 if (Optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>()) { in evalStrcpyCommon()1579 amountCopied = strLength; in evalStrcpyCommon()1599 Optional<NonLoc> srcStrLengthNL = amountCopied.getAs<NonLoc>(); in evalStrcpyCommon()1651 finalStrLength = amountCopied; in evalStrcpyCommon()[all …]