Lines Matching refs:finalStrLength
2086 SVal finalStrLength = UnknownVal(); in evalStrcpyCommon() local
2117 finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *amountCopiedNL, in evalStrcpyCommon()
2123 if (finalStrLength.isUnknown()) { in evalStrcpyCommon()
2126 finalStrLength = in evalStrcpyCommon()
2128 assert(!finalStrLength.isUndef()); in evalStrcpyCommon()
2131 finalStrLength.getAs<NonLoc>()) { in evalStrcpyCommon()
2161 finalStrLength = amountCopied; in evalStrcpyCommon()
2175 Result = finalStrLength; in evalStrcpyCommon()
2203 if (std::optional<NonLoc> knownStrLength = finalStrLength.getAs<NonLoc>()) { in evalStrcpyCommon()
2246 finalStrLength = UnknownVal(); in evalStrcpyCommon()
2248 state = setCStringLength(state, dstRegVal->getRegion(), finalStrLength); in evalStrcpyCommon()