Searched refs:strlRetVal (Results 1 – 1 of 1) sorted by relevance
2087 SVal strlRetVal = UnknownVal(); in evalStrcpyCommon() local2091 strlRetVal = strLength; in evalStrcpyCommon()2104 strlRetVal = svalBuilder.evalBinOpNN(state, BO_Add, *strLengthNL, in evalStrcpyCommon()2173 Result = strlRetVal; in evalStrcpyCommon()