111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//===----------------------------------------------------------------------===// 211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// 311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// The LLVM Compiler Infrastructure 411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// 511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// This file is dual licensed under the MIT and the University of Illinois Open 611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// Source Licenses. See LICENSE.TXT for details. 711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// 811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert//===----------------------------------------------------------------------===// 911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 1011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// XFAIL: libcpp-no-exceptions 1111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// <optional> 1211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 1311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert// T& optional<T>::value(); 1411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 1511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include <experimental/optional> 1611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include <type_traits> 1711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#include <cassert> 1811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 1911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#if _LIBCPP_STD_VER > 11 2011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 2111cd02dfb91661c65134cac258cf5924270e9d2Dan Albertusing std::experimental::optional; 2211cd02dfb91661c65134cac258cf5924270e9d2Dan Albertusing std::experimental::bad_optional_access; 2311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 2411cd02dfb91661c65134cac258cf5924270e9d2Dan Albertstruct X 2511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert{ 2611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert X() = default; 2711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert X(const X&) = delete; 2811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert constexpr int test() const {return 3;} 2911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert int test() {return 4;} 3011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert}; 3111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 3211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#endif // _LIBCPP_STD_VER > 11 3311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert 3411cd02dfb91661c65134cac258cf5924270e9d2Dan Albertint main() 3511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert{ 3611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#if _LIBCPP_STD_VER > 11 3711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert { 3811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert optional<X> opt; 3911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert opt.emplace(); 4011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert assert(opt.value().test() == 4); 4111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert } 4211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert { 4311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert optional<X> opt; 4411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert try 4511cd02dfb91661c65134cac258cf5924270e9d2Dan Albert { 4611cd02dfb91661c65134cac258cf5924270e9d2Dan Albert opt.value(); 4711cd02dfb91661c65134cac258cf5924270e9d2Dan Albert assert(false); 4811cd02dfb91661c65134cac258cf5924270e9d2Dan Albert } 4911cd02dfb91661c65134cac258cf5924270e9d2Dan Albert catch (const bad_optional_access&) 5011cd02dfb91661c65134cac258cf5924270e9d2Dan Albert { 5111cd02dfb91661c65134cac258cf5924270e9d2Dan Albert } 5211cd02dfb91661c65134cac258cf5924270e9d2Dan Albert } 5311cd02dfb91661c65134cac258cf5924270e9d2Dan Albert#endif // _LIBCPP_STD_VER > 11 5411cd02dfb91661c65134cac258cf5924270e9d2Dan Albert} 55