libstdc++-v3/testsuite/20_util/pair/noexcept_swap.cc

   1 // { dg-do compile { target c++11 } }
   2
   3 // 2011-05-20  Paolo Carlini  <paolo.carlini@oracle.com>
   4 //
   5 // Copyright (C) 2011-2020 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");