1 // { dg-do compile { target c++11 } } 2 3 // 2011-05-20 Paolo Carlini <paolo.carlini@oracle.com> 4 // 5 // Copyright (C) 2011-2019 Free Software Foundation, Inc. 6 // 7 // This file is part of the GNU ISO C++ Library. This library is free 8 // software; you can redistribute it and/or modify it under the 9 // terms of the GNU General Public License as published by the 10 // Free Software Foundation; either version 3, or (at your option) 11 // any later version. 12 // 13 // This library is distributed in the hope that it will be useful, 14 // but WITHOUT ANY WARRANTY; without even the implied warranty of 15 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 16 // GNU General Public License for more details. 17 // 18 // You should have received a copy of the GNU General Public License along 19 // with this library; see the file COPYING3. If not see 20 // <http://www.gnu.org/licenses/>. 21 22 #include <utility> 23 #include <testsuite_tr1.h> 24 25 using namespace __gnu_test; 26 27 typedef std::pair<int, int> tt1; 28 typedef std::pair<int, double> tt2; 29 typedef std::pair<short, NoexceptMoveAssignClass> tt4; 30 typedef std::pair<ExceptMoveAssignClass, double> tt6; 31 typedef std::pair<int, ExceptMoveConsClass> tt9; 32 typedef std::pair<ExceptMoveAssignClass, short> tt10; 33 typedef std::pair<short, NoexceptMoveConsClass> tt11; 34 typedef std::pair<NoexceptMoveConsClass, 35 NoexceptMoveConsClass> tt12; 36 typedef std::pair<NoexceptMoveConsNoexceptMoveAssignClass, 37 NoexceptMoveConsNoexceptMoveAssignClass> tt13; 38 typedef std::pair<ExceptMoveConsNoexceptMoveAssignClass, 39 ExceptMoveConsNoexceptMoveAssignClass> tt14; 40 typedef std::pair<NoexceptMoveConsExceptMoveAssignClass, 41 NoexceptMoveConsExceptMoveAssignClass> tt15; 42 typedef std::pair<ExceptMoveConsExceptMoveAssignClass, 43 ExceptMoveConsExceptMoveAssignClass> tt16; 44 typedef std::pair<NoexceptMoveConsNoexceptMoveAssignClass, 45 double> tt17; 46 typedef std::pair<NoexceptMoveConsNoexceptMoveAssignClass, 47 NoexceptMoveConsNoexceptMoveAssignClass> tt19; 48 typedef std::pair<NoexceptMoveConsNoexceptMoveAssignClass, 49 ExceptMoveConsNoexceptMoveAssignClass> tt21; 50 51 static_assert(noexcept(std::declval<tt1&>().swap(std::declval<tt1&>())), 52 "Error"); 53 static_assert(noexcept(std::declval<tt2&>().swap(std::declval<tt2&>())), 54 "Error"); 55 static_assert(noexcept(std::declval<tt4&>().swap(std::declval<tt4&>())), 56 "Error"); 57 static_assert(!noexcept(std::declval<tt6&>().swap(std::declval<tt6&>())), 58 "Error"); 59 static_assert(!noexcept(std::declval<tt9&>().swap(std::declval<tt9&>())), 60 "Error"); 61 static_assert(!noexcept(std::declval<tt10&>().swap(std::declval<tt10&>())), 62 "Error"); 63 static_assert(noexcept(std::declval<tt11&>().swap(std::declval<tt11&>())), 64 "Error"); 65 static_assert(noexcept(std::declval<tt12&>().swap(std::declval<tt12&>())), 66 "Error"); 67 static_assert(noexcept(std::declval<tt13&>().swap(std::declval<tt13&>())), 68 "Error"); 69 static_assert(!noexcept(std::declval<tt14&>().swap(std::declval<tt14&>())), 70 "Error"); 71 static_assert(!noexcept(std::declval<tt15&>().swap(std::declval<tt15&>())), 72 "Error"); 73 static_assert(!noexcept(std::declval<tt16&>().swap(std::declval<tt16&>())), 74 "Error"); 75 static_assert(noexcept(std::declval<tt17&>().swap(std::declval<tt17&>())), 76 "Error"); 77 static_assert(noexcept(std::declval<tt19&>().swap(std::declval<tt19&>())), 78 "Error"); 79 static_assert(!noexcept(std::declval<tt21&>().swap(std::declval<tt21&>())), 80 "Error"); 81