Searched refs:amountCopied (Results 1 – 1 of 1) sorted by relevance
1451 SVal amountCopied = UnknownVal(); in evalStrcpyCommon() local1483 amountCopied = lenVal; in evalStrcpyCommon()1488 amountCopied = strLength; in evalStrcpyCommon()1547 if (amountCopied.isUnknown() && !isAppending) { in evalStrcpyCommon()1550 amountCopied = getCStringLength(C, state, lenExpr, srcVal, true); in evalStrcpyCommon()1551 assert(!amountCopied.isUndef()); in evalStrcpyCommon()1553 if (Optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>()) { in evalStrcpyCommon()1583 amountCopied = strLength; in evalStrcpyCommon()1603 Optional<NonLoc> srcStrLengthNL = amountCopied.getAs<NonLoc>(); in evalStrcpyCommon()1655 finalStrLength = amountCopied; in evalStrcpyCommon()[all …]