1077     const dimension_type top_i = stack_first_empty->second;  in redistribute_elements_in_subtree()  local
1083         PPL_ASSERT(last_used != top_i);  in redistribute_elements_in_subtree()
1084         PPL_ASSERT(indexes[top_i] == unused_index);  in redistribute_elements_in_subtree()
1086         new(&(data[top_i])) data_type(value);  in redistribute_elements_in_subtree()
1088         indexes[top_i] = key;  in redistribute_elements_in_subtree()
1091         if (last_used != top_i) {  in redistribute_elements_in_subtree()
1092           PPL_ASSERT(indexes[top_i] == unused_index);  in redistribute_elements_in_subtree()
1093           indexes[top_i] = indexes[last_used];  in redistribute_elements_in_subtree()
1095           move_data_element(data[top_i], data[last_used]);  in redistribute_elements_in_subtree()
1104       const dimension_type offset = (top_i & -top_i) / 2;  in redistribute_elements_in_subtree()
1112       stack_first_empty->second = top_i + offset;  in redistribute_elements_in_subtree()
1117       stack_first_empty->second  = top_i;  in redistribute_elements_in_subtree()
1123         stack_first_empty->second  = top_i - offset;  in redistribute_elements_in_subtree()