Searched refs:xs_end (Results 1 – 1 of 1) sorted by relevance
59 iterator xs_end = xs.end(); in sort() local63 while (xs_it != xs_end && ys_it != ys_end) { in sort()71 xs.splice(xs_end, ys, ys_it, ys_end); in sort()