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) 2009, 2010 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#include <future> 27#include <testsuite_hooks.h> 28 29 30// Test promise::set_value() for deadlock by checking if the state is ready 31// during construction and destruction of the associated state. 32 33struct tester 34{ 35 tester(int); 36 tester(const tester&); 37 tester() = delete; 38 tester& operator=(const tester&); 39}; 40 41std::promise<tester> pglobal; 42std::future<tester> fglobal = pglobal.get_future(); 43 44tester::tester(int) 45{ 46 bool test __attribute__((unused)) = true; 47 VERIFY (!fglobal.wait_for(std::chrono::milliseconds(1))); 48} 49 50tester::tester(const tester&) 51{ 52 bool test __attribute__((unused)) = true; 53 // if this copy happens while a mutex is locked next line could deadlock: 54 VERIFY (!fglobal.wait_for(std::chrono::milliseconds(1))); 55} 56 57tester& tester::operator=(const tester&) 58{ 59 bool test __attribute__((unused)) = true; 60 // if this copy happens while a mutex is locked next line could deadlock: 61 VERIFY (!fglobal.wait_for(std::chrono::milliseconds(1))); 62 return *this; 63} 64 65void test01() 66{ 67 bool test __attribute__((unused)) = true; 68 69 pglobal.set_value( tester(1) ); 70 71 VERIFY( fglobal.wait_for(std::chrono::milliseconds(1)) ); 72} 73 74int main() 75{ 76 test01(); 77 return 0; 78} 79