git.libre-soc.org Git - gcc.git/commit

Implement P0307R2, Making Optional Greater Equal Again.

* include/experimental/optional (_Has_addressof): Fix the comment.
* include/std/optional (_Has_addressof): Likewise.
(operator=(_Up&&)): Constrain.
(operator=(const optional<_Up>&)): Likewise.
(operator=(optional<_Up>&&)): Likewise.
(__optional_relop_t): New.
(operator==(const optional<_Tp>&, const optional<_Tp>&)): Constrain.
(operator!=(const optional<_Tp>&, const optional<_Tp>&)):
Constrain and make transparent.
(operator<(const optional<_Tp>&, const optional<_Tp>&)): Constrain.
(operator>(const optional<_Tp>&, const optional<_Tp>&)):
Constrain and make transparent.
(operator<=(const optional<_Tp>&, const optional<_Tp>&)): Likewise.
(operator>=(const optional<_Tp>&, const optional<_Tp>&)): Likewise.
(operator==(const optional<_Tp>&, const _Tp&): Constrain.
(operator==(const _Tp&, const optional<_Tp>&)): Likewise.
(operator!=(const optional<_Tp>&, _Tp const&)):
Constrain and make transparent.
(operator!=(const _Tp&, const optional<_Tp>&)): Likewise.
(operator<(const optional<_Tp>&, const _Tp&)): Constrain.
(operator<(const _Tp&, const optional<_Tp>&)): Likewise.
(operator>(const optional<_Tp>&, const _Tp&)):
Constrain and make transparent.
(operator>(const _Tp&, const optional<_Tp>&)): Likewise.
(operator<=(const optional<_Tp>&, const _Tp&)): Likewise.
(operator<=(const _Tp&, const optional<_Tp>&)): Likewise.
(operator>=(const optional<_Tp>&, const _Tp&)): Likewise.
(operator>=(const _Tp&, const optional<_Tp>&)): Likewise.
* testsuite/20_util/optional/constexpr/relops/2.cc: Adjust.
* testsuite/20_util/optional/constexpr/relops/4.cc: Likewise.
* testsuite/20_util/optional/relops/1.cc: Likewise.
* testsuite/20_util/optional/relops/2.cc: Likewise.
* testsuite/20_util/optional/relops/3.cc: Likewise.
* testsuite/20_util/optional/relops/4.cc: Likewise.
* testsuite/20_util/optional/requirements.cc: Add tests to verify
that optional's relops are transparent and don't synthesize
operators. Also test that assignment sfinaes.

From-SVN: r238292

author	Ville Voutilainen <ville@gcc.gnu.org>
	Wed, 13 Jul 2016 11:25:51 +0000 (14:25 +0300)
committer	Ville Voutilainen <ville@gcc.gnu.org>
	Wed, 13 Jul 2016 11:25:51 +0000 (14:25 +0300)
commit	86c0ec1de10050af15afa2965adf6d219f0ccd06
tree	183e726ed4834c25799cc810c4c8924243be982d	tree
parent	ceea48fc64eb7d5fe8c2ecfd61f6cda7918e40c1	commit \| diff

libstdc++-v3/ChangeLog		diff \| blob \| history
libstdc++-v3/include/experimental/optional		diff \| blob \| history
libstdc++-v3/include/std/optional		diff \| blob \| history
libstdc++-v3/testsuite/20_util/optional/constexpr/relops/2.cc		diff \| blob \| history
libstdc++-v3/testsuite/20_util/optional/constexpr/relops/4.cc		diff \| blob \| history
libstdc++-v3/testsuite/20_util/optional/relops/1.cc		diff \| blob \| history
libstdc++-v3/testsuite/20_util/optional/relops/2.cc		diff \| blob \| history
libstdc++-v3/testsuite/20_util/optional/relops/3.cc		diff \| blob \| history
libstdc++-v3/testsuite/20_util/optional/relops/4.cc		diff \| blob \| history
libstdc++-v3/testsuite/20_util/optional/requirements.cc		diff \| blob \| history