Lines Matching refs:amountCopied

1451   SVal amountCopied = UnknownVal();  in evalStrcpyCommon()  local
1483         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()
1723       if (amountCopied != strLength)  in evalStrcpyCommon()