199be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant//===----------------------------------------------------------------------===//
299be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant//
399be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant//                     The LLVM Compiler Infrastructure
499be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant//
5b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// This file is dual licensed under the MIT and the University of Illinois Open
6b64f8b07c104c6cc986570ac8ee0ed16a9f23976Howard Hinnant// Source Licenses. See LICENSE.TXT for details.
799be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant//
899be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant//===----------------------------------------------------------------------===//
98d86b2e6867297fb2109824c67c50de67f3a31f2Jonathan Roelofs//
108d86b2e6867297fb2109824c67c50de67f3a31f2Jonathan Roelofs// UNSUPPORTED: libcpp-has-no-threads
11ee226c05af9e0187098f43fb71465a581487af9bDan Austin// UNSUPPORTED: c++98, c++03
1299be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant
1399be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant// <future>
1499be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant
1599be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant// class shared_future<R>
1699be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant
1799be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant// shared_future(future<R>&& rhs);
1899be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant
1999be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant#include <future>
2099be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant#include <cassert>
2199be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant
2299be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnantint main()
2399be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant{
2499be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant    {
2599be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        typedef int T;
2699be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::promise<T> p;
2799be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::future<T> f0 = p.get_future();
2899be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::shared_future<T> f = std::move(f0);
2999be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        assert(!f0.valid());
3099be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        assert(f.valid());
3199be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant    }
3299be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant    {
3399be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        typedef int T;
3499be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::future<T> f0;
3599be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::shared_future<T> f = std::move(f0);
3699be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        assert(!f0.valid());
3799be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        assert(!f.valid());
3899be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant    }
3999be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant    {
4099be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        typedef int& T;
4199be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::promise<T> p;
4299be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::future<T> f0 = p.get_future();
4399be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::shared_future<T> f = std::move(f0);
4499be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        assert(!f0.valid());
4599be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        assert(f.valid());
4699be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant    }
4799be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant    {
4899be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        typedef int& T;
4999be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::future<T> f0;
5099be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::shared_future<T> f = std::move(f0);
5199be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        assert(!f0.valid());
5299be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        assert(!f.valid());
5399be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant    }
5499be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant    {
5599be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        typedef void T;
5699be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::promise<T> p;
5799be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::future<T> f0 = p.get_future();
5899be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::shared_future<T> f = std::move(f0);
5999be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        assert(!f0.valid());
6099be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        assert(f.valid());
6199be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant    }
6299be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant    {
6399be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        typedef void T;
6499be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::future<T> f0;
6599be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        std::shared_future<T> f = std::move(f0);
6699be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        assert(!f0.valid());
6799be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant        assert(!f.valid());
6899be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant    }
6999be8237db0c69ea05bb82bbb8fc8a2273c05743Howard Hinnant}
70