https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83134
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- Author: redi Date: Fri Dec 1 17:12:23 2017 New Revision: 255329 URL: https://gcc.gnu.org/viewcvs?rev=255329&root=gcc&view=rev Log: PR libstdc++/83134 Ensure std::__not_ converts B::value to bool Backport from mainline 2017-11-23 Jonathan Wakely <jwak...@redhat.com> 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: branches/gcc-7-branch/libstdc++-v3/testsuite/20_util/logical_traits/83134.cc - copied, changed from r255328, branches/gcc-7-branch/libstdc++-v3/testsuite/20_util/declval/requirements/1_neg.cc Modified: branches/gcc-7-branch/libstdc++-v3/ChangeLog branches/gcc-7-branch/libstdc++-v3/include/std/type_traits branches/gcc-7-branch/libstdc++-v3/testsuite/20_util/declval/requirements/1_neg.cc branches/gcc-7-branch/libstdc++-v3/testsuite/20_util/make_signed/requirements/typedefs_neg.cc branches/gcc-7-branch/libstdc++-v3/testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc