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

   1 // { dg-do run { target *-*-freebsd* *-*-netbsd* *-*-linux* *-*-solaris* *-*-cygwin *-*-darwin* alpha*-*-osf* mips-sgi-irix6* } }
   2 // { dg-options " -std=gnu++0x -pthread" { target *-*-freebsd* *-*-netbsd* *-*-linux* alpha*-*-osf* mips-sgi-irix6* } }
   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 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.7 Class template shared_future [futures.shared_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::shared_future<int> f;
  40   try
  41   {
  42     f.get();
  43     VERIFY( false );
  44   }
  45   catch (std::future_error& e)
  46   {
  47     VERIFY( e.code() == std::future_errc::no_state );
  48   }
  49 }
  50
  51 void
  52 test02()
  53 {
  54   bool test __attribute__((unused)) = true;
  55
  56   std::shared_future<int&> f;
  57   try
  58   {
  59     f.get();
  60     VERIFY( false );
  61   }
  62   catch (std::future_error& e)
  63   {
  64     VERIFY( e.code() == std::future_errc::no_state );
  65   }
  66 }
  67
  68 void
  69 test03()
  70 {
  71   bool test __attribute__((unused)) = true;
  72
  73   std::shared_future<void> f;
  74   try
  75   {
  76     f.get();
  77     VERIFY( false );
  78   }
  79   catch (std::future_error& e)
  80   {
  81     VERIFY( e.code() == std::future_errc::no_state );
  82   }
  83 }
  84
  85 int main()
  86 {
  87   test01();
  88   test02();
  89   test03();
  90
  91   return 0;
  92 }
  93