1 // Copyright (C) 2015-2019 Free Software Foundation, Inc.
2 //
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)
7 // any later version.
8
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.
13
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/>.
17
18 // { dg-do compile { target c++11 } }
19 // COW strings don't support C++11 allocators:
20 // { dg-require-effective-target cxx11-abi }
21
22 #include <string>
23 #include <testsuite_allocator.h>
24
25 using C = char;
26 const C c = 'a';
27 using traits = std::char_traits<C>;
28
29 using __gnu_test::propagating_allocator;
30
test01()31 void test01()
32 {
33 typedef std::allocator<C> alloc_type;
34 typedef std::basic_string<C, traits, alloc_type> test_type;
35 test_type v1;
36 test_type v2;
37 // this is a GNU extension for std::allocator
38 static_assert( noexcept( v1 = std::move(v2) ), "Move assign cannot throw" );
39 static_assert( noexcept( v1.swap(v2) ), "Swap cannot throw" );
40 }
41
test02()42 void test02()
43 {
44 typedef propagating_allocator<C, false> alloc_type;
45 typedef std::basic_string<C, traits, alloc_type> test_type;
46 test_type v1(alloc_type(1));
47 test_type v2(alloc_type(2));
48 static_assert( !noexcept( v1 = std::move(v2) ), "Move assign can throw" );
49 static_assert( noexcept( v1.swap(v2) ), "Swap cannot throw" );
50 }
51
test03()52 void test03()
53 {
54 typedef propagating_allocator<C, true> alloc_type;
55 typedef std::basic_string<C, traits, alloc_type> test_type;
56 test_type v1(alloc_type(1));
57 test_type v2(alloc_type(2));
58 static_assert( noexcept( v1 = std::move(v2) ), "Move assign cannot throw" );
59 static_assert( noexcept( v1.swap(v2) ), "Swap cannot throw" );
60 }
61