15a83710eSEric Fiselier //===----------------------------------------------------------------------===//
25a83710eSEric Fiselier //
357b08b09SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
457b08b09SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
557b08b09SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65a83710eSEric Fiselier //
75a83710eSEric Fiselier //===----------------------------------------------------------------------===//
85a83710eSEric Fiselier //
98c61114cSLouis Dionne // UNSUPPORTED: no-exceptions
10*a7f9895cSLouis Dionne // UNSUPPORTED: no-threads
1131cbe0f2SLouis Dionne // UNSUPPORTED: c++03
125a83710eSEric Fiselier 
135a83710eSEric Fiselier // <future>
145a83710eSEric Fiselier 
155a83710eSEric Fiselier // class promise<R>
165a83710eSEric Fiselier 
175a83710eSEric Fiselier // void promise<void>::set_value();
185a83710eSEric Fiselier 
195a83710eSEric Fiselier #include <future>
205a83710eSEric Fiselier #include <cassert>
215a83710eSEric Fiselier 
227fc6a556SMarshall Clow #include "test_macros.h"
237fc6a556SMarshall Clow 
main(int,char **)242df59c50SJF Bastien int main(int, char**)
255a83710eSEric Fiselier {
265a83710eSEric Fiselier     {
275a83710eSEric Fiselier         typedef void T;
285a83710eSEric Fiselier         std::promise<T> p;
295a83710eSEric Fiselier         std::future<T> f = p.get_future();
305a83710eSEric Fiselier         p.set_value();
315a83710eSEric Fiselier         f.get();
325a83710eSEric Fiselier         try
335a83710eSEric Fiselier         {
345a83710eSEric Fiselier             p.set_value();
355a83710eSEric Fiselier             assert(false);
365a83710eSEric Fiselier         }
375a83710eSEric Fiselier         catch (const std::future_error& e)
385a83710eSEric Fiselier         {
395a83710eSEric Fiselier             assert(e.code() == make_error_code(std::future_errc::promise_already_satisfied));
405a83710eSEric Fiselier         }
415a83710eSEric Fiselier     }
422df59c50SJF Bastien 
432df59c50SJF Bastien   return 0;
445a83710eSEric Fiselier }
45