+2010-12-14 Jonathan Wakely <jwakely.gcc@gmail.com>
+
+ PR libstdc++/45133
+ * include/std/future (__basic_future::wait): Throw if not valid.
+ (__basic_future::wait_for): Likewise.
+ (__basic_future::wait_until): Likewise.
+ (__basic_future::_M_get_result): Likewise.
+ * testsuite/30_threads/future/members/45133.cc: New.
+ * testsuite/30_threads/shared_future/members/45133.cc: New.
+
2010-12-14 Jonathan Wakely <jwakely.gcc@gmail.com>
PR libstdc++/46910
valid() const { return static_cast<bool>(_M_state); }
void
- wait() const { _M_state->wait(); }
+ wait() const
+ {
+ _State::_S_check(_M_state);
+ _M_state->wait();
+ }
template<typename _Rep, typename _Period>
bool
wait_for(const chrono::duration<_Rep, _Period>& __rel) const
- { return _M_state->wait_for(__rel); }
+ {
+ _State::_S_check(_M_state);
+ return _M_state->wait_for(__rel);
+ }
template<typename _Clock, typename _Duration>
bool
wait_until(const chrono::time_point<_Clock, _Duration>& __abs) const
- { return _M_state->wait_until(__abs); }
+ {
+ _State::_S_check(_M_state);
+ return _M_state->wait_until(__abs);
+ }
protected:
/// Wait for the state to be ready and rethrow any stored exception
__result_type
_M_get_result()
{
+ _State::_S_check(_M_state);
_Result_base& __res = _M_state->wait();
if (!(__res._M_error == 0))
rethrow_exception(__res._M_error);
--- /dev/null
+// { dg-options "-std=gnu++0x" }
+// { dg-require-cstdint "" }
+// { dg-require-gthreads "" }
+// { dg-require-atomic-builtins "" }
+
+// Copyright (C) 2010 Free Software Foundation
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// 30.6.6 Class template future [futures.unique_future]
+
+#include <future>
+#include <testsuite_hooks.h>
+
+// This test verifies behaviour which is encouraged by a non-normative note,
+// but not required.
+
+void
+test01()
+{
+ bool test __attribute__((unused)) = true;
+
+ std::promise<int> p;
+ std::future<int> f = p.get_future();
+ p.set_value(0);
+ f.get();
+ try
+ {
+ f.get();
+ VERIFY( false );
+ }
+ catch (std::future_error& e)
+ {
+ VERIFY( e.code() == std::future_errc::no_state );
+ }
+}
+
+void
+test02()
+{
+ bool test __attribute__((unused)) = true;
+
+ std::promise<int&> p;
+ std::future<int&> f = p.get_future();
+ int i = 0;
+ p.set_value(i);
+ f.get();
+ try
+ {
+ f.get();
+ VERIFY( false );
+ }
+ catch (std::future_error& e)
+ {
+ VERIFY( e.code() == std::future_errc::no_state );
+ }
+}
+
+void
+test03()
+{
+ bool test __attribute__((unused)) = true;
+
+ std::promise<void> p;
+ std::future<void> f = p.get_future();
+ p.set_value();
+ f.get();
+ try
+ {
+ f.get();
+ VERIFY( false );
+ }
+ catch (std::future_error& e)
+ {
+ VERIFY( e.code() == std::future_errc::no_state );
+ }
+}
+
+int main()
+{
+ test01();
+ test02();
+ test03();
+
+ return 0;
+}
+
--- /dev/null
+// { dg-options "-std=gnu++0x" }
+// { dg-require-cstdint "" }
+// { dg-require-gthreads "" }
+// { dg-require-atomic-builtins "" }
+
+// Copyright (C) 2010 Free Software Foundation
+//
+// This file is part of the GNU ISO C++ Library. This library is free
+// software; you can redistribute it and/or modify it under the
+// terms of the GNU General Public License as published by the
+// Free Software Foundation; either version 3, or (at your option)
+// any later version.
+
+// This library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License along
+// with this library; see the file COPYING3. If not see
+// <http://www.gnu.org/licenses/>.
+
+// 30.6.7 Class template shared_future [futures.shared_future]
+
+#include <future>
+#include <testsuite_hooks.h>
+
+// This test verifies behaviour which is encouraged by a non-normative note,
+// but not required.
+
+void
+test01()
+{
+ bool test __attribute__((unused)) = true;
+
+ std::shared_future<int> f;
+ try
+ {
+ f.get();
+ VERIFY( false );
+ }
+ catch (std::future_error& e)
+ {
+ VERIFY( e.code() == std::future_errc::no_state );
+ }
+}
+
+void
+test02()
+{
+ bool test __attribute__((unused)) = true;
+
+ std::shared_future<int&> f;
+ try
+ {
+ f.get();
+ VERIFY( false );
+ }
+ catch (std::future_error& e)
+ {
+ VERIFY( e.code() == std::future_errc::no_state );
+ }
+}
+
+void
+test03()
+{
+ bool test __attribute__((unused)) = true;
+
+ std::shared_future<void> f;
+ try
+ {
+ f.get();
+ VERIFY( false );
+ }
+ catch (std::future_error& e)
+ {
+ VERIFY( e.code() == std::future_errc::no_state );
+ }
+}
+
+int main()
+{
+ test01();
+ test02();
+ test03();
+
+ return 0;
+}
+
git://gcc.gnu.org / gcc.git / commitdiff