The __3way_builtin_ptr_cmp concept can use three_way_comparable_with to check whether <=> is valid. Doing that makes it obvious that the disjunction on compare_three_way::operator() is redundant, because the second constraint subsumes the first. The workaround for PR c++/91073 can also be removed as that bug is fixed now. * libsupc++/compare (__detail::__3way_builtin_ptr_cmp): Use three_way_comparable_with. (__detail::__3way_cmp_with): Remove workaround for fixed bug. (compare_three_way::operator()): Remove redundant constraint from requires-clause. (__detail::_Synth3way::operator()): Use three_way_comparable_with instead of workaround. * testsuite/18_support/comparisons/object/93479.cc: Prune extra output due to simplified constraints on compare_three_way::operator().
Name |
Last commit
|
Last update |
---|---|---|
.. | ||
aligned_alloc | Loading commit data... | |
bad_alloc | Loading commit data... | |
bad_cast | Loading commit data... | |
bad_exception | Loading commit data... | |
bad_typeid | Loading commit data... | |
byte | Loading commit data... | |
comparisons | Loading commit data... | |
exception | Loading commit data... | |
exception_ptr | Loading commit data... | |
headers | Loading commit data... | |
initializer_list | Loading commit data... | |
launder | Loading commit data... | |
max_align_t/requirements | Loading commit data... | |
nested_exception | Loading commit data... | |
numeric_limits | Loading commit data... | |
quick_exit | Loading commit data... | |
type_info | Loading commit data... | |
uncaught_exception | Loading commit data... | |
uncaught_exceptions | Loading commit data... | |
50594.cc | Loading commit data... | |
51333.cc | Loading commit data... | |
cxa_vec.cc | Loading commit data... | |
destroying_delete.cc | Loading commit data... | |
free_eh_pool.cc | Loading commit data... | |
new_aligned.cc | Loading commit data... | |
new_delete_placement.cc | Loading commit data... | |
new_handler.cc | Loading commit data... | |
new_nothrow.cc | Loading commit data... | |
pthread_guard.cc | Loading commit data... | |
set_terminate.cc | Loading commit data... | |
set_unexpected.cc | Loading commit data... | |
terminate_handler.cc | Loading commit data... | |
unexpected_handler.cc | Loading commit data... |