44             _Distance __holeIndex, _Distance __topIndex, _Tp __value)  in __push_heap()  argument
46   _Distance __parent = (__holeIndex - 1) / 2;  in __push_heap()
47   while (__holeIndex > __topIndex && *(__first + __parent) < __value) {  in __push_heap()
48     *(__first + __holeIndex) = *(__first + __parent);  in __push_heap()
49     __holeIndex = __parent;  in __push_heap()
50     __parent = (__holeIndex - 1) / 2;  in __push_heap()
52   *(__first + __holeIndex) = __value;  in __push_heap()
75 __push_heap(_RandomAccessIterator __first, _Distance __holeIndex,  in __push_heap()  argument
78   _Distance __parent = (__holeIndex - 1) / 2;  in __push_heap()
79   while (__holeIndex > __topIndex && __comp(*(__first + __parent), __value)) {  in __push_heap()
80     *(__first + __holeIndex) = *(__first + __parent);  in __push_heap()
81     __holeIndex = __parent;  in __push_heap()
82     __parent = (__holeIndex - 1) / 2;  in __push_heap()
84   *(__first + __holeIndex) = __value;  in __push_heap()
109 __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,  in __adjust_heap()  argument
112   _Distance __topIndex = __holeIndex;  in __adjust_heap()
113   _Distance __secondChild = 2 * __holeIndex + 2;  in __adjust_heap()
117     *(__first + __holeIndex) = *(__first + __secondChild);  in __adjust_heap()
118     __holeIndex = __secondChild;  in __adjust_heap()
122     *(__first + __holeIndex) = *(__first + (__secondChild - 1));  in __adjust_heap()
123     __holeIndex = __secondChild - 1;  in __adjust_heap()
125   __push_heap(__first, __holeIndex, __topIndex, __value);  in __adjust_heap()
156 __adjust_heap(_RandomAccessIterator __first, _Distance __holeIndex,  in __adjust_heap()  argument
159   _Distance __topIndex = __holeIndex;  in __adjust_heap()
160   _Distance __secondChild = 2 * __holeIndex + 2;  in __adjust_heap()
164     *(__first + __holeIndex) = *(__first + __secondChild);  in __adjust_heap()
165     __holeIndex = __secondChild;  in __adjust_heap()
169     *(__first + __holeIndex) = *(__first + (__secondChild - 1));  in __adjust_heap()
170     __holeIndex = __secondChild - 1;  in __adjust_heap()
172   __push_heap(__first, __holeIndex, __topIndex, __value, __comp);  in __adjust_heap()