213
214 assert(count < num_regions,
215 "%s", hrs_err_msg("[%s] should not come across more regions "
216 "pending for removal than num_regions: %u",
217 name(), num_regions).buffer());
218
219 if (prev == NULL) {
220 assert(_head == curr, "%s", hrs_ext_msg(this, "invariant").buffer());
221 _head = next;
222 } else {
223 assert(_head != curr, "%s", hrs_ext_msg(this, "invariant").buffer());
224 prev->set_next(next);
225 }
226 if (next == NULL) {
227 assert(_tail == curr, "%s", hrs_ext_msg(this, "invariant").buffer());
228 _tail = prev;
229 } else {
230 assert(_tail != curr, "%s", hrs_ext_msg(this, "invariant").buffer());
231 next->set_prev(prev);
232 }
233 if (_last = curr) {
234 _last = NULL;
235 }
236
237 curr->set_next(NULL);
238 curr->set_prev(NULL);
239 remove(curr);
240
241 count++;
242 curr = next;
243 }
244
245 assert(count == num_regions,
246 "%s", hrs_err_msg("[%s] count: %u should be == num_regions: %u",
247 name(), count, num_regions).buffer());
248 assert(length() + num_regions == old_length,
249 "%s", hrs_err_msg("[%s] new length should be consistent "
250 "new length: %u old length: %u num_regions: %u",
251 name(), length(), old_length, num_regions).buffer());
252
253 verify_optional();
|
213
214 assert(count < num_regions,
215 "%s", hrs_err_msg("[%s] should not come across more regions "
216 "pending for removal than num_regions: %u",
217 name(), num_regions).buffer());
218
219 if (prev == NULL) {
220 assert(_head == curr, "%s", hrs_ext_msg(this, "invariant").buffer());
221 _head = next;
222 } else {
223 assert(_head != curr, "%s", hrs_ext_msg(this, "invariant").buffer());
224 prev->set_next(next);
225 }
226 if (next == NULL) {
227 assert(_tail == curr, "%s", hrs_ext_msg(this, "invariant").buffer());
228 _tail = prev;
229 } else {
230 assert(_tail != curr, "%s", hrs_ext_msg(this, "invariant").buffer());
231 next->set_prev(prev);
232 }
233 if (_last == curr) {
234 _last = NULL;
235 }
236
237 curr->set_next(NULL);
238 curr->set_prev(NULL);
239 remove(curr);
240
241 count++;
242 curr = next;
243 }
244
245 assert(count == num_regions,
246 "%s", hrs_err_msg("[%s] count: %u should be == num_regions: %u",
247 name(), count, num_regions).buffer());
248 assert(length() + num_regions == old_length,
249 "%s", hrs_err_msg("[%s] new length should be consistent "
250 "new length: %u old length: %u num_regions: %u",
251 name(), length(), old_length, num_regions).buffer());
252
253 verify_optional();
|