Searched refs:finalStrLength (Results 1 – 1 of 1) sorted by relevance
2086 SVal finalStrLength = UnknownVal(); in evalStrcpyCommon() local2117 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()[all …]