Searched refs:amountCopied (Results 1 – 1 of 1) sorted by relevance
1361 SVal amountCopied = UnknownVal(); in evalStrcpyCommon() local1393 amountCopied = lenVal; in evalStrcpyCommon()1398 amountCopied = strLength; in evalStrcpyCommon()1457 if (amountCopied.isUnknown() && !isAppending) { in evalStrcpyCommon()1460 amountCopied = getCStringLength(C, state, lenExpr, srcVal, true); in evalStrcpyCommon()1461 assert(!amountCopied.isUndef()); in evalStrcpyCommon()1463 if (Optional<NonLoc> amountCopiedNL = amountCopied.getAs<NonLoc>()) { in evalStrcpyCommon()1493 amountCopied = strLength; in evalStrcpyCommon()1513 Optional<NonLoc> srcStrLengthNL = amountCopied.getAs<NonLoc>(); in evalStrcpyCommon()1565 finalStrLength = amountCopied; in evalStrcpyCommon()[all …]