[Bug libstdc++/83134] std::negation uses !B::value instead of !bool(B::value)

[redi at gcc dot gnu.org]

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