Searched refs:maxLastElementIndex (Results 1 – 1 of 1) sorted by relevance
1367 SVal maxLastElementIndex = UnknownVal(); in evalStrcpyCommon() local1420 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Add, in evalStrcpyCommon()1451 maxLastElementIndex = svalBuilder.evalBinOpNN(state, BO_Sub, *lenValNL, in evalStrcpyCommon()1588 if (Optional<NonLoc> maxLastNL = maxLastElementIndex.getAs<NonLoc>()) { in evalStrcpyCommon()