Searched refs:strlRetVal (Results 1 – 1 of 1) sorted by relevance
1753 SVal strlRetVal = UnknownVal(); in evalStrcpyCommon() local1757 strlRetVal = strLength; in evalStrcpyCommon()1770 strlRetVal = svalBuilder.evalBinOpNN(state, BO_Add, *strLengthNL, in evalStrcpyCommon()1837 Result = strlRetVal; in evalStrcpyCommon()