libstdc++-v3/testsuite/30_threads/future/members/45133.cc

   1 // { dg-do run { target *-*-freebsd* *-*-netbsd* *-*-linux* *-*-solaris* *-*-cygwin *-*-darwin* powerpc-ibm-aix* } }
   2 // { dg-options " -std=gnu++0x -pthread" { target *-*-freebsd* *-*-netbsd* *-*-linux* powerpc-ibm-aix* } }
   3 // { dg-options " -std=gnu++0x -pthreads" { target *-*-solaris* } }
   4 // { dg-options " -std=gnu++0x " { target *-*-cygwin *-*-darwin* } }
   5 // { dg-require-cstdint "" }
   6 // { dg-require-gthreads "" }
   7 // { dg-require-atomic-builtins "" }
   8
   9 // Copyright (C) 2010, 2011, 2012 Free Software Foundation
  10 //
  11 // This file is part of the GNU ISO C++ Library.  This library is free
  12 // software; you can redistribute it and/or modify it under the
  13 // terms of the GNU General Public License as published by the
  14 // Free Software Foundation; either version 3, or (at your option)
  15 // any later version.
  16
  17 // This library is distributed in the hope that it will be useful,
  18 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  19 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  20 // GNU General Public License for more details.
  21
  22 // You should have received a copy of the GNU General Public License along
  23 // with this library; see the file COPYING3.  If not see
  24 // <http://www.gnu.org/licenses/>.
  25
  26 // 30.6.6 Class template future [futures.unique_future]
  27
  28 #include <future>
  29 #include <testsuite_hooks.h>
  30
  31 // This test verifies behaviour which is encouraged by a non-normative note,
  32 // but not required.
  33
  34 void
  35 test01()
  36 {
  37   bool test __attribute__((unused)) = true;
  38
  39   std::promise<int> p;
  40   std::future<int> f = p.get_future();
  41   p.set_value(0);
  42   f.get();
  43   try
  44   {
  45     f.get();
  46     VERIFY( false );
  47   }
  48   catch (std::future_error& e)
  49   {
  50     VERIFY( e.code() == std::future_errc::no_state );
  51   }
  52 }
  53
  54 void
  55 test02()
  56 {
  57   bool test __attribute__((unused)) = true;
  58
  59   std::promise<int&> p;
  60   std::future<int&> f = p.get_future();
  61   int i = 0;
  62   p.set_value(i);
  63   f.get();
  64   try
  65   {
  66     f.get();
  67     VERIFY( false );
  68   }
  69   catch (std::future_error& e)
  70   {
  71     VERIFY( e.code() == std::future_errc::no_state );
  72   }
  73 }
  74
  75 void
  76 test03()
  77 {
  78   bool test __attribute__((unused)) = true;
  79
  80   std::promise<void> p;
  81   std::future<void> f = p.get_future();
  82   p.set_value();
  83   f.get();
  84   try
  85   {
  86     f.get();
  87     VERIFY( false );
  88   }
  89   catch (std::future_error& e)
  90   {
  91     VERIFY( e.code() == std::future_errc::no_state );
  92   }
  93 }
  94
  95 int main()
  96 {
  97   test01();
  98   test02();
  99   test03();
 100
 101   return 0;
 102 }
 103