1// { dg-do run { target *-*-freebsd* *-*-dragonfly* *-*-netbsd* *-*-linux* *-*-gnu* *-*-solaris* *-*-cygwin *-*-darwin* powerpc-ibm-aix* } }
2// { dg-options " -std=gnu++11 -pthread" { target *-*-freebsd* *-*-dragonfly* *-*-netbsd* *-*-linux* *-*-gnu* powerpc-ibm-aix* } }
3// { dg-options " -std=gnu++11 -pthreads" { target *-*-solaris* } }
4// { dg-options " -std=gnu++11 " { target *-*-cygwin *-*-darwin* } }
5// { dg-require-cstdint "" }
6// { dg-require-gthreads "" }
7// { dg-require-atomic-builtins "" }
8
9// Copyright (C) 2010-2015 Free Software Foundation, Inc.
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
34void
35test01()
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
51void
52test02()
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
68void
69test03()
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
85int main()
86{
87  test01();
88  test02();
89  test03();
90
91  return 0;
92}
93
94