Author: marshall Date: Tue Apr 11 19:07:29 2017 New Revision: 300009 URL: http://llvm.org/viewvc/llvm-project?rev=300009&view=rev Log: Add some FAIL constexpr tests for optional's copy/move ctors.
Added: libcxx/trunk/test/std/utilities/optional/optional.object/optional.object.ctor/copy.fail.cpp libcxx/trunk/test/std/utilities/optional/optional.object/optional.object.ctor/move.fail.cpp Added: libcxx/trunk/test/std/utilities/optional/optional.object/optional.object.ctor/copy.fail.cpp URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/utilities/optional/optional.object/optional.object.ctor/copy.fail.cpp?rev=300009&view=auto ============================================================================== --- libcxx/trunk/test/std/utilities/optional/optional.object/optional.object.ctor/copy.fail.cpp (added) +++ libcxx/trunk/test/std/utilities/optional/optional.object/optional.object.ctor/copy.fail.cpp Tue Apr 11 19:07:29 2017 @@ -0,0 +1,36 @@ +//===----------------------------------------------------------------------===// +// +// The LLVM Compiler Infrastructure +// +// This file is dual licensed under the MIT and the University of Illinois Open +// Source Licenses. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++98, c++03, c++11, c++14 +// <optional> + +// constexpr optional(const optional<T>& rhs); +// If is_trivially_copy_constructible_v<T> is true, +// this constructor shall be a constexpr constructor. + +#include <optional> +#include <type_traits> +#include <cassert> + +#include "test_macros.h" + +struct S { + constexpr S() : v_(0) {} + S(int v) : v_(v) {} + S(const S &rhs) : v_(rhs.v_) {} // make it not trivially copyable + int v_; + }; + + +int main() +{ + static_assert (!std::is_trivially_copy_constructible_v<S>, "" ); + constexpr std::optional<S> o1; + constexpr std::optional<S> o2 = o1; // not constexpr +} Added: libcxx/trunk/test/std/utilities/optional/optional.object/optional.object.ctor/move.fail.cpp URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/utilities/optional/optional.object/optional.object.ctor/move.fail.cpp?rev=300009&view=auto ============================================================================== --- libcxx/trunk/test/std/utilities/optional/optional.object/optional.object.ctor/move.fail.cpp (added) +++ libcxx/trunk/test/std/utilities/optional/optional.object/optional.object.ctor/move.fail.cpp Tue Apr 11 19:07:29 2017 @@ -0,0 +1,37 @@ +//===----------------------------------------------------------------------===// +// +// The LLVM Compiler Infrastructure +// +// This file is dual licensed under the MIT and the University of Illinois Open +// Source Licenses. See LICENSE.TXT for details. +// +//===----------------------------------------------------------------------===// + +// UNSUPPORTED: c++98, c++03, c++11, c++14 +// <optional> + +// constexpr optional(const optional<T>&& rhs); +// If is_trivially_move_constructible_v<T> is true, +// this constructor shall be a constexpr constructor. + +#include <optional> +#include <type_traits> +#include <cassert> + +#include "test_macros.h" + +struct S { + constexpr S() : v_(0) {} + S(int v) : v_(v) {} + constexpr S(const S &rhs) : v_(rhs.v_) {} // not trivially moveable + constexpr S(const S &&rhs) : v_(rhs.v_) {} // not trivially moveable + int v_; + }; + + +int main() +{ + static_assert (!std::is_trivially_move_constructible_v<S>, "" ); + constexpr std::optional<S> o1; + constexpr std::optional<S> o2 = std::move(o1); // not constexpr +} _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits