Lines Matching refs:amountCopied

1447   SVal amountCopied = UnknownVal();  in evalStrcpyCommon()  local
1479         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()
1719       if (amountCopied != strLength)  in evalStrcpyCommon()