Removes the last element in the array, effectively reducing the container size by one. This destroys the removed element. */
| 194 | container size by one. This destroys the removed element. |
| 195 | */ |
| 196 | void pop_back() |
| 197 | { |
| 198 | DBUG_ASSERT(!empty()); |
| 199 | if (!has_trivial_destructor) |
| 200 | back().~Element_type(); |
| 201 | m_size-= 1; |
| 202 | } |
| 203 | |
| 204 | /** |
| 205 | Resizes the container so that it contains n elements. |
no outgoing calls
no test coverage detected