libstdc++-v3/testsuite/30_threads/promise/members/set_exception.cc

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