Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix warning and undefined behavior (#4236)
* Move instead of copy. * std::vector::erase invalidates the iterator, thus the original code has undefined behavior in principle.
- Loading branch information