Searched refs:strlRetVal (Results 1 – 1 of 1) sorted by relevance
2089 SVal strlRetVal = UnknownVal(); in evalStrcpyCommon() local2093 strlRetVal = strLength; in evalStrcpyCommon()2106 strlRetVal = svalBuilder.evalBinOpNN(state, BO_Add, *strLengthNL, in evalStrcpyCommon()2175 Result = strlRetVal; in evalStrcpyCommon()