Searched refs:finalStrLength (Results 1 – 1 of 1) sorted by relevance
1501 SVal finalStrLength = UnknownVal(); in evalStrcpyCommon() local1523 finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *srcStrLengthNL, in evalStrcpyCommon()1529 if (finalStrLength.isUnknown()) { in evalStrcpyCommon()1532 finalStrLength = getCStringLength(C, state, CE, DstVal, true); in evalStrcpyCommon()1533 assert(!finalStrLength.isUndef()); in evalStrcpyCommon()1535 if (Optional<NonLoc> finalStrLengthNL = finalStrLength.getAs<NonLoc>()) { in evalStrcpyCommon()1565 finalStrLength = amountCopied; in evalStrcpyCommon()1594 if (Optional<NonLoc> knownStrLength = finalStrLength.getAs<NonLoc>()) { in evalStrcpyCommon()1633 finalStrLength = UnknownVal(); in evalStrcpyCommon()1635 state = setCStringLength(state, dstRegVal->getRegion(), finalStrLength); in evalStrcpyCommon()