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 set_exception(exception_ptr p);
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 int T;
285a83710eSEric Fiselier         std::promise<T> p;
295a83710eSEric Fiselier         std::future<T> f = p.get_future();
305a83710eSEric Fiselier         p.set_exception(std::make_exception_ptr(3));
315a83710eSEric Fiselier         try
325a83710eSEric Fiselier         {
335a83710eSEric Fiselier             f.get();
345a83710eSEric Fiselier             assert(false);
355a83710eSEric Fiselier         }
365a83710eSEric Fiselier         catch (int i)
375a83710eSEric Fiselier         {
385a83710eSEric Fiselier             assert(i == 3);
395a83710eSEric Fiselier         }
405a83710eSEric Fiselier         try
415a83710eSEric Fiselier         {
425a83710eSEric Fiselier             p.set_exception(std::make_exception_ptr(3));
435a83710eSEric Fiselier             assert(false);
445a83710eSEric Fiselier         }
455a83710eSEric Fiselier         catch (const std::future_error& e)
465a83710eSEric Fiselier         {
475a83710eSEric Fiselier             assert(e.code() == make_error_code(std::future_errc::promise_already_satisfied));
485a83710eSEric Fiselier         }
495a83710eSEric Fiselier     }
502df59c50SJF Bastien 
512df59c50SJF Bastien   return 0;
525a83710eSEric Fiselier }
53