libstdc++-v3/testsuite/30_threads/shared_future/members/get2.cc

   1 // { dg-do run }
   2 // { dg-additional-options "-pthread" { target pthread } }
   3 // { dg-require-effective-target c++11 }
   4 // { dg-require-gthreads "" }
   5
   6 // Copyright (C) 2009-2022 Free Software Foundation, Inc.
   7 //
   8 // This file is part of the GNU ISO C++ Library.  This library is free
   9 // software; you can redistribute it and/or modify it under the
  10 // terms of the GNU General Public License as published by the
  11 // Free Software Foundation; either version 3, or (at your option)
  12 // any later version.
  13
  14 // This library is distributed in the hope that it will be useful,
  15 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  16 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  17 // GNU General Public License for more details.
  18
  19 // You should have received a copy of the GNU General Public License along
  20 // with this library; see the file COPYING3.  If not see
  21 // <http://www.gnu.org/licenses/>.
  22
  23
  24 #include <future>
  25 #include <exception>
  26 #include <testsuite_hooks.h>
  27
  28 int value = 99;
  29
  30 void test01()
  31 {
  32   std::promise<int> p1;
  33   std::shared_future<int> f1(p1.get_future());
  34   std::shared_future<int> f2(f1);
  35
  36   p1.set_exception(std::make_exception_ptr(value));
  37   try
  38   {
  39     (void) f1.get();
  40     VERIFY( false );
  41   }
  42   catch (int& e)
  43   {
  44     VERIFY( e == value );
  45   }
  46   try
  47   {
  48     (void) f2.get();
  49     VERIFY( false );
  50   }
  51   catch (int& e)
  52   {
  53     VERIFY( e == value );
  54   }
  55 }
  56
  57 void test02()
  58 {
  59   std::promise<int&> p1;
  60   std::shared_future<int&> f1(p1.get_future());
  61   std::shared_future<int&> f2(f1);
  62
  63   p1.set_exception(std::make_exception_ptr(value));
  64   try
  65   {
  66     (void) f1.get();
  67     VERIFY( false );
  68   }
  69   catch (int& e)
  70   {
  71     VERIFY( e == value );
  72   }
  73   try
  74   {
  75     (void) f2.get();
  76     VERIFY( false );
  77   }
  78   catch (int& e)
  79   {
  80     VERIFY( e == value );
  81   }
  82 }
  83
  84 void test03()
  85 {
  86   std::promise<void> p1;
  87   std::shared_future<void> f1(p1.get_future());
  88   std::shared_future<void> f2(f1);
  89
  90   p1.set_exception(std::make_exception_ptr(value));
  91   try
  92   {
  93     f1.get();
  94     VERIFY( false );
  95   }
  96   catch (int& e)
  97   {
  98     VERIFY( e == value );
  99   }
 100   try
 101   {
 102     f2.get();
 103     VERIFY( false );
 104   }
 105   catch (int& e)
 106   {
 107     VERIFY( e == value );
 108   }
 109 }
 110
 111 int main()
 112 {
 113   test01();
 114   test02();
 115   test03();
 116
 117   return 0;
 118 }