]>
Commit | Line | Data |
---|---|---|
d1236680 RO |
1 | // { dg-do run } |
2 | // { dg-options "-pthread" } | |
71c54f8e | 3 | // { dg-require-effective-target c++11 } |
d1236680 | 4 | // { dg-require-effective-target pthread } |
c910ceff | 5 | // { dg-require-gthreads "" } |
c910ceff | 6 | |
8d9254fc | 7 | // Copyright (C) 2009-2020 Free Software Foundation, Inc. |
c910ceff JW |
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 | ||
25 | #include <future> | |
26 | #include <exception> | |
27 | #include <testsuite_hooks.h> | |
28 | ||
29 | int value = 99; | |
30 | ||
31 | void test01() | |
32 | { | |
c910ceff | 33 | std::promise<int> p1; |
b3eed6fe | 34 | std::future<int> f1(p1.get_future()); |
c910ceff | 35 | |
ec98d010 | 36 | p1.set_exception(std::make_exception_ptr(value)); |
c910ceff JW |
37 | try |
38 | { | |
39 | (void) f1.get(); | |
40 | VERIFY( false ); | |
41 | } | |
42 | catch (int& e) | |
43 | { | |
44 | VERIFY( e == value ); | |
45 | } | |
b3eed6fe | 46 | VERIFY( !f1.valid() ); |
c910ceff JW |
47 | } |
48 | ||
49 | void test02() | |
50 | { | |
c910ceff | 51 | std::promise<int&> p1; |
b3eed6fe | 52 | std::future<int&> f1(p1.get_future()); |
c910ceff | 53 | |
ec98d010 | 54 | p1.set_exception(std::make_exception_ptr(value)); |
c910ceff JW |
55 | try |
56 | { | |
57 | (void) f1.get(); | |
58 | VERIFY( false ); | |
59 | } | |
60 | catch (int& e) | |
61 | { | |
62 | VERIFY( e == value ); | |
63 | } | |
b3eed6fe | 64 | VERIFY( !f1.valid() ); |
c910ceff JW |
65 | } |
66 | ||
67 | void test03() | |
68 | { | |
c910ceff | 69 | std::promise<void> p1; |
b3eed6fe | 70 | std::future<void> f1(p1.get_future()); |
c910ceff | 71 | |
ec98d010 | 72 | p1.set_exception(std::make_exception_ptr(value)); |
c910ceff JW |
73 | try |
74 | { | |
75 | f1.get(); | |
76 | VERIFY( false ); | |
77 | } | |
78 | catch (int& e) | |
79 | { | |
80 | VERIFY( e == value ); | |
81 | } | |
b3eed6fe | 82 | VERIFY( !f1.valid() ); |
c910ceff JW |
83 | } |
84 | ||
85 | int main() | |
86 | { | |
87 | test01(); | |
88 | test02(); | |
89 | test03(); | |
90 | ||
91 | return 0; | |
92 | } |