Lines Matching refs:finalStrLength
1846 SVal finalStrLength = UnknownVal(); in evalStrcpyCommon() local
1877 finalStrLength = svalBuilder.evalBinOpNN(state, BO_Add, *amountCopiedNL, in evalStrcpyCommon()
1883 if (finalStrLength.isUnknown()) { in evalStrcpyCommon()
1886 finalStrLength = getCStringLength(C, state, CE, DstVal, true); in evalStrcpyCommon()
1887 assert(!finalStrLength.isUndef()); in evalStrcpyCommon()
1890 finalStrLength.getAs<NonLoc>()) { in evalStrcpyCommon()
1920 finalStrLength = amountCopied; in evalStrcpyCommon()
1934 Result = finalStrLength; in evalStrcpyCommon()
1957 if (std::optional<NonLoc> knownStrLength = finalStrLength.getAs<NonLoc>()) { in evalStrcpyCommon()
1995 finalStrLength = UnknownVal(); in evalStrcpyCommon()
1997 state = setCStringLength(state, dstRegVal->getRegion(), finalStrLength); in evalStrcpyCommon()