1983                             _Distance __len1, _Distance __len2) {  in __merge_without_buffer()  argument
1984   if (__len1 == 0 || __len2 == 0)  in __merge_without_buffer()
1986   if (__len1 + __len2 == 2) {  in __merge_without_buffer()
1995   if (__len1 > __len2) {  in __merge_without_buffer()
2002     __len22 = __len2 / 2;  in __merge_without_buffer()
2012                          __len2 - __len22);  in __merge_without_buffer()
2019                             _Distance __len1, _Distance __len2,  in __merge_without_buffer()  argument
2021   if (__len1 == 0 || __len2 == 0)  in __merge_without_buffer()
2023   if (__len1 + __len2 == 2) {  in __merge_without_buffer()
2032   if (__len1 > __len2) {  in __merge_without_buffer()
2039     __len22 = __len2 / 2;  in __merge_without_buffer()
2049                          __len2 - __len22, __comp);  in __merge_without_buffer()
2057                                       _Distance __len1, _Distance __len2,  in __rotate_adaptive()  argument
2061   if (__len1 > __len2 && __len2 <= __buffer_size) {  in __rotate_adaptive()
2138                       _Distance __len1, _Distance __len2,  in __merge_adaptive()  argument
2140   if (__len1 <= __len2 && __len1 <= __buffer_size) {  in __merge_adaptive()
2144   else if (__len2 <= __buffer_size) {  in __merge_adaptive()
2153     if (__len1 > __len2) {  in __merge_adaptive()
2160       __len22 = __len2 / 2;  in __merge_adaptive()
2171                      __len2 - __len22, __buffer, __buffer_size);  in __merge_adaptive()
2180                       _Distance __len1, _Distance __len2,  in __merge_adaptive()  argument
2183   if (__len1 <= __len2 && __len1 <= __buffer_size) {  in __merge_adaptive()
2187   else if (__len2 <= __buffer_size) {  in __merge_adaptive()
2197     if (__len1 > __len2) {  in __merge_adaptive()
2204       __len22 = __len2 / 2;  in __merge_adaptive()
2215                      __len2 - __len22, __buffer, __buffer_size, __comp);  in __merge_adaptive()
2225   _Distance __len2 = 0;  in __inplace_merge_aux()  local
2226   distance(__middle, __last, __len2);  in __inplace_merge_aux()
2230     __merge_without_buffer(__first, __middle, __last, __len1, __len2);  in __inplace_merge_aux()
2232     __merge_adaptive(__first, __middle, __last, __len1, __len2,  in __inplace_merge_aux()
2244   _Distance __len2 = 0;  in __inplace_merge_aux()  local
2245   distance(__middle, __last, __len2);  in __inplace_merge_aux()
2249     __merge_without_buffer(__first, __middle, __last, __len1, __len2, __comp);  in __inplace_merge_aux()
2251     __merge_adaptive(__first, __middle, __last, __len1, __len2,  in __inplace_merge_aux()