Searched refs:maxLastElementIndex (Results 1 – 1 of 1) sorted by relevance
1651 SVal maxLastElementIndex = UnknownVal(); in evalStrcpyCommon() local1758 maxLastElementIndex = svalBuilder.evalBinOpNN( in evalStrcpyCommon()1802 maxLastElementIndex = in evalStrcpyCommon()1920 if (Optional<NonLoc> maxLastNL = maxLastElementIndex.getAs<NonLoc>()) { in evalStrcpyCommon()