]>
git.ipfire.org Git - thirdparty/gcc.git/blob - libstdc++-v3/testsuite/23_containers/vector/modifiers/push_back/strong_guarantee.cc
1 // Copyright (C) 2015-2016 Free Software Foundation, Inc.
3 // This file is part of the GNU ISO C++ Library. This library is free
4 // software; you can redistribute it and/or modify it under the
5 // terms of the GNU General Public License as published by the
6 // Free Software Foundation; either version 3, or (at your option)
9 // This library is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 // GNU General Public License for more details.
14 // You should have received a copy of the GNU General Public License along
15 // with this library; see the file COPYING3. If not see
16 // <http://www.gnu.org/licenses/>.
18 // { dg-do run { target c++11 } }
21 #include <testsuite_hooks.h>
24 void check(const T
& t
)
27 VERIFY( !e
.moved_from
);
30 // This type is CopyInsertable into std::vector<Bomb> so push_back should
31 // have the strong exception-safety guarantee.
42 Bomb(Bomb
&& b
) noexcept(false)
49 // std::vector in GCC 4.x tries to use this constructor
50 template<typename T
> Bomb(T
&) = delete;
52 bool moved_from
= false;
69 std::vector
<Bomb
> v(2); // fill with armed bombs
70 v
.resize(v
.capacity()); // ensure no unused capacity
71 check(v
); // sanity check
75 // don't want any copies/moves of this object to throw
76 defused
.armed
= false;
77 // insert new element, existing elements will be relocated and explode
79 VERIFY(false); // should be unreachable
81 check(v
); // make sure no elements have been moved from