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