PR libstdc++/83134 Ensure std::__not_ converts B::value to bool
authorJonathan Wakely <jwakely@redhat.com>
Thu, 23 Nov 2017 21:35:27 +0000 (21:35 +0000)
committerJonathan Wakely <redi@gcc.gnu.org>
Thu, 23 Nov 2017 21:35:27 +0000 (21:35 +0000)
commit4b9840f230d4f8f4964639f776073821672fb1a7
tree8c885cca19a17baaaff518cf8b097d432a01acf1
parentde8603793a901cb44118567fb3b4fd8e39687e8b
PR libstdc++/83134 Ensure std::__not_ converts B::value to bool

PR libstdc++/83134
* include/std/type_traits (__not_): Explicitly convert to bool.
* testsuite/20_util/declval/requirements/1_neg.cc: Adjust dg-error.
* testsuite/20_util/logical_traits/83134.cc: New test.
* testsuite/20_util/make_signed/requirements/typedefs_neg.cc: Adjust
dg-error.
* testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc:
Likewise.

From-SVN: r255122
libstdc++-v3/ChangeLog
libstdc++-v3/include/std/type_traits
libstdc++-v3/testsuite/20_util/declval/requirements/1_neg.cc
libstdc++-v3/testsuite/20_util/logical_traits/83134.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