r255329 - in /branches/gcc-7-branch/libstdc++-v...

[redi@gcc.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  <jwakely@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