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 //
9*a7f9895cSLouis Dionne // UNSUPPORTED: no-threads
1031cbe0f2SLouis Dionne // UNSUPPORTED: c++03
115a83710eSEric Fiselier 
125a83710eSEric Fiselier // <future>
135a83710eSEric Fiselier 
145a83710eSEric Fiselier // class promise<R>
155a83710eSEric Fiselier 
165a83710eSEric Fiselier // void promise::set_value(const R& r);
175a83710eSEric Fiselier 
185a83710eSEric Fiselier #include <future>
195a83710eSEric Fiselier #include <cassert>
205a83710eSEric Fiselier 
2108eb2148SAsiri Rathnayake #include "test_macros.h"
2208eb2148SAsiri Rathnayake 
235a83710eSEric Fiselier struct A
245a83710eSEric Fiselier {
AA255a83710eSEric Fiselier     A() {}
AA2608eb2148SAsiri Rathnayake     A(const A&) {
2708eb2148SAsiri Rathnayake         TEST_THROW(10);
2808eb2148SAsiri Rathnayake     }
295a83710eSEric Fiselier };
305a83710eSEric Fiselier 
main(int,char **)312df59c50SJF Bastien int main(int, char**)
325a83710eSEric Fiselier {
335a83710eSEric Fiselier     {
345a83710eSEric Fiselier         typedef int T;
355a83710eSEric Fiselier         T i = 3;
365a83710eSEric Fiselier         std::promise<T> p;
375a83710eSEric Fiselier         std::future<T> f = p.get_future();
385a83710eSEric Fiselier         p.set_value(i);
395a83710eSEric Fiselier         ++i;
405a83710eSEric Fiselier         assert(f.get() == 3);
4108eb2148SAsiri Rathnayake #ifndef TEST_HAS_NO_EXCEPTIONS
425a83710eSEric Fiselier         --i;
435a83710eSEric Fiselier         try
445a83710eSEric Fiselier         {
455a83710eSEric Fiselier             p.set_value(i);
465a83710eSEric Fiselier             assert(false);
475a83710eSEric Fiselier         }
485a83710eSEric Fiselier         catch (const std::future_error& e)
495a83710eSEric Fiselier         {
505a83710eSEric Fiselier             assert(e.code() == make_error_code(std::future_errc::promise_already_satisfied));
515a83710eSEric Fiselier         }
5208eb2148SAsiri Rathnayake #endif
535a83710eSEric Fiselier     }
545a83710eSEric Fiselier     {
555a83710eSEric Fiselier         typedef A T;
565a83710eSEric Fiselier         T i;
575a83710eSEric Fiselier         std::promise<T> p;
585a83710eSEric Fiselier         std::future<T> f = p.get_future();
5908eb2148SAsiri Rathnayake #ifndef TEST_HAS_NO_EXCEPTIONS
605a83710eSEric Fiselier         try
615a83710eSEric Fiselier         {
625a83710eSEric Fiselier             p.set_value(i);
635a83710eSEric Fiselier             assert(false);
645a83710eSEric Fiselier         }
655a83710eSEric Fiselier         catch (int j)
665a83710eSEric Fiselier         {
675a83710eSEric Fiselier             assert(j == 10);
685a83710eSEric Fiselier         }
6908eb2148SAsiri Rathnayake #endif
705a83710eSEric Fiselier     }
712df59c50SJF Bastien 
722df59c50SJF Bastien   return 0;
735a83710eSEric Fiselier }
74