2016-06-16 François Dumont <fdumont@gcc.gnu.org>
authorFrançois Dumont <fdumont@gcc.gnu.org>
Thu, 16 Jun 2016 20:34:08 +0000 (20:34 +0000)
committerFrançois Dumont <fdumont@gcc.gnu.org>
Thu, 16 Jun 2016 20:34:08 +0000 (20:34 +0000)
commitbd2ee798d5a5a39e19a3aa936e8fdf49c7e933c6
tree5524490378923dae76e78665cbf1b9ed8ed18ce3
parent1ac4d38e30651463081ab3606e9a60a909f4f37f
2016-06-16  François Dumont  <fdumont@gcc.gnu.org>

* include/debug/debug.h
(__glibcxx_requires_non_empty_range, __glibcxx_requires_nonempty)
(__glibcxx_requires_subscript): Move...
* include/debug/assertions.h: ...here and add __builtin_expect.
(_GLIBCXX_DEBUG_ONLY): Remove ; value.
* include/bits/stl_deque.h
(std::deque<>::operator[]): Add __glibcxx_requires_subscript check.
(std::deque<>::front()): Add __glibcxx_requires_nonempty check.
(std::deque<>::back()): Likewise.
(std::deque<>::pop_front()): Likewise.
(std::deque<>::pop_back()): Likewise.
(std::deque<>::swap(deque&)): Add allocator check.
* include/bits/stl_vector.h
(std::vector<>::operator[]): Add __glibcxx_requires_subscript check.
(std::vector<>::front()): Add __glibcxx_requires_nonempty check.
(std::vector<>::back()): Likewise.
(std::vector<>::pop_back()): Likewise.
(std::vector<>::swap(vector&)): Add allocator check.

From-SVN: r237541
libstdc++-v3/ChangeLog
libstdc++-v3/include/bits/stl_deque.h
libstdc++-v3/include/bits/stl_vector.h
libstdc++-v3/include/debug/assertions.h
libstdc++-v3/include/debug/debug.h
libstdc++-v3/include/debug/helper_functions.h