| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
| |
Github-Pull: #9856
Rebased-From: d4ee7baef729da5e18b5e5c3d6ddb5b97df8d4e4
|
| |
|
|
|
|
| |
Edited via:
$ contrib/devtools/copyright_header.py update .
|
| |
|
|
|
| |
Such moves are used when reallocating vectors that contain them,
for example.
|
| |
|
|
|
|
|
| |
Implement `begin_ptr` and `end_ptr` in terms of C++11 code,
and add a comment that they are deprecated.
Follow-up to developer notes update in 654a21162252294b7dbd6c982fec88008af7335e.
|
| |
|
|
| |
This returns a pointer to the beginning of the vector's data.
|
| |
|
|
|
|
|
|
|
|
| |
swap was using an incorrect condition to determine when to apply an optimization
(not swapping the full direct[] when swapping two indirect prevectors).
Rather than correct the optimization I'm removing it for simplicity. Removing
this optimization minutely improves performance in the typical (currently only)
usage of member swap(), which is swapping with a freshly value-initialized
object.
|
| |
|
|
|
|
|
|
|
| |
Fixes a bug in which pop_back did not call the deleted item's destructor.
Using the most general erase() implementation to implement all the others
prevents similar bugs because the coupling between deallocation and destructor
invocation only needs to be maintained in one place.
Also reduces duplication of complex memmove logic.
|
| | |
|
| | |
|
| |
|