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 Bastienint 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