]>
Commit | Line | Data |
---|---|---|
37d13ae6 | 1 | // { dg-do run { target *-*-freebsd* *-*-dragonfly* *-*-netbsd* *-*-linux* *-*-gnu* *-*-solaris* *-*-cygwin *-*-rtems* *-*-darwin* powerpc-ibm-aix* } } |
71c54f8e JW |
2 | // { dg-options "-pthread" { target *-*-freebsd* *-*-dragonfly* *-*-netbsd* *-*-linux* *-*-gnu* *-*-solaris* powerpc-ibm-aix* } } |
3 | // { dg-require-effective-target c++11 } | |
c910ceff JW |
4 | // { dg-require-cstdint "" } |
5 | // { dg-require-gthreads "" } | |
6 | // { dg-require-atomic-builtins "" } | |
7 | ||
818ab71a | 8 | // Copyright (C) 2009-2016 Free Software Foundation, Inc. |
c910ceff JW |
9 | // |
10 | // This file is part of the GNU ISO C++ Library. This library is free | |
11 | // software; you can redistribute it and/or modify it under the | |
12 | // terms of the GNU General Public License as published by the | |
13 | // Free Software Foundation; either version 3, or (at your option) | |
14 | // any later version. | |
15 | ||
16 | // This library is distributed in the hope that it will be useful, | |
17 | // but WITHOUT ANY WARRANTY; without even the implied warranty of | |
18 | // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
19 | // GNU General Public License for more details. | |
20 | ||
21 | // You should have received a copy of the GNU General Public License along | |
22 | // with this library; see the file COPYING3. If not see | |
23 | // <http://www.gnu.org/licenses/>. | |
24 | ||
c910ceff JW |
25 | #include <future> |
26 | #include <testsuite_hooks.h> | |
27 | ||
28 | ||
29 | // Test promise::set_value() for deadlock by checking if the state is ready | |
30 | // during construction and destruction of the associated state. | |
31 | ||
32 | struct tester | |
33 | { | |
34 | tester(int); | |
35 | tester(const tester&); | |
36 | tester() = delete; | |
c910ceff JW |
37 | tester& operator=(const tester&); |
38 | }; | |
39 | ||
40 | std::promise<tester> pglobal; | |
b3eed6fe | 41 | std::future<tester> fglobal = pglobal.get_future(); |
c910ceff | 42 | |
488b3e65 JW |
43 | auto delay = std::chrono::milliseconds(1); |
44 | ||
c910ceff JW |
45 | tester::tester(int) |
46 | { | |
47 | bool test __attribute__((unused)) = true; | |
488b3e65 | 48 | VERIFY (fglobal.wait_for(delay) == std::future_status::timeout); |
c910ceff JW |
49 | } |
50 | ||
51 | tester::tester(const tester&) | |
52 | { | |
53 | bool test __attribute__((unused)) = true; | |
54 | // if this copy happens while a mutex is locked next line could deadlock: | |
488b3e65 | 55 | VERIFY (fglobal.wait_for(delay) == std::future_status::timeout); |
c910ceff JW |
56 | } |
57 | ||
58 | tester& tester::operator=(const tester&) | |
59 | { | |
60 | bool test __attribute__((unused)) = true; | |
61 | // if this copy happens while a mutex is locked next line could deadlock: | |
488b3e65 | 62 | VERIFY (fglobal.wait_for(delay) == std::future_status::timeout); |
c910ceff JW |
63 | return *this; |
64 | } | |
65 | ||
c910ceff JW |
66 | void test01() |
67 | { | |
68 | bool test __attribute__((unused)) = true; | |
69 | ||
70 | pglobal.set_value( tester(1) ); | |
71 | ||
488b3e65 | 72 | VERIFY (fglobal.wait_for(delay) == std::future_status::ready); |
c910ceff JW |
73 | } |
74 | ||
75 | int main() | |
76 | { | |
77 | test01(); | |
c910ceff JW |
78 | return 0; |
79 | } |