equal
deleted
inserted
replaced
168 // cancelled |
168 // cancelled |
169 return NULL; |
169 return NULL; |
170 } |
170 } |
171 if (this->available_size() < requested + size_safety_cushion) { |
171 if (this->available_size() < requested + size_safety_cushion) { |
172 if (!this->accommodate(this->used_size(), requested + size_safety_cushion)) { |
172 if (!this->accommodate(this->used_size(), requested + size_safety_cushion)) { |
173 this->cancel(); |
173 assert(!this->is_valid(), "invariant"); |
174 return NULL; |
174 return NULL; |
175 } |
175 } |
176 } |
176 } |
177 assert(requested + size_safety_cushion <= this->available_size(), "invariant"); |
177 assert(requested + size_safety_cushion <= this->available_size(), "invariant"); |
178 return this->current_pos(); |
178 return this->current_pos(); |