Implement D0013R2, logical type traits.
authorVille Voutilainen <ville.voutilainen@gmail.com>
Thu, 12 Nov 2015 13:56:31 +0000 (15:56 +0200)
committerVille Voutilainen <ville@gcc.gnu.org>
Thu, 12 Nov 2015 13:56:31 +0000 (15:56 +0200)
commitc3a6648b1ca4359c5097f625bc6db6409b31f693
tree4aa9af9ef4e0ebc7da2941e71cfe8f07cb9ce2fd
parent7c6027796eb8a5b8e172125ed71ee22bcac5280f
Implement D0013R2, logical type traits.

2015-11-12  Ville Voutilainen  <ville.voutilainen@gmail.com>

Implement D0013R2, logical type traits.

/libstdc++-v3
* include/experimental/type_traits (conjunction_v, disjunction_v,
negation_v): New.
* include/std/type_traits (conjunction, disjunction, negation):
Likewise.
* testsuite/20_util/declval/requirements/1_neg.cc: Adjust.
* testsuite/20_util/make_signed/requirements/typedefs_neg.cc: Likewise.
* testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc:
Likewise.
* testsuite/experimental/type_traits/value.cc: Likewise.
* testsuite/20_util/logical_traits/requirements/explicit_instantiation.cc: New.
* testsuite/20_util/logical_traits/requirements/typedefs.cc: Likewise.
* testsuite/20_util/logical_traits/value.cc: Likewise.

/testsuite
* g++.dg/cpp0x/Wattributes1.C: Adjust.

From-SVN: r230258
12 files changed:
gcc/testsuite/ChangeLog
gcc/testsuite/g++.dg/cpp0x/Wattributes1.C
libstdc++-v3/ChangeLog
libstdc++-v3/include/experimental/type_traits
libstdc++-v3/include/std/type_traits
libstdc++-v3/testsuite/20_util/declval/requirements/1_neg.cc
libstdc++-v3/testsuite/20_util/logical_traits/requirements/explicit_instantiation.cc [new file with mode: 0644]
libstdc++-v3/testsuite/20_util/logical_traits/requirements/typedefs.cc [new file with mode: 0644]
libstdc++-v3/testsuite/20_util/logical_traits/value.cc [new file with mode: 0644]
libstdc++-v3/testsuite/20_util/make_signed/requirements/typedefs_neg.cc
libstdc++-v3/testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc
libstdc++-v3/testsuite/experimental/type_traits/value.cc