From: Jonathan Wakely Date: Mon, 25 Jun 2018 16:46:33 +0000 (+0100) Subject: PR libstdc++/86292 fix exception safety of std::vector constructor X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3685dcd7fb618b8dc7c7352a76a55efa959aae84;p=gcc.git PR libstdc++/86292 fix exception safety of std::vector constructor PR libstdc++/86292 * include/bits/stl_vector.h (vector::_M_range_initialize): Add try-catch block. * testsuite/23_containers/vector/cons/86292.cc: New. From-SVN: r262029 --- diff --git a/libstdc++-v3/ChangeLog b/libstdc++-v3/ChangeLog index fb7ae3eead6..1b6746def94 100644 --- a/libstdc++-v3/ChangeLog +++ b/libstdc++-v3/ChangeLog @@ -1,5 +1,10 @@ 2018-06-25 Jonathan Wakely + PR libstdc++/86292 + * include/bits/stl_vector.h (vector::_M_range_initialize): + Add try-catch block. + * testsuite/23_containers/vector/cons/86292.cc: New. + * doc/xml/manual/status_cxx2017.xml: Document N4531 status. * include/experimental/algorithm (sample, shuffle): Add new overloads diff --git a/libstdc++-v3/include/bits/stl_vector.h b/libstdc++-v3/include/bits/stl_vector.h index acec501bc1b..129d45cd34b 100644 --- a/libstdc++-v3/include/bits/stl_vector.h +++ b/libstdc++-v3/include/bits/stl_vector.h @@ -1440,22 +1440,27 @@ _GLIBCXX_BEGIN_NAMESPACE_CONTAINER // Called by the second initialize_dispatch above template void - _M_range_initialize(_InputIterator __first, - _InputIterator __last, std::input_iterator_tag) + _M_range_initialize(_InputIterator __first, _InputIterator __last, + std::input_iterator_tag) { - for (; __first != __last; ++__first) + __try { + for (; __first != __last; ++__first) #if __cplusplus >= 201103L - emplace_back(*__first); + emplace_back(*__first); #else - push_back(*__first); + push_back(*__first); #endif + } __catch(...) { + clear(); + __throw_exception_again; + } } // Called by the second initialize_dispatch above template void - _M_range_initialize(_ForwardIterator __first, - _ForwardIterator __last, std::forward_iterator_tag) + _M_range_initialize(_ForwardIterator __first, _ForwardIterator __last, + std::forward_iterator_tag) { const size_type __n = std::distance(__first, __last); this->_M_impl._M_start = this->_M_allocate(__n); diff --git a/libstdc++-v3/testsuite/23_containers/vector/cons/86292.cc b/libstdc++-v3/testsuite/23_containers/vector/cons/86292.cc new file mode 100644 index 00000000000..7103efb82ff --- /dev/null +++ b/libstdc++-v3/testsuite/23_containers/vector/cons/86292.cc @@ -0,0 +1,64 @@ +// Copyright (C) 2018 Free Software Foundation, Inc. +// +// This file is part of the GNU ISO C++ Library. This library is free +// software; you can redistribute it and/or modify it under the +// terms of the GNU General Public License as published by the +// Free Software Foundation; either version 3, or (at your option) +// any later version. + +// This library is distributed in the hope that it will be useful, +// but WITHOUT ANY WARRANTY; without even the implied warranty of +// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +// GNU General Public License for more details. + +// You should have received a copy of the GNU General Public License along +// with this library; see the file COPYING3. If not see +// . + +// { dg-do run } + +#include +#include +#include + +struct X +{ + X() { ++count; } + X(const X&) { if (++copies >= max_copies) throw 1; ++count; } + ~X() { --count; } + + static int count; + static int copies; + static int max_copies; +}; + +int X::count = 0; +int X::copies = 0; +int X::max_copies = 0; + +void +test01() +{ + X x[3]; + const int count = X::count; + X::max_copies = 2; + __gnu_test::test_container + x_input(x, x+3); + bool caught = false; + try + { + std::vector v(x_input.begin(), x_input.end()); + } + catch(int) + { + caught = true; + } + VERIFY( caught ); + VERIFY( X::count == count ); +} + +int +main() +{ + test01(); +}