Searched refs:__result_real_last (Results 1 – 1 of 1) sorted by relevance
1262 _RandomAccessIter __result_real_last = __result_first; in __partial_sort_copy() local1263 while(__first != __last && __result_real_last != __result_last) { in __partial_sort_copy()1264 *__result_real_last = *__first; in __partial_sort_copy()1265 ++__result_real_last; in __partial_sort_copy()1268 make_heap(__result_first, __result_real_last, __comp); in __partial_sort_copy()1273 _Distance(__result_real_last - __result_first), in __partial_sort_copy()1279 sort_heap(__result_first, __result_real_last, __comp); in __partial_sort_copy()1280 return __result_real_last; in __partial_sort_copy()