From cd6615fd7186e397b4318d8b77c82b9de52ed45f Mon Sep 17 00:00:00 2001 From: Marshall Clow Date: Mon, 18 May 2015 23:21:06 +0000 Subject: Add support for N4389 - std::bool_constant llvm-svn: 237636 --- .../utilities/meta/meta.hel/bool_constant.pass.cpp | 32 ++++++++++++++++++++++ 1 file changed, 32 insertions(+) create mode 100644 libcxx/test/std/utilities/meta/meta.hel/bool_constant.pass.cpp (limited to 'libcxx/test/std/utilities/meta') diff --git a/libcxx/test/std/utilities/meta/meta.hel/bool_constant.pass.cpp b/libcxx/test/std/utilities/meta/meta.hel/bool_constant.pass.cpp new file mode 100644 index 00000000000..71110ea3bfb --- /dev/null +++ b/libcxx/test/std/utilities/meta/meta.hel/bool_constant.pass.cpp @@ -0,0 +1,32 @@ +//===----------------------------------------------------------------------===// +// +// 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. +// +//===----------------------------------------------------------------------===// + +// type_traits + +// bool_constant + +#include +#include + +int main() +{ +#if __cplusplus > 201402L + typedef std::bool_constant _t; + static_assert(_t::value, ""); + static_assert((std::is_same<_t::value_type, bool>::value), ""); + static_assert((std::is_same<_t::type, _t>::value), ""); + static_assert((_t() == true), ""); + + typedef std::bool_constant _f; + static_assert(!_f::value, ""); + static_assert((std::is_same<_f::value_type, bool>::value), ""); + static_assert((std::is_same<_f::type, _f>::value), ""); + static_assert((_f() == false), ""); +#endif +} -- cgit v1.2.3