Searched refs:amountCopied (Results 1 – 1 of 1) sorted by relevance
1366 SVal amountCopied = UnknownVal(); in evalStrcpyCommon() local1398 amountCopied = lenVal; in evalStrcpyCommon()1403 amountCopied = strLength; in evalStrcpyCommon()1462 if (amountCopied.isUnknown() && !isAppending) { in evalStrcpyCommon()1465 amountCopied = getCStringLength(C, state, lenExpr, srcVal, true); in evalStrcpyCommon()1466 assert(!amountCopied.isUndef()); in evalStrcpyCommon()1468 if (Optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>()) { in evalStrcpyCommon()1498 amountCopied = strLength; in evalStrcpyCommon()1518 Optional<NonLoc> srcStrLengthNL = amountCopied.getAs<NonLoc>(); in evalStrcpyCommon()1570 finalStrLength = amountCopied; in evalStrcpyCommon()[all …]