https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83134
--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> --- Author: redi Date: Thu Nov 23 21:35:27 2017 New Revision: 255122 URL: https://gcc.gnu.org/viewcvs?rev=255122&root=gcc&view=rev Log: 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. Added: trunk/libstdc++-v3/testsuite/20_util/logical_traits/83134.cc - copied, changed from r255096, trunk/libstdc++-v3/testsuite/20_util/declval/requirements/1_neg.cc Modified: trunk/libstdc++-v3/ChangeLog trunk/libstdc++-v3/include/std/type_traits trunk/libstdc++-v3/testsuite/20_util/declval/requirements/1_neg.cc trunk/libstdc++-v3/testsuite/20_util/make_signed/requirements/typedefs_neg.cc trunk/libstdc++-v3/testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc