libstdc++-v3/ChangeLog

   1 2020-04-19  Jonathan Wakely  <jwakely@redhat.com>
   2
   3         PR other/94629
   4         * include/debug/formatter.h (_Error_formatter::_Parameter): Fix
   5         redundant assignment in constructor.
   6
   7 2020-04-18  Jonathan Wakely  <jwakely@redhat.com>
   8
   9         * include/std/chrono (duration, time_point): Define operator<=> and
  10         remove redundant operator!= for C++20.
  11         * testsuite/20_util/duration/comparison_operators/three_way.cc: New
  12         test.
  13         * testsuite/20_util/time_point/comparison_operators/three_way.cc: New
  14         test.
  15
  16         * testsuite/util/native_type/native_priority_queue.hpp: Use
  17         allocator_traits to rebind allocator.
  18
  19 2020-04-17  Jonathan Wakely  <jwakely@redhat.com>
  20
  21         * include/bits/forward_list.h (forward_list): Define operator<=> and
  22         remove redundant comparison operators for C++20.
  23         * include/bits/stl_bvector.h (vector<bool, Alloc>): Likewise.
  24         * include/bits/stl_deque.h (deque): Likewise.
  25         * include/bits/stl_iterator.h (__normal_iterator): Likewise.
  26         * include/bits/stl_list.h (list): Likewise.
  27         * include/bits/stl_vector.h (vector): Likewise.
  28         * include/debug/deque (__gnu_debug::deque): Likewise.
  29         * include/debug/forward_list (__gnu_debug::forward_list): Likewise.
  30         * include/debug/list (__gnu_debug::list): Likewise.
  31         * include/debug/safe_iterator.h (__gnu_debug::_Safe_iterator):
  32         Likewise.
  33         * include/debug/vector (__gnu_debug::vector): Likewise.
  34         * include/ext/pointer.h (__gnu_cxx::_Pointer_adapter): Define
  35         operator<=> for C++20.
  36         * testsuite/23_containers/deque/operators/cmp_c++20.cc: New test.
  37         * testsuite/23_containers/forward_list/cmp_c++20.cc: New test.
  38         * testsuite/23_containers/list/cmp_c++20.cc: New test.
  39         * testsuite/23_containers/vector/bool/cmp_c++20.cc: New test.
  40         * testsuite/23_containers/vector/cmp_c++20.cc: New test.
  41
  42         * include/bits/basic_string.h (basic_string): Define operator<=> and
  43         remove redundant comparison operators for C++20.
  44         * include/bits/char_traits.h (__gnu_cxx::char_traits, char_traits):
  45         Add comparison_category members.
  46         (__detail::__char_traits_cmp_cat): New helper to get comparison
  47         category from char traits class.
  48         * include/bits/regex.h (regex_traits::_RegexMask::operator!=): Do not
  49         define for C++20.
  50         (sub_match): Define operator<=> and remove redundant comparison
  51         operators for C++20.
  52         (match_results): Remove redundant operator!= for C++20.
  53         * include/std/string_view (basic_string_view): Define operator<=> and
  54         remove redundant comparison operators for C++20.
  55         * testsuite/21_strings/basic_string/operators/char/cmp_c++20.cc: New
  56         test.
  57         * testsuite/21_strings/basic_string/operators/wchar_t/cmp_c++20.cc:
  58         New test.
  59         * testsuite/21_strings/basic_string_view/operations/copy/char/
  60         constexpr.cc: Initialize variable.
  61         * testsuite/21_strings/basic_string_view/operations/copy/wchar_t/
  62         constexpr.cc: Likewise.
  63         * testsuite/21_strings/basic_string_view/operators/char/2.cc: Add
  64         dg-do directive and remove comments showing incorrect signatures.
  65         * testsuite/21_strings/basic_string_view/operators/wchar_t/2.cc:
  66         Likewise.
  67         * testsuite/21_strings/basic_string_view/operators/char/cmp_c++20.cc:
  68         New test.
  69         * testsuite/21_strings/basic_string_view/operators/wchar_t/cmp_c++20.cc:
  70         New test.
  71         * testsuite/28_regex/sub_match/compare_c++20.cc: New test.
  72
  73 2020-04-16  Jonathan Wakely  <jwakely@redhat.com>
  74
  75         * testsuite/20_util/unsynchronized_pool_resource/allocate.cc: Remove
  76         name of unused parameter.
  77
  78 2020-04-15  Jonathan Wakely  <jwakely@redhat.com>
  79
  80         * include/bits/fs_dir.h (file_status): Define operator== for C++20.
  81         (directory_entry): Define operator<=> and remove redundant comparison
  82         operators for C++20.
  83         * include/bits/fs_fwd.h (space_info): Define operator== for C++20.
  84         * include/bits/fs_path.h (path): Define operator<=> and remove
  85         redundant comparison operators for C++20.
  86         * testsuite/27_io/filesystem/path/compare/compare.cc: Fix comment.
  87         * testsuite/27_io/filesystem/path/compare/lwg2936.cc: Likewise.
  88         * testsuite/27_io/filesystem/path/compare/path.cc: Likewise.
  89         * testsuite/27_io/filesystem/path/compare/strings.cc: Likewise.
  90
  91         * include/bits/allocator.h (operator!=): Do not define for C++20.
  92         * include/bits/locale_classes.h (operator!=): Likewise.
  93         * include/bits/std_function.h (operator==(nullptr_t, const function&))
  94         (operator!=(const function&, nullptr_t))
  95         (operator!=(nullptr_t, const function&)): Likewise.
  96         * include/ext/bitmap_allocator.h (operator!=): Likewise.
  97         * include/ext/debug_allocator.h (operator!=): Likewise.
  98         * include/ext/extptr_allocator.h (operator!=): Likewise.
  99         * include/ext/malloc_allocator.h (operator!=): Likewise.
 100         * include/ext/mt_allocator.h (operator!=): Likewise.
 101         * include/ext/new_allocator.h (operator!=): Likewise.
 102         * include/ext/pool_allocator.h (operator!=): Likewise.
 103         * include/ext/throw_allocator.h (operator!=): Likewise.
 104         * include/std/bitset (bitset::operator!=): Likewise.
 105         * include/std/memory_resource (operator!=): Likewise.
 106         * include/std/scoped_allocator (operator!=): Likewise.
 107
 108         * include/std/typeindex (operator<=>): Define for C++20.
 109         * testsuite/20_util/typeindex/comparison_operators_c++20.cc: New test.
 110
 111 2020-04-14  Jonathan Wakely  <jwakely@redhat.com>
 112
 113         * libsupc++/compare (compare_three_way): Fix constraint so that
 114         BUILTIN-PTR-THREE-WAY does not require three_way_comparable_with.
 115         * testsuite/18_support/comparisons/object/builtin-ptr-three-way.cc:
 116         New test.
 117
 118         PR libstdc++/94562
 119         * include/bits/shared_ptr.h (operator<=>): Define for C++20.
 120         * include/bits/shared_ptr_base.h (operator<=>): Likewise.
 121         * include/bits/unique_ptr.h (operator<=>): Add inline specifier.
 122         * testsuite/20_util/shared_ptr/comparison/cmp_c++20.cc: New test.
 123         * testsuite/20_util/shared_ptr/comparison/less.cc: Do not expect
 124         std::less<A*> to be used when comparing std::shared_ptr<A> objects in
 125         C++20.
 126
 127         PR libstdc++/94565
 128         * libsupc++/compare (__unspec): Add noexcept-specifier to constructor.
 129         * testsuite/18_support/comparisons/categories/94565.cc: New test.
 130
 131 2020-04-13  Iain Sandoe  <iain@sandoe.co.uk>
 132
 133         * include/std/coroutine: Update coroutines builtin define,
 134         per n4861.
 135
 136 2020-04-09  Jonathan Wakely  <jwakely@redhat.com>
 137
 138         * libsupc++/compare (compare_three_way): Fix noexcept-specifier.
 139         (strong_order, weak_order, partial_order): Replace uses of <=> with
 140         compare_three_way function object (LWG 3324).
 141         * testsuite/18_support/comparisons/algorithms/partial_order.cc: Add
 142         equality operator so that X satisfies three_way_comparable.
 143         * testsuite/18_support/comparisons/algorithms/strong_order.cc:
 144         Likewise.
 145         * testsuite/18_support/comparisons/algorithms/weak_order.cc: Likewise.
 146
 147         * include/bits/unique_ptr.h (operator<=>): Define for C++20.
 148         * testsuite/20_util/default_delete/48631_neg.cc: Adjust dg-error line.
 149         * testsuite/20_util/default_delete/void_neg.cc: Likewise.
 150         * testsuite/20_util/unique_ptr/comparison/compare.cc: New test.
 151         * testsuite/20_util/unique_ptr/comparison/compare_c++20.cc: New test.
 152
 153 2020-04-08  Jonathan Wakely  <jwakely@redhat.com>
 154
 155         * include/bits/slice_array.h (operator==(const slice&, const slice&)):
 156         Define for C++20.
 157         * include/std/complex (operator==(const T&, const complex<T>&))
 158         (operator!=(const complex<T>&, const complex<T>&))
 159         (operator!=(const complex<T>&, const T&))
 160         (operator!=(const T&, const complex<T>&)): Do not declare for C++20.
 161         * testsuite/26_numerics/slice/compare.cc: New test.
 162
 163         * include/std/charconv (to_chars_result, from_chars_result): Add
 164         defaulted equality comparisons for C++20.
 165         * testsuite/20_util/from_chars/compare.cc: New test.
 166         * testsuite/20_util/to_chars/compare.cc: New test.
 167
 168 2020-04-07  Jonathan Wakely  <jwakely@redhat.com>
 169
 170         PR libstdc++/94520
 171         * include/std/charconv (__integer_to_chars_result_type)
 172         (__integer_from_chars_result_type): Use __or_ instead of __or_v_ to
 173         allow use in C++14.
 174         * testsuite/20_util/from_chars/1.cc: Run test as C++14 and replace
 175         use of std::string_view with std::string.
 176         * testsuite/20_util/from_chars/2.cc: Likewise.
 177         * testsuite/20_util/to_chars/1.cc: Likewise.
 178         * testsuite/20_util/to_chars/2.cc: Likewise.
 179
 180 2020-04-06  Jonathan Wakely  <jwakely@redhat.com>
 181
 182         PR libstdc++/94498
 183         * include/bits/char_traits.h (__gnu_cxx::char_traits::move): Make it
 184         usable in constant expressions for C++20.
 185         (__gnu_cxx::char_traits::copy, __gnu_cxx::char_traits::assign): Add
 186         _GLIBCXX20_CONSTEXPR.
 187         (std::char_traits<char>, std::char_traits<wchar_t>)
 188         (std::char_traits<char8_t>): Make move, copy and assign usable in
 189         constant expressions for C++20.
 190         (std::char_traits<char16_t>, std::char_traits<char32_t>): Make move
 191         and copy usable in constant expressions for C++20.
 192         * include/std/string_view (basic_string_view::copy): Add
 193         _GLIBCXX20_CONSTEXPR.
 194         * testsuite/21_strings/basic_string_view/operations/copy/char/
 195         constexpr.cc: New test.
 196         * testsuite/21_strings/basic_string_view/operations/copy/wchar_t/
 197         constexpr.cc: New test.
 198
 199 2020-04-05  Gerald Pfeifer  <gerald@pfeifer.com>
 200
 201         * doc/xml/manual/appendix_contributing.xml: Refer to Git
 202         documentation instead of Subversion.  Switch to https.
 203         * doc/html/manual/appendix_contributing.html: Regenerate.
 204
 205 2020-04-03  Jonathan Wakely  <jwakely@redhat.com>
 206
 207         PR libstdc++/93960
 208         * include/bits/ptr_traits.h (__to_address): Add special case for debug
 209         iterators, to avoid dereferenceable check.
 210         * testsuite/20_util/to_address/1_neg.cc: Adjust dg-error line number.
 211         * testsuite/20_util/to_address/debug.cc: New test.
 212
 213 2020-04-01  Andrea Corallo  <andrea.corallo@arm.com>
 214
 215         * testsuite/experimental/net/execution_context/use_service.cc:
 216         Require pthread and gthreads.
 217
 218 2020-04-01  Gerald Pfeifer  <gerald@pfeifer.com>
 219
 220         * doc/xml/manual/appendix_free.xml: Move "free books" list from
 221         fsf.org to gnu.org.
 222         * doc/html/manual/appendix_free.html: Regenerate.
 223
 224 2020-03-31  Ville Voutilainen  <ville.voutilainen@gmail.com>
 225
 226         Library-side tests for parenthesized aggregate init
 227
 228         PR c++/92878
 229         PR c++/92947
 230
 231         * testsuite/20_util/allocator_traits/members/92878_92947.cc: New.
 232         * testsuite/20_util/any/assign/92878_92947.cc: Likewise.
 233         * testsuite/20_util/any/cons/92878_92947.cc: Likewise.
 234         * testsuite/20_util/is_constructible/92878_92947.cc: Likewise.
 235         * testsuite/20_util/optional/assignment/92878_92947.cc: Likewise.
 236         * testsuite/20_util/optional/cons/92878_92947.cc: Likewise.
 237         * testsuite/20_util/pair/cons/92878_92947.cc: Likewise.
 238         * testsuite/20_util/shared_ptr/creation/92878_92947.cc: Likewise.
 239         * testsuite/20_util/specialized_algorithms/construct_at/92878_92947.cc:
 240         Likewise.
 241         * testsuite/20_util/unique_ptr/creation/92878_92947.cc: Likewise.
 242         * testsuite/20_util/uses_allocator/92878_92947.cc: Likewise.
 243         * testsuite/20_util/variant/92878_92947.cc: Likewise.
 244         * testsuite/23_containers/deque/modifiers/emplace/92878_92947.cc:
 245         Likewise.
 246         * testsuite/23_containers/forward_list/modifiers/92878_92947.cc:
 247         Likewise.
 248         * testsuite/23_containers/list/modifiers/emplace/92878_92947.cc:
 249         Likewise.
 250         * testsuite/23_containers/map/modifiers/emplace/92878_92947.cc:
 251         Likewise.
 252         * testsuite/23_containers/multimap/modifiers/emplace/92878_92947.cc:
 253         Likewise.
 254         * testsuite/23_containers/multiset/modifiers/emplace/92878_92947.cc:
 255         Likewise.
 256         * testsuite/23_containers/priority_queue/92878_92947.cc: Likewise.
 257         * testsuite/23_containers/queue/92878_92947.cc: Likewise.
 258         * testsuite/23_containers/set/modifiers/emplace/92878_92947.cc:
 259         Likewise.
 260         * testsuite/23_containers/stack/92878_92947.cc: Likewise.
 261         * testsuite/23_containers/unordered_map/modifiers/92878_92947.cc:
 262         Likewise.
 263         * testsuite/23_containers/unordered_multimap/modifiers/92878_92947.cc:
 264         Likewise.
 265         * testsuite/23_containers/unordered_multiset/modifiers/92878_92947.cc:
 266         Likewise.
 267         * testsuite/23_containers/unordered_set/modifiers/92878_92947.cc:
 268         Likewise.
 269         * testsuite/23_containers/vector/modifiers/emplace/92878_92947.cc:
 270         Likewise.
 271
 272 2020-03-28  Jonathan Wakely  <jwakely@redhat.com>
 273
 274         * testsuite/20_util/is_constructible/value-2.cc: Fix test to account
 275         for changes due to parenthesized aggregate-initialization in C++20.
 276         * testsuite/20_util/time_point/cons/81468.cc: Fix test to not clash
 277         with std::chrono::sys_time in C++20.
 278
 279         * include/bits/stl_iterator.h (reverse_iterator): Use requires-clause
 280         to constrain C++20 versions of comparison operators. Fix backwards
 281         logic of relational operators.
 282         (move_iterator): Use requires-clause to constrain comparison operators
 283         in C++20. Do not declare non-standard same-type overloads for C++20.
 284         * testsuite/24_iterators/move_iterator/rel_ops_c++20.cc: Check result
 285         of comparisons and check using greedy_ops type.
 286         * testsuite/24_iterators/reverse_iterator/rel_ops_c++20.cc: Likewise.
 287         * testsuite/24_iterators/move_iterator/greedy_ops.cc: Remove redundant
 288         main function from compile-only test.
 289         * testsuite/24_iterators/reverse_iterator/greedy_ops.cc: Likewise.
 290
 291 2020-03-27  Jonathan Wakely  <jwakely@redhat.com>
 292
 293         * include/bits/range_cmp.h (__cpp_lib_ranges): Define.
 294         * include/bits/stl_iterator.h: Check value of __cpp_concepts so that
 295         C++20 concepts are required.
 296         * include/bits/stl_iterator_base_types.h: Likewise.
 297         * include/std/concepts: Likewise.
 298         * include/std/version: Likewise.
 299         * testsuite/std/ranges/headers/ranges/synopsis.cc: Check feature test
 300         macro.
 301
 302         * include/bits/stl_iterator.h (reverse_iterator::iterator_concept)
 303         (reverse_iterator::iterator_category): Define for C++20.
 304         (reverse_iterator): Define comparison operators correctly for C++20.
 305         (__normal_iterator): Add constraints to comparison operators for C++20.
 306         (move_iterator::operator++(int)) [__cpp_lib_concepts]: Define new
 307         overload for input iterators.
 308         (move_iterator): Add constraints to comparison operators for C++20.
 309         Define operator<=> for C++20.
 310         * testsuite/24_iterators/move_iterator/input_iterator.cc: New test.
 311         * testsuite/24_iterators/move_iterator/move_only.cc: New test.
 312         * testsuite/24_iterators/move_iterator/rel_ops_c++20.cc: New test.
 313         * testsuite/24_iterators/reverse_iterator/rel_ops_c++20.cc: New test.
 314
 315         * include/bits/iterator_concepts.h (__detail::__decay_copy)
 316         (__detail::__member_begin, __detail::__adl_begin): Move here from
 317         <bits/range_access.h>.
 318         (__detail::__ranges_begin, __detail::__range_iter_t): Define.
 319         * bits/range_access.h (__cust_access::__decay_copy)
 320         (__cust_access::__member_begin, __cust_access::__adl_begin): Move to
 321         <bits/iterator_concepts.h>.
 322         (ranges::iterator_t): Use __detail::__range_iter_t.
 323         * include/bits/stl_iterator.h (back_insert_iterator): Simplify
 324         conditional compilation. Add _GLIBCXX20_CONSTEXPR to all members.
 325         (front_insert_iterator): Likewise.
 326         (insert_iterator): Implement changes from P0896R4 for C++20.
 327         * testsuite/24_iterators/back_insert_iterator/constexpr.cc: New test.
 328         * testsuite/24_iterators/front_insert_iterator/constexpr.cc: New test.
 329         * testsuite/24_iterators/headers/iterator/synopsis_c++17.cc: Adjust
 330         for inclusion in synopsis_c++20.cc which expects different signatures
 331         for some function templates.
 332         * testsuite/24_iterators/insert_iterator/constexpr.cc: New test.
 333
 334         * include/std/type_traits (__is_array_convertible): Move definition
 335         to immediately after is_convertible.
 336
 337 2020-03-26  Jonathan Wakely  <jwakely@redhat.com>
 338
 339         * include/std/chrono (chrono::days, chrono::weeks, chrono::years)
 340         (chrono::months, chrono::sys_days, chrono::local_t)
 341         (chrono::local_time, chrono::local_seconds, chrono::local_days):
 342         Define for C++20.
 343         (chrono::time_point): Add missing static assert.
 344         * testsuite/20_util/time_point/requirements/duration_neg.cc: New test.
 345         * testsuite/std/time/clock/file/overview.cc: New test.
 346         * testsuite/std/time/clock/file/members.cc: New test.
 347         * testsuite/std/time/syn_c++20.cc: New test.
 348
 349 2020-03-25  Mike Crowe  <mac@mcrowe.com>
 350
 351         * testsuite/30_threads/shared_timed_mutex/try_lock_until/1.cc: New
 352         test.
 353         * testsuite/30_threads/shared_timed_mutex/try_lock_until/2.cc: New
 354         test.
 355
 356 2020-03-25  Jonathan Wakely  <jwakely@redhat.com>
 357
 358         * include/bits/fs_fwd.h (filesystem::__file_clock): Move to ...
 359         * include/std/chrono (filesystem::__file_clock): Here.
 360         (filesystem::__file_clock::from_sys, filesystem::__file_clock::to_sys):
 361         Define public member functions for C++20.
 362         (is_clock, is_clock_v): Define traits for C++20.
 363         * include/std/condition_variable (condition_variable::wait_until): Add
 364         check for valid clock.
 365         * include/std/future (_State_baseV2::wait_until): Likewise.
 366         * include/std/mutex (__timed_mutex_impl::_M_try_lock_until): Likewise.
 367         * include/std/shared_mutex (shared_timed_mutex::try_lock_shared_until):
 368         Likewise.
 369         * include/std/thread (this_thread::sleep_until): Likewise.
 370         * testsuite/30_threads/condition_variable/members/2.cc: Qualify
 371         slow_clock with new namespace.
 372         * testsuite/30_threads/condition_variable/members/clock_neg.cc: New
 373         test.
 374         * testsuite/30_threads/condition_variable_any/members/clock_neg.cc:
 375         New test.
 376         * testsuite/30_threads/future/members/clock_neg.cc: New test.
 377         * testsuite/30_threads/recursive_timed_mutex/try_lock_until/3.cc:
 378         Qualify slow_clock with new namespace.
 379         * testsuite/30_threads/recursive_timed_mutex/try_lock_until/
 380         clock_neg.cc: New test.
 381         * testsuite/30_threads/shared_future/members/clock_neg.cc: New
 382         test.
 383         * testsuite/30_threads/shared_lock/locking/clock_neg.cc: New test.
 384         * testsuite/30_threads/shared_timed_mutex/try_lock_until/clock_neg.cc:
 385         New test.
 386         * testsuite/30_threads/timed_mutex/try_lock_until/3.cc: Qualify
 387         slow_clock with new namespace.
 388         * testsuite/30_threads/timed_mutex/try_lock_until/4.cc: Likewise.
 389         * testsuite/30_threads/timed_mutex/try_lock_until/clock_neg.cc: New
 390         test.
 391         * testsuite/30_threads/unique_lock/locking/clock_neg.cc: New test.
 392         * testsuite/std/time/traits/is_clock.cc: New test.
 393         * testsuite/util/slow_clock.h (slow_clock): Move to __gnu_test
 394         namespace.
 395
 396 2020-03-21  Jonathan Wakely  <jwakely@redhat.com>
 397
 398         PR libstdc++/93245
 399         * include/experimental/bits/fs_path.h (path::generic_string<C,T,A>()):
 400         * testsuite/experimental/filesystem/path/generic/generic_string.cc:
 401         Improve test coverage.
 402
 403         PR libstdc++/94242
 404         * include/bits/fs_path.h (path::_S_str_convert): Replace first
 405         parameter with basic_string_view so that strings with different
 406         allocators can be accepted.
 407         (path::generic_string<C,T,A>()): Use basic_string object that uses the
 408         right allocator type.
 409         * testsuite/27_io/filesystem/path/generic/94242.cc: New test.
 410         * testsuite/27_io/filesystem/path/generic/generic_string.cc: Improve
 411         test coverage.
 412
 413 2020-03-18  Jonathan Wakely  <jwakely@redhat.com>
 414
 415         PR libstdc++/94033
 416         * include/std/type_traits (__is_nt_default_constructible_atom): Remove.
 417         (__is_nt_default_constructible_impl): Remove.
 418         (__is_nothrow_default_constructible_impl): Remove.
 419         (__is_nt_constructible_impl): Add bool template parameter. Adjust
 420         partial specializations.
 421         (__is_nothrow_constructible_impl): Replace class template with alias
 422         template.
 423         (is_nothrow_default_constructible): Derive from alias template
 424         __is_nothrow_constructible_impl instead of
 425         __is_nothrow_default_constructible_impl.
 426         * testsuite/20_util/is_nothrow_constructible/94003.cc: New test.
 427
 428         * include/std/stop_token (stop_token::_Stop_state_ref): Define
 429         comparison operators explicitly if the compiler won't synthesize them.
 430
 431         * include/bits/stl_algobase.h (__lexicographical_compare_aux): Check
 432         __cpp_lib_concepts before using iter_reference_t.
 433         * include/bits/stream_iterator.h (istream_iterator): Check
 434         __cpp_lib_concepts before using default_sentinel_t.
 435         * include/bits/streambuf_iterator.h (istreambuf_iterator): Likewise.
 436
 437         PR libstdc++/94203
 438         * include/experimental/executor (executor::executor(Executor)): Call
 439         make_shared directly instead of _M_create. Create _Tgt1 object.
 440         (executor::executor(allocator_arg_t, const ProtoAlloc&, Executor)):
 441         Call allocate_shared directly instead of _M_create. Create _Tgt2
 442         object.
 443         (executor::target_type): Add cast needed for new _Tgt interface.
 444         (executor::target): Define when RTTI is disabled. Use _Tgt::_M_func.
 445         (executor::_Tgt): Define the same interface whether RTTI is enabled or
 446         not.
 447         (executor::_Tgt::target_type, executor::_Tgt::target): Do not use
 448         std::type_info in the interface.
 449         (executor::_Tgt::_M_func): Add data member.
 450         (executor::_TgtImpl): Replace with _Tgt1 and _Tgt2 class templates.
 451         (executor::_Tgt1::_S_func): Define function to access target without
 452         depending on RTTI.
 453         (executor::_M_create): Remove.
 454         (operator==, operator!=): Simplify comparisons for executor.
 455         * include/experimental/socket (is_error_code_enum<socket_errc>):
 456         Define specialization before use.
 457         * testsuite/experimental/net/executor/1.cc: New test.
 458
 459 2020-03-16  Jonathan Wakely  <jwakely@redhat.com>
 460
 461         PR libstdc++/94199
 462         * include/experimental/executor (service_already_exists): Add default
 463         constructor. Declare make_service to be a friend.
 464         * testsuite/experimental/net/execution_context/make_service.cc: New
 465         test.
 466
 467 2020-03-12  Jonathan Wakely  <jwakely@redhat.com>
 468
 469         * testsuite/tr1/8_c_compatibility/cstdlib/functions.cc: Do not pass
 470         a null pointer to functions with nonnull(1) attribute.
 471
 472 2020-03-11  Patrick Palka  <ppalka@redhat.com>
 473
 474         * include/std/ranges (split_view::_OuterIter::_OuterIter): Typo fix,
 475         'address' -> 'std::__addressof'.
 476         * testsuite/std/ranges/adaptors/split.cc: Test taking the split_view of
 477         a non-forward input_range.
 478         * testsuite/util/testsuite_iterators.h (output_iterator_wrapper): Make
 479         default constructor protected instead of deleted, like with
 480         input_iterator_wrapper.
 481         (test_range::iterator): Add comment explaining that this type is used
 482         only when the underlying wrapper is input_iterator_wrapper or
 483         output_iterator_wrapper.  Remove delegating defaulted constructor so
 484         that the inherited default constructor is used instead.
 485
 486         LWG 3286 ranges::size is not required to be valid after a call to
 487         ranges::begin on an input range
 488         * include/std/ranges (subrange::subrange): Split single-argument
 489         constructor into two, one constrained by _S_store_size and another by
 490         !_S_store_size.
 491         (take_view::begin): Call size() before calling ranges::begin(_M_base).
 492         * testsuite/std/ranges/adaptors/lwg3286.cc: New test.
 493         * testsuite/std/ranges/subrange/lwg3286.cc: New test.
 494
 495 2020-03-10  Jonathan Wakely  <jwakely@redhat.com>
 496
 497         * include/std/ranges (split_view::_OuterIter::__at_end): Use __current
 498         instead of _M_current.
 499         (split_view::_OuterIter::operator++): Likewise.
 500
 501         * include/std/ranges (transform_view::_Iterator::__iter_move): Remove.
 502         (transform_view::_Iterator::operator*): Add noexcept-specifier.
 503         (transform_view::_Iterator::iter_move): Inline __iter_move body here.
 504         (split_view::_OuterIter::__current): Add noexcept.
 505         (split_view::_InnerIter::__iter_swap): Remove.
 506         (split_view::_InnerIter::__iter_move): Remove.
 507         (split_view::_InnerIter::_M_i_current): New accessors.
 508         (split_view::_InnerIter::__at_end): Use _M_i_current().
 509         (split_view::_InnerIter::operator*): Likewise.
 510         (split_view::_InnerIter::operator++): Likewise.
 511         (iter_move(const _InnerIter&)): Likewise.
 512         (iter_swap(const _InnerIter&, const _InnerIter&)): Likewise.
 513         * testsuite/std/ranges/adaptors/split.cc: Check noexcept-specifier
 514         for iter_move and iter_swap on split_view's inner iterator.
 515
 516         PR c++/94117
 517         * include/std/ranges (ranges::transform_view::_Iterator::iter_move):
 518         Change expression in noexcept-specifier to match function body.
 519
 520         * testsuite/23_containers/unordered_set/allocator/ext_ptr.cc: Add
 521         comment explaining multiple dg-do directives.
 522         * testsuite/24_iterators/ostream_iterator/1.cc: Fix do-do directive
 523         so test is run as well as compiled.
 524
 525 2020-03-09  Jonathan Wakely  <jwakely@redhat.com>
 526
 527         PR libstdc++/94063
 528         * src/c++17/fs_path.cc (path::operator+=(const path&)): Add kluge to
 529         handle concatenations that change the type of the first component.
 530         (path::operator+=(basic_string_view<value_type>)): Likewise.
 531         * testsuite/27_io/filesystem/path/concat/94063.cc: New test.
 532
 533 2020-03-06  Patrick Palka  <ppalka@redhat.com>
 534
 535         * include/std/ranges (join_view::_Sentinel<_Const>): Befriend
 536         join_view::_Sentinel<!_Const>.
 537         * testsuite/std/ranges/adaptors/join.cc: Augment test.
 538
 539         PR libstdc++/93978
 540         * include/bits/range_access.h (__cust_access::_Empty::operator()):
 541         Declare return type to be bool instead of auto.
 542         * testsuite/std/ranges/adaptors/93978.cc: New test.
 543
 544 2020-03-06  Jonathan Wakely  <jwakely@redhat.com>
 545
 546         PR libstdc++/94069
 547         * include/std/shared_mutex [!PTHREAD_RWLOCK_INITIALIZER]
 548         (__shared_mutex_pthread::__shared_mutex_pthread()): Remove incorrect
 549         second argument to __glibcxx_rwlock_init.
 550         * testsuite/30_threads/shared_timed_mutex/94069.cc: New test.
 551
 552         PR libstdc++/93244
 553         * testsuite/27_io/filesystem/path/generic/generic_string.cc: Adjust
 554         test to not fail due to PR 94063.
 555         * testsuite/27_io/filesystem/path/generic/utf.cc: Likewise.
 556         * testsuite/27_io/filesystem/path/generic/wchar_t.cc: Likewise.
 557
 558 2020-03-06  Andreas Krebbel  <krebbel@linux.ibm.com>
 559
 560         * src/c++11/system_error.cc: Omit the ENOTSUP case statement if it
 561         would match ENOSYS.
 562
 563 2020-03-05  Jonathan Wakely  <jwakely@redhat.com>
 564
 565         * testsuite/27_io/filesystem/operations/all.cc: Mark unused variable.
 566         * testsuite/27_io/filesystem/operations/copy.cc: Fix typo.
 567         * testsuite/experimental/filesystem/operations/copy.cc: Likewise.
 568         * testsuite/27_io/filesystem/operations/file_size.cc: Use correct type
 569         for return value, and in comparison.
 570         * testsuite/experimental/filesystem/operations/file_size.cc: Likewise.
 571
 572         PR libstdc++/94051
 573         * include/std/string_view: Include <bits/ostream_insert.h>.
 574         * testsuite/21_strings/basic_string_view/inserters/94051.cc: New test.
 575
 576 2020-03-04  Jonathan Wakely  <jwakely@redhat.com>
 577
 578         * include/bits/cpp_type_traits.h (__memcpyable): Fix comment.
 579
 580 2020-03-04  Patrick Palka  <ppalka@redhat.com>
 581
 582         PR libstdc++/94017
 583         * include/bits/ranges_algobase.h (__fill_n_fn::operator()): Refine
 584         condition for when to use memset, making sure to additionally check that
 585         the output pointer's value type is a non-volatile byte type.  Instead of
 586         requiring that the fill type is a byte type, just require that it's an
 587         integral type.
 588         * testsuite/20_util/specialized_algorithms/uninitialized_fill/94017.cc:
 589         New test.
 590         * testsuite/20_util/specialized_algorithms/uninitialized_fill_n/94017.cc:
 591         New test.
 592         * testsuite/25_algorithms/fill/94013.cc: Uncomment part of test that was
 593         blocked by PR 94017.
 594         * testsuite/25_algorithms/fill/94017.cc: New test.
 595         * testsuite/25_algorithms/fill_n/94017.cc: New test.
 596
 597         LWG 3355 The memory algorithms should support move-only input iterators
 598         introduced by P1207
 599         * include/bits/ranges_uninitialized.h
 600         (__uninitialized_copy_fn::operator()): Use std::move to avoid attempting
 601         to copy __ifirst, which could be a move-only input iterator.  Use
 602         operator- instead of ranges::distance to compute distance from a sized
 603         sentinel.
 604         (__uninitialized_copy_n_fn::operator()): Likewise.
 605         (__uninitialized_move_fn::operator()): Likewise.
 606         (__uninitialized_move_n_fn::operator()): Likewise.
 607         (__uninitialized_destroy_fn::operator()): Use std::move to avoid
 608         attempting to copy __first.
 609         (__uninitialized_destroy_n_fn::operator()): Likewise.
 610         * testsuite/20_util/specialized_algorithms/destroy/constrained.cc:
 611         Augment test.
 612         * .../specialized_algorithms/uninitialized_copy/constrained.cc:
 613         Likewise.
 614         * .../specialized_algorithms/uninitialized_move/constrained.cc:
 615         Likewise.
 616
 617         * testsuite/util/testsuite_iterators.h (test_range::get_iterator): Make
 618         protected instead of private.
 619         (test_sized_range_sized_sent): New.
 620
 621         * testsuite/util/testsuite_iterators.h (input_iterator_wrapper_nocopy):
 622         New testsuite iterator.
 623         * testsuite/24_iterators/counted_iterator/lwg3389.cc: use it.
 624         * testsuite/24_iterators/move_iterator/lwg3390.cc: Likewise.
 625
 626         * include/bits/ranges_uninitialized.h
 627         (uninitialized_copy_fn::operator()): Pass a reference type as the first
 628         argument to is_nothrow_assignable_v.
 629         (uninitialized_copy_fn::operator()): Likewise.
 630         (uninitialized_move_fn::operator()): Likewise.  Return an in_out_result
 631         with the input iterator stripped of its move_iterator.
 632         (uninitialized_move_n_fn::operator()): Likewise.
 633         (uninitialized_fill_fn::operator()): Pass a reference type as the first
 634         argument to is_nothrow_assignable_v.
 635         (uninitialized_fill_n_fn::operator()): Likewise.
 636
 637 2020-03-03  Jonathan Wakely  <jwakely@redhat.com>
 638
 639         PR libstdc++/94013
 640         * include/bits/cpp_type_traits.h (__memcpyable, __memcmpable): New
 641         traits to control when to use memmove and memcmp optimizations.
 642         (__is_nonvolatile_trivially_copyable): New helper trait.
 643         * include/bits/ranges_algo.h (__lexicographical_compare_fn): Do not
 644         use memcmp optimization with volatile data.
 645         * include/bits/ranges_algobase.h (__equal_fn): Use __memcmpable.
 646         (__copy_or_move, __copy_or_move_backward): Use __memcpyable.
 647         * include/bits/stl_algobase.h (__copy_move_a2): Use __memcpyable.
 648         (__copy_move_backward_a2): Likewise.
 649         (__equal_aux1): Use __memcmpable.
 650         (__lexicographical_compare_aux): Do not use memcmp optimization with
 651         volatile data.
 652         * testsuite/25_algorithms/copy/94013.cc: New test.
 653         * testsuite/25_algorithms/copy_backward/94013.cc: New test.
 654         * testsuite/25_algorithms/equal/94013.cc: New test.
 655         * testsuite/25_algorithms/fill/94013.cc: New test.
 656         * testsuite/25_algorithms/lexicographical_compare/94013.cc: New test.
 657         * testsuite/25_algorithms/move/94013.cc: New test.
 658         * testsuite/25_algorithms/move_backward/94013.cc: New test.
 659
 660         * include/bits/stl_algobase.h (lexicographical_compare_three_way):
 661         Avoid redundant iterator comparisons (LWG 3410).
 662
 663 2020-03-02  Jonathan Wakely  <jwakely@redhat.com>
 664
 665         PR libstdc++/93972
 666         * include/bits/stl_algobase.h (__memcmp): Allow pointer types to
 667         differ.
 668         * testsuite/25_algorithms/lexicographical_compare/uchar.cc: New test.
 669
 670         * include/std/ranges (__detail::__maybe_empty_t): Rename to
 671         __maybe_present_t.
 672         (__adaptor::_RangeAdaptor, join_view, split_view): Use new name.
 673
 674         * include/bits/ranges_algo.h (shift_right): Add 'typename' to
 675         dependent type.
 676
 677 2020-03-01  H.J. Lu  <hongjiu.lu@intel.com>
 678
 679         * config/abi/post/x86_64-linux-gnu/x32/baseline_symbols.txt: Updated.
 680
 681 2020-02-29  John David Anglin  <danglin@gcc.gnu.org>
 682
 683         * testsuite/17_intro/headers/c++1998/charset.cc: Skip on *-*-hpux*.
 684         * testsuite/17_intro/headers/c++2011/charset.cc: Likewise.
 685         * testsuite/17_intro/headers/c++2014/charset.cc: Likewise.
 686         * testsuite/17_intro/headers/c++2017/charset.cc: Likewise.
 687         * testsuite/17_intro/headers/c++2020/charset.cc: Likewise.
 688
 689         * testsuite/30_threads/condition_variable_any/stop_token/wait_on.cc:
 690         Add libatomic option.
 691         * testsuite/30_threads/jthread/jthread.cc: Likewise.
 692
 693 2020-02-29  François Dumont  <fdumont@gcc.gnu.org>
 694
 695         * include/bits/stl_algo.h
 696         (__find_if, __count_if, __is_permutation, std::is_permutation): Move...
 697         * include/bits/stl_algobase.h: ...here.
 698         * include/bits/hashtable_policy.h: Remove <bits/stl_algo.h> include.
 699
 700 2020-02-29  John David Anglin  <danglin@gcc.gnu.org>
 701
 702         * testsuite/30_threads/stop_token/stop_callback.cc: Add libatomic
 703         option.
 704         * testsuite/30_threads/stop_token/stop_callback/deadlock-mt.cc:
 705         Likewise.
 706         * testsuite/30_threads/stop_token/stop_callback/deadlock.cc: Likewise.
 707         * testsuite/30_threads/stop_token/stop_callback/destroy.cc: Likewise.
 708         * testsuite/30_threads/stop_token/stop_callback/invoke.cc: Likewise.
 709         * testsuite/30_threads/stop_token/stop_source.cc: Likewise.
 710         * testsuite/30_threads/stop_token/stop_source/assign.cc: Likewise.
 711         * testsuite/30_threads/stop_token/stop_token.cc: Likewise.
 712         * testsuite/30_threads/stop_token/stop_token/stop_possible.cc:
 713         Likewise.
 714
 715         PR libstdc++/92906
 716         * config/abi/post/hppa-linux-gnu/baseline_symbols.txt: Update.
 717
 718 2020-02-28  Patrick Palka  <ppalka@redhat.com>
 719
 720         PR libstdc++/93972
 721         * include/bits/ranges_algo.h (__lexicographical_compare_fn::operator()):
 722         Fix condition for when to use memcmp, making it consistent with the
 723         corresponding condition used in std::lexicographical_compare.
 724         * testsuite/25_algorithms/lexicographical_compare/93972.cc: New test.
 725
 726         * testsuite/26_numerics/headers/numeric/synopsis.cc: Add signatures for
 727         functions introduced in C++11, C++17 and C++2a.  Add 'constexpr' to
 728         existing signatures for C++2a.
 729
 730 2020-02-28  Jonathan Wakely  <jwakely@redhat.com>
 731
 732         * testsuite/24_iterators/range_operations/advance_debug_neg.cc: Run
 733         test instead of just compiling it.
 734
 735 2020-02-28  Patrick Palka  <ppalka@redhat.com>
 736
 737         * include/std/ranges (reverse_view::_S_needs_cached_begin): Set to false
 738         whenever the underlying range models common_range.
 739
 740         * include/std/ranges (__detail::_CachedPosition): New struct.
 741         (views::filter_view::_S_needs_cached_begin): New member variable.
 742         (views::filter_view::_M_cached_begin): New member variable.
 743         (views::filter_view::begin): Use _M_cached_begin to cache its
 744         result.
 745         (views::drop_view::_S_needs_cached_begin): New static member variable.
 746         (views::drop_view::_M_cached_begin): New member variable.
 747         (views::drop_view::begin): Use _M_cached_begin to cache its result
 748         when _S_needs_cached_begin.
 749         (views::drop_while_view::_M_cached_begin): New member variable.
 750         (views::drop_while_view::begin): Use _M_cached_begin to cache its
 751         result.
 752         (views::reverse_view::_S_needs_cached_begin): New static member
 753         variable.
 754         (views::reverse_view::_M_cached_begin): New member variable.
 755         (views::reverse_view::begin): Use _M_cached_begin to cache its result
 756         when _S_needs_cached_begin.
 757         * testsuite/std/ranges/adaptors/drop.cc: Augment test to check that
 758         drop_view::begin caches its result.
 759         * testsuite/std/ranges/adaptors/drop_while.cc: Augment test to check
 760         that drop_while_view::begin caches its result.
 761         * testsuite/std/ranges/adaptors/filter.cc: Augment test to check that
 762         filter_view::begin caches its result.
 763         * testsuite/std/ranges/adaptors/reverse.cc: Augment test to check that
 764         reverse_view::begin caches its result.
 765
 766 2020-02-28  Jonathan Wakely  <jwakely@redhat.com>
 767
 768         * testsuite/27_io/filesystem/operations/last_write_time.cc: Fixes for
 769         filesystems that silently truncate timestamps.
 770         * testsuite/experimental/filesystem/operations/last_write_time.cc:
 771         Likewise.
 772
 773         * testsuite/21_strings/basic_string/cons/char/1.cc: Disable
 774         -Wstringop-overflow warnings.
 775
 776 2020-02-27  Jonathan Wakely  <jwakely@redhat.com>
 777
 778         * testsuite/lib/libstdc++.exp (v3_target_compile): Add
 779         -fdiagnostics-urls=never to options.
 780
 781 2020-02-27  Patrick Palka  <ppalka@redhat.com>
 782
 783         * include/std/ranges (transform_view::_Iterator<_Const>): Befriend
 784         _Iterator<!_Const>.
 785         (transform_view::_Sentinel<_Const>): Befriend _Sentinel<!_Const>.
 786         (take_view::_Sentinel<_Const>): Likewise.
 787         (take_while_view::_Sentinel<_Const>): Likewise.
 788         (split_view::_OuterIter<_Const>): Befriend _OuterIter<!_Const>.
 789         * testsuite/std/ranges/adaptors/split.cc: Augment test.
 790         * testsuite/std/ranges/adaptors/take.cc: Augment test.
 791         * testsuite/std/ranges/adaptors/take_while.cc: Augment test.
 792         * testsuite/std/ranges/adaptors/transform.cc: Augment test.
 793
 794         * testsuite/25_algorithms/copy/constrained.cc: Don't assume that the
 795         base() of a vector<>::iterator is a pointer.
 796         * testsuite/25_algorithms/copy_backward/constrained.cc: Likewise.
 797         * testsuite/25_algorithms/move/constrained.cc: Likewise.
 798         * testsuite/25_algorithms/move_backward/constrained.cc: Likewise.
 799         * testsuite/25_algorithms/inplace_merge/constrained.cc: Use foo.data()
 800         instead of &foo[0].
 801         * testsuite/25_algorithms/partial_sort/constrained.cc: Likewise.
 802         * testsuite/25_algorithms/partial_sort_copy/constrained.cc: Likewise.
 803         * testsuite/25_algorithms/shuffle/constrained.cc: Likewise.
 804         * testsuite/25_algorithms/sort/constrained.cc: Likewise.
 805         * testsuite/25_algorithms/stable_sort/constrained.cc: Likewise.
 806
 807 2020-02-27  Jonathan Wakely  <jwakely@redhat.com>
 808
 809         * include/debug/array (operator<=>): Define for C++20.
 810         * testsuite/23_containers/array/tuple_interface/get_debug_neg.cc:
 811         Adjust dg-error line numbers.
 812         * testsuite/23_containers/array/tuple_interface/
 813         tuple_element_debug_neg.cc: Likewise.
 814
 815         * testsuite/23_containers/span/back_assert_neg.cc: Add #undef before
 816         defining _GLIBCXX_ASSERTIONS.
 817         * testsuite/23_containers/span/first_2_assert_neg.cc: Likewise.
 818         * testsuite/23_containers/span/first_assert_neg.cc: Likewise.
 819         * testsuite/23_containers/span/front_assert_neg.cc: Likewise.
 820         * testsuite/23_containers/span/index_op_assert_neg.cc: Likewise.
 821         * testsuite/23_containers/span/last_2_assert_neg.cc: Likewise.
 822         * testsuite/23_containers/span/last_assert_neg.cc: Likewise.
 823         * testsuite/23_containers/span/subspan_2_assert_neg.cc: Likewise.
 824         * testsuite/23_containers/span/subspan_3_assert_neg.cc: Likewise.
 825         * testsuite/23_containers/span/subspan_4_assert_neg.cc: Likewise.
 826         * testsuite/23_containers/span/subspan_5_assert_neg.cc: Likewise.
 827         * testsuite/23_containers/span/subspan_6_assert_neg.cc: Likewise.
 828         * testsuite/23_containers/span/subspan_assert_neg.cc: Likewise.
 829
 830         * include/debug/string (__gnu_debug::basic_string::insert): Fix for
 831         C++98 where the member function of the base class returns void.
 832
 833         * testsuite/util/testsuite_iterators.h (forward_iterator_wrapper): Add
 834         equality comparisons that support value-initialized iterators.
 835
 836         * include/bits/boost_concept_check.h (__function_requires): Add
 837         _GLIBCXX14_CONSTEXPR.
 838         * testsuite/25_algorithms/min/concept_checks.cc: New test.
 839
 840 2020-02-26  Patrick Palka  <ppalka@redhat.com>
 841
 842         PR libstdc++/93936
 843         * include/std/ranges (split_view::_InnerIter::operator==): Compare
 844         the operands' _M_i rather than their _M_i.current().
 845         * testsuite/std/ranges/adaptors/split.cc: Augment test.
 846
 847         P1645R1 constexpr for <numeric> algorithms
 848         * include/bits/stl_numeric.h (iota, accumulate, inner_product,
 849         partial_sum, adjacent_difference): Make conditionally constexpr for
 850         C++20.
 851         * include/std/numeric (__cpp_lib_constexpr_numeric): Define this feature
 852         test macro.
 853         (reduce, transform_reduce, exclusive_scan, inclusive_scan,
 854         transform_exclusive_scan, transform_inclusive_scan): Make conditionally
 855         constexpr for C++20.
 856         * include/std/version (__cpp_lib_constexpr_numeric): Define.
 857         * testsuite/26_numerics/accumulate/constexpr.cc: New test.
 858         * testsuite/26_numerics/adjacent_difference/constexpr.cc: Likewise.
 859         * testsuite/26_numerics/exclusive_scan/constexpr.cc: Likewise.
 860         * testsuite/26_numerics/inclusive_scan/constexpr.cc: Likewise.
 861         * testsuite/26_numerics/inner_product/constexpr.cc: Likewise.
 862         * testsuite/26_numerics/iota/constexpr.cc: Likewise.
 863         * testsuite/26_numerics/partial_sum/constexpr.cc: Likewise.
 864         * testsuite/26_numerics/reduce/constexpr.cc: Likewise.
 865         * testsuite/26_numerics/transform_exclusive_scan/constexpr.cc: Likewise.
 866         * testsuite/26_numerics/transform_inclusive_scan/constexpr.cc: Likewise.
 867         * testsuite/26_numerics/transform_reduce/constexpr.cc: Likewise.
 868
 869 2020-02-26  Jonathan Wakely  <jwakely@redhat.com>
 870
 871         * include/bits/ranges_algo.h (__lexicographical_compare_fn): Declare
 872         variables in smaller scope and avoid calling ranges::distance when we
 873         know they are pointers. Remove statically-unreachable use of
 874         __builtin_unreachable().
 875         * include/bits/stl_algobase.h (__lexicographical_compare::__lc):
 876         Define inline.
 877
 878         * include/std/ranges (__detail::__maybe_empty_t): Define new helper
 879         alias.
 880         (__detail::__maybe_const_t): Likewise.
 881         (__adaptor::_RangeAdaptor): Use __maybe_empty_t.
 882         (transform_view, take_view, take_while_view, elements_view): Use
 883         __maybe_const_t.
 884         (join_view, split_view): Use both.
 885
 886 2020-02-25  Patrick Palka  <ppalka@redhat.com>
 887
 888         LWG 3397 basic_istream_view::iterator should not provide
 889         iterator_category
 890         * include/std/ranges (basic_istream_view:_Iterator::iterator_category):
 891         Rename to ...
 892         (basic_istream_view:_Iterator::iterator_concept): ... this.
 893         * testsuite/std/ranges/istream_view.cc: Augment test.
 894
 895         LWG 3325 Constrain return type of transformation function for
 896         transform_view
 897         * include/std/ranges (transform_view): Constrain the return type of the
 898         transformation function as per LWG 3325.
 899         * testsuite/std/ranges/adaptors/lwg3325_neg.cc: New test.
 900
 901         LWG 3313 join_view::_Iterator::operator-- is incorrectly constrained
 902         * include/std/ranges (join_view::_Iterator::operator--): Require that
 903         range_reference_t<_Base> models common_range.
 904         * testsuite/std/ranges/adaptors/lwg3313_neg.cc: New test.
 905
 906         LWG 3301 transform_view::_Iterator has incorrect iterator_category
 907         * include/std/ranges (transform_view::_Iterator::_S_iter_cat): Adjust
 908         determination of iterator_category as per LWG 3301.
 909         * testsuite/std/ranges/adaptors/transform.cc: Augment test.
 910
 911         LWG 3292 iota_view is under-constrained
 912         * include/std/ranges (iota_view): Require that _Winc models semiregular
 913           as per LWG 3292.
 914         * testsuite/std/ranges/iota/lwg3292_neg.cc: New test.
 915
 916 2020-02-25  Jonathan Wakely  <jwakely@redhat.com>
 917
 918         * include/bits/ranges_algobase.h (__copy_or_move): Do not use memmove
 919         during constant evaluation. Call __builtin_memmove directly instead of
 920         __memmove.
 921         (__copy_or_move_backward): Likewise.
 922         * include/bits/stl_algobase.h (__memmove): Remove.
 923         (__copy_move<M, true, random_access_iterator_tag>::__copy_m)
 924         (__copy_move_backward<M, true, random_access_iterator_tag>::__copy_m):
 925         Use __builtin_memmove directly instead of __memmove.
 926         (__copy_move_a2): Do not use memmove during constant evaluation.
 927         (__copy_move_backward_a2): Use _IsMove constant to select correct
 928         __copy_move_backward specialization.
 929         * testsuite/25_algorithms/copy_backward/constexpr.cc: Check for copies
 930         begin turned into moves during constant evaluation.
 931
 932         * testsuite/25_algorithms/move_backward/93872.cc: Add test left out of
 933         previous commit.
 934
 935         PR libstdc++/93872
 936         * include/bits/stl_algobase.h (__memmove): Cast away const before
 937         doing move assignment.
 938         * testsuite/25_algorithms/move/93872.cc: New test.
 939         * testsuite/25_algorithms/move_backward/93872.cc: New test.
 940
 941 2020-02-24  Patrick Palka  <ppalka@redhat.com>
 942
 943         PR libstdc++/93884
 944         * include/bits/ranges_algobase.h (__copy_or_move,
 945         __copy_or_move_backward): Don't inspect the iter_value_t of the output
 946         iterator, instead inspect its iterator_traits directly.
 947         * include/bits/stl_iterator.h (back_insert_iterator::container):
 948         Conditionally initialize.
 949         (back_insert_iterator::difference_type): Conditionally define.
 950         (back_insert_iterator::back_insert_iterator): Conditionally define this
 951         default constructor.
 952         (front_insert_iterator::container): Conditionally initialize.
 953         (front_insert_iterator::difference_type): Conditionally define.
 954         (front_insert_iterator::front_insert_iterator): Conditionally define
 955         this default constructor.
 956         * 24_iterators/back_insert_iterator/pr93884.cc: New test.
 957         * 24_iterators/front_insert_iterator/pr93884.cc: New test.
 958
 959         P0769R2 Add shift to <algorithm>
 960         * include/bits/ranges_algo.h (shift_left, shift_right): New.
 961         * testsuite/25_algorithms/shift_left/1.cc: New test.
 962         * testsuite/25_algorithms/shift_right/1.cc: New test.
 963
 964 2020-02-24  Jonathan Wakely  <jwakely@redhat.com>
 965
 966         * include/bits/stream_iterator.h (istream_iterator(default_sentinel_t)):
 967         Make noexcept-specifier conditional.
 968         * testsuite/24_iterators/istream_iterator/cons/sentinel.cc: Check
 969         noexcept-specifier.
 970
 971         * include/bits/stream_iterator.h (istream_iterator(default_sentinel_t)):
 972         Add constructor.
 973         (operator==(istream_iterator, default_sentinel_t)): Add operator.
 974         (ostream_iterator::difference_type): Define to ptrdiff_t for C++20.
 975         * include/bits/streambuf_iterator.h
 976         (istreambuf_iterator(default_sentinel_t)): Add constructor.
 977         (operator==(istreambuf_iterator, default_sentinel_t)): Add operator.
 978         * testsuite/24_iterators/istream_iterator/cons/sentinel.cc:
 979         New test.
 980         * testsuite/24_iterators/istream_iterator/sentinel.cc: New test.
 981         * testsuite/24_iterators/istreambuf_iterator/cons/sentinel.cc:
 982         New test.
 983         * testsuite/24_iterators/istreambuf_iterator/sentinel.cc: New test.
 984
 985         * include/std/ranges (__deep_const_range, __enable_view_impl): Remove.
 986         (ranges::enable_view): Simplify (LWG 3326).
 987         * include/bits/range_access.h (ranges::enable_view): Declare.
 988         * include/bits/regex.h (__enable_view_impl): Remove partial
 989         specialization.
 990         * include/bits/stl_multiset.h (__enable_view_impl): Likewise.
 991         * include/bits/stl_set.h (__enable_view_impl): Likewise.
 992         * include/bits/unordered_set.h (__enable_view_impl): Likewise.
 993         * include/debug/multiset.h (__enable_view_impl): Likewise.
 994         * include/debug/set.h (__enable_view_impl): Likewise.
 995         * include/debug/unordered_set (__enable_view_impl): Likewise.
 996         * include/experimental/string_view (ranges::enable_view): Define
 997         partial specialization.
 998         * include/std/span (ranges::enable_view): Likewise.
 999         * include/std/string_view (ranges::enable_view): Likewise.
1000         * testsuite/std/ranges/view.cc: Check satisfaction of updated concept.
1001
1002 2020-02-21  Jonathan Wakely  <jwakely@redhat.com>
1003
1004         * include/std/optional (operator<=>(optional<T>, optional<U>))
1005         (operator<=>(optional<T>, nullopt), operator<=>(optional<T>, U)):
1006         Define for C++20.
1007         * include/std/tuple (__tuple_cmp): New helper function for <=>.
1008         (operator<=>(tuple<T...>, tuple<U>...)): Define for C++20.
1009         * include/std/variant (operator<=>(variant<T...>, variant<T...>))
1010         (operator<=>(monostate, monostate)): Define for C++20.
1011         * testsuite/20_util/optional/relops/three_way.cc: New test.
1012         * testsuite/20_util/tuple/comparison_operators/three_way.cc: New test.
1013         * testsuite/20_util/variant/89851.cc: Move to ...
1014         * testsuite/20_util/variant/relops/89851.cc: ... here.
1015         * testsuite/20_util/variant/90008.cc: Move to ...
1016         * testsuite/20_util/variant/relops/90008.cc: ... here.
1017         * testsuite/20_util/variant/relops/three_way.cc: New test.
1018
1019 2020-02-20  Patrick Palka  <ppalka@redhat.com>
1020
1021         * include/std/ranges (views::__adaptor::__maybe_refwrap): New utility
1022         function.
1023         (views::__adaptor::_RangeAdaptor::operator()): Add comments.  Use
1024         __maybe_refwrap to capture lvalue references by reference, and then use
1025         unwrap_reference_t to forward the by-reference captures as references.
1026         * testsuite/std/ranges/adaptors/split.cc: Augment test.
1027         * testsuite/std/ranges/adaptors/split_neg.cc: New test.
1028
1029         * include/std/ranges (iota_view): Forward declare _Sentinel.
1030         (iota_view::_Iterator): Befriend _Sentinel.
1031         (iota_view::_Sentinel::_M_equal): New member function.
1032         (iota_view::_Sentinel::operator==): Use it.
1033         (views::_Iota::operator()): Forward __f using the correct type.
1034         * testsuite/std/ranges/access/ssize.cc (test06): Don't call views::iota
1035         with integers of different signedness, to appease iota_view's deduction
1036         guide.
1037         * testsuite/std/ranges/iota/iota_view.cc: Augment test.
1038
1039 2020-02-20  Jonathan Wakely  <jwakely@redhat.com>
1040
1041         * include/bits/range_access.h (ranges::begin): Reject array of
1042         incomplete type.
1043         (ranges::end, ranges::size): Require arrays to be bounded.
1044         (ranges::data): Require lvalue or borrowed_range.
1045         (ranges::iterator_t): Remove constraint.
1046         * testsuite/std/ranges/access/begin.cc: Do not check array of
1047         incomplete type.
1048         * testsuite/std/ranges/access/begin_neg.cc: New test.
1049         * testsuite/std/ranges/access/end_neg.cc: Adjust expected error.
1050         * testsuite/std/ranges/access/size_neg.cc: Adjust expected error.
1051         * testsuite/std/ranges/access/ssize.cc: Do not check array of
1052         incomplete type.
1053
1054         * include/std/system_error (error_category::operator<=>)
1055         (operator<=>(const error_code&, const error_code&))
1056         (operator<=>(const error_condition&, const error_condition&)): Define
1057         for C++20.
1058         * testsuite/19_diagnostics/error_category/operators/less.cc: New test.
1059         * testsuite/19_diagnostics/error_category/operators/three_way.cc: New
1060         test.
1061         * testsuite/19_diagnostics/error_code/operators/equal.cc: Remove
1062         incorrect comment.
1063         * testsuite/19_diagnostics/error_code/operators/less.cc: New test.
1064         * testsuite/19_diagnostics/error_code/operators/not_equal.cc: Remove
1065         incorrect comment.
1066         * testsuite/19_diagnostics/error_code/operators/three_way.cc: New test.
1067         * testsuite/19_diagnostics/error_condition/operators/equal.cc: Remove
1068         incorrect comment.
1069         * testsuite/19_diagnostics/error_condition/operators/less.cc: New test.
1070         * testsuite/19_diagnostics/error_condition/operators/not_equal.cc:
1071         Remove incorrect comment.
1072         * testsuite/19_diagnostics/error_condition/operators/three_way.cc: New
1073         test.
1074
1075         * libsupc++/typeinfo (type_info::operator!=): Remove for C++20.
1076
1077         * include/std/thread (thread::id::operator<=>): Define for C++20.
1078         * testsuite/30_threads/thread/id/70294.cc: Do not take addresses of
1079         functions in namespace std.
1080         * testsuite/30_threads/thread/id/operators_c++20.cc: New test.
1081
1082 2020-02-19  Patrick Palka  <ppalka@redhat.com>
1083
1084         * testsuite/std/ranges/adaptors/split.cc (test03): Don't include the
1085         null terminator of the underlying string as part of the test_range.
1086         (main): Call test03.
1087
1088 2020-02-19  Jonathan Wakely  <jwakely@redhat.com>
1089
1090         * include/bits/stl_iterator.h (common_iterator): Add copyable<I>
1091         requirement (LWG 3385).
1092         * testsuite/24_iterators/headers/iterator/synopsis_c++20.cc: Adjust
1093         expected declaration.
1094
1095         * include/std/ranges (take_while_view, drop_view, drop_while_view)
1096         (elements_view:_Iterator): Initialize data members (LWG 3364).
1097
1098         * libsupc++/compare (three_way_comparable): Remove always-false check
1099         that should have been removed with weak_equality (P1959R0).
1100         (three_way_comparable_with): Likewise. Reorder requirements (LWG 3360).
1101
1102         * include/std/concepts (__detail::__partially_ordered_with): Move here
1103         from <compare>.
1104         (totally_ordered, totally_ordered_with): Use __partially_ordered_with
1105         to simplify definition (LWG 3331).
1106         * libsupc++/compare (__detail::__partially_ordered_with): Move to
1107         <concepts>.
1108
1109         * include/std/concepts (totally_ordered_with): Remove redundant
1110         requirement (LWG 3329).
1111
1112         * include/std/ranges (__detail::__convertible_to_non_slicing): New
1113         helper concept.
1114         (__detail::__pair_like_convertible_to): Remove.
1115         (__detail::__pair_like_convertible_from): Add requirements for
1116         non-slicing conversions.
1117         (subrange): Constrain constructors with __convertible_to_non_slicing.
1118         Remove constructors from pair-like types. Add new deduction guide.
1119         * testsuite/std/ranges/subrange/lwg3282_neg.cc: New test.
1120
1121         * include/bits/iterator_concepts.h (iter_move): Add declaration to
1122         prevent unqualified lookup finding a suitable declaration (LWG 3247).
1123
1124         * include/std/memory_resource (polymorphic_allocator::allocate)
1125         (polymorphic_allocator::allocate_object): Change type of exception to
1126         bad_array_new_length (LWG 3237).
1127         * testsuite/20_util/polymorphic_allocator/lwg3237.cc: New test.
1128
1129         * include/std/type_traits (__cpp_lib_unwrap_ref): Define (LWG 3348).
1130         * include/std/version (__cpp_lib_unwrap_ref): Likewise.
1131         * testsuite/20_util/unwrap_reference/1.cc: Check macro.
1132         * testsuite/20_util/unwrap_reference/3.cc: New test.
1133
1134         * include/std/numeric (midpoint(T8, T*)): Do not check for complete
1135         type during overload resolution, use static assert instead (LWG 3200).
1136         * testsuite/26_numerics/midpoint/pointer.cc: Do not test with
1137         incomplete type.
1138         * testsuite/26_numerics/midpoint/pointer_neg.cc: New test.
1139
1140         * include/std/span (span(T (&)[N])): Use non-deduced context to
1141         prevent first parameter from interfering with class template argument
1142         deduction (LWG 3369).
1143         * testsuite/23_containers/span/deduction.cc: Add missing 'const'.
1144         * testsuite/23_containers/span/lwg3255.cc: Check for construction from
1145         rvalues.
1146
1147         * include/std/span (span::const_iterator, span::const_reverse_iterator)
1148         (span::cbegin(), span::cend(), span::crbegin(), span::crend()):
1149         Remove (LWG 3320).
1150         * testsuite/23_containers/span/everything.cc: Replace uses of cbegin
1151         and cend.
1152         * testsuite/20_util/specialized_algorithms/destroy/constrained.cc:
1153         Likewise.
1154         * testsuite/20_util/specialized_algorithms/uninitialized_copy/
1155         constrained.cc: Likewise.
1156         * testsuite/20_util/specialized_algorithms/
1157         uninitialized_default_construct/constrained.cc: Likewise.
1158         * testsuite/20_util/specialized_algorithms/uninitialized_fill/
1159         constrained.cc: Likewise.
1160         * testsuite/20_util/specialized_algorithms/uninitialized_move/
1161         constrained.cc: Likewise.
1162         * testsuite/20_util/specialized_algorithms/
1163         uninitialized_value_construct/constrained.cc: Likewise.
1164
1165         * include/bits/range_access.h (range_size_t): Define alias template.
1166         * include/std/ranges (all_view): Rename to views::all_t (LWG 3335).
1167         * testsuite/std/ranges/adaptors/filter.cc: Adjust to new name.
1168
1169         * include/std/ranges (filter_view, transform_view, take_view)
1170         (join_view, split_view, reverse_view): Remove commented-out converting
1171         constructors (LWG 3280).
1172
1173         * include/std/memory (uninitialized_construct_using_allocator): Use
1174         std::construct_at (LWG 3321).
1175
1176         * include/std/memory_resource (polymorphic_allocator::allocate_bytes)
1177         (polymorphic_allocator::allocate_object)
1178         (polymorphic_allocator::new_object): Add nodiscard attribute (LWG3304).
1179
1180         LWG 3379. "safe" in several library names is misleading
1181         * include/bits/range_access.h (enable_safe_range): Rename to
1182         enable_borrowed_range.
1183         (__detail::__maybe_safe_range): Rename to __maybe_borrowed_range.
1184         (safe_range): Rename to borrowed_range.
1185         * include/bits/ranges_algo.h: Adjust to use new names.
1186         * include/bits/ranges_algobase.h: Likewise.
1187         * include/bits/ranges_uninitialized.h: Likewise.
1188         * include/std/ranges: Likewise.
1189         (safe_iterator_t): Rename to borrowed_iterator_t.
1190         (safe_subrange_t): Rename to borrowed_subrange_t.
1191         * include/std/span: Adjust to use new names.
1192         * include/std/string_view: Likewise.
1193         * include/experimental/string_view: Likewise.
1194         * testsuite/std/ranges/access/begin.cc: Likewise.
1195         * testsuite/std/ranges/access/cbegin.cc: Likewise.
1196         * testsuite/std/ranges/access/cdata.cc: Likewise.
1197         * testsuite/std/ranges/access/cend.cc: Likewise.
1198         * testsuite/std/ranges/access/crbegin.cc: Likewise.
1199         * testsuite/std/ranges/access/crend.cc: Likewise.
1200         * testsuite/std/ranges/access/data.cc: Likewise.
1201         * testsuite/std/ranges/access/end.cc: Likewise.
1202         * testsuite/std/ranges/access/rbegin.cc: Likewise.
1203         * testsuite/std/ranges/access/rend.cc: Likewise.
1204         * testsuite/std/ranges/safe_range.cc: Likewise.
1205         * testsuite/std/ranges/safe_range_types.cc: Likewise.
1206         * testsuite/util/testsuite_iterators.h: Likewise.
1207
1208         * include/std/ranges (tuple_element<0, const subrange<I, S, K>>)
1209         (tuple_element<1, const subrange<I, S, K>>): Add partial
1210         specializations (LWG 3398).
1211         * testsuite/std/ranges/subrange/tuple_like.cc: New test.
1212
1213         * include/bits/ranges_algo.h (__find_fn, __find_first_of_fn)
1214         (__adjacent_find_fn, __remove_if_fn, __remove_copy_if_fn)
1215         (__unique_fn, __unique_copy_fn): Remove redundant conversions to bool.
1216
1217 2020-02-18  Patrick Palka  <ppalka@redhat.com>
1218
1219         P1983R0 Wording for GB301, US296, US292, US291, and US283
1220         * include/std/ranges (filter_view::pred): New member function.
1221         (join_view::_Iterator::_Iterator): Remove now-redundant comment since
1222         P1983R0 fixes the highlighted issue in the same way.
1223         (join_view::_Iterator<_Const>): Add friend
1224         join_view::_Iterator<!_Const>.
1225         (join_view::_M_inner): Remove mutable specifier, effectively reverting
1226         the proposed wording changes of P3278.
1227         (join_view::begin): Refine the condition for when to return a const
1228         iterator.
1229         (split_view::_OuterIter::_OuterIter): Adjust constraints.
1230         * testsuite/std/ranges/adaptors/filter.cc: Test that filter_view::pred
1231         exists and works.
1232
1233 2020-02-18  Jonathan Wakely  <jwakely@redhat.com>
1234
1235         PR libstdc++/93818
1236         * include/std/ranges (_RangeAdaptor): Add deduction guide.
1237         (filter_view::_Iterator): Add alias _Vp_iter and use in place of
1238         iterator_t<_Vp>.
1239         (filter_view::_Iterator::_S_iter_cat()): Add 'typename'.
1240         (transform_view::_Iterator): Add alias _Base_iter and use in place of
1241         iterator_t<_Base>.
1242         (transform_view::_Iterator::_S_iter_cat()): Add 'typename'.
1243         (join_view::_Iterator): Add _Outer_iter and _Inner_iter aliases.
1244         (join_view::_Iterator::_S_iter_cat()): Add 'typename'.
1245         (split_view::_InnerIter::_S_iter_cat()): Likewise.
1246
1247         * testsuite/20_util/integer_comparisons/equal.cc: Fix invalid
1248         assumption that long is wider than int.
1249         * testsuite/20_util/integer_comparisons/greater_equal.cc: Likewise.
1250         * testsuite/20_util/integer_comparisons/less.cc: Likewise.
1251         * testsuite/20_util/integer_comparisons/less_equal.cc: Likewise.
1252         * testsuite/20_util/integer_comparisons/not_equal.cc: Likewise.
1253
1254         P1976R2 Fixed-size span construction from dynamic range
1255         * include/std/span (__cpp_lib_span): Update value.
1256         (span(It, size_type), span(It, End)): Make conditionally explicit. Add
1257         assertion.
1258         (span(R&&), span(const span<OType, OExtent>&)): Likewise and relax
1259         constraints.
1260         (span::first<Count>(), span::last<Count>()): Use explicit type in
1261         return statement.
1262         (as_bytes, as_writable_bytes): Likewise.
1263         * include/std/version (__cpp_lib_span): Update value.
1264         * testsuite/23_containers/span/1.cc: Check new value.
1265         * testsuite/23_containers/span/2.cc: Check new value.
1266         * testsuite/23_containers/span/explicit.cc: New test.
1267
1268         * include/std/span (span::__is_compatible_array): Simplify alias
1269         template by using requires-clause.
1270         (span::__is_compatible_ref): New alias template for constraining
1271         constructors.
1272         (span::__is_compatible_iterator, span::__is_compatible_range): Remove.
1273         (span(It, size_type), span(It, End)): Use __is_compatible_ref.
1274         (span(T(&)[N], span(array<T, N>&), span(const array<T, N>&)): Remove
1275         redundant parentheses.
1276         (span(R&&)): Add missing constraints.
1277
1278         * include/std/span (span): Reorder members and rename template
1279         parameters to match declarations in the C++2a working paper.
1280
1281         P2116R0 Remove tuple-like protocol support from fixed-extent span
1282         * include/std/span (get, tuple_size, tuple_element): Remove.
1283         * testsuite/23_containers/span/everything.cc: Remove checks for
1284         tuple-like API.
1285         * testsuite/23_containers/span/get_neg.cc: Remove.
1286         * testsuite/23_containers/span/tuple_element_dynamic_neg.cc: Remove.
1287         * testsuite/23_containers/span/tuple_element_oob_neg.cc: Remove.
1288         * testsuite/23_containers/span/tuple_size_neg.cc: Remove.
1289
1290 2020-02-17  Patrick Palka  <ppalka@redhat.com>
1291
1292         P2106R0 Alternative wording for GB315 and GB316
1293         * include/bits/ranges_algo.h (in_fun_result): New.
1294         (for_each_result, for_each_n_result): Change into an alias of
1295         in_fun_result.
1296         (in_in_result): New.
1297         (mismatch_result): Change into an alias of in_in_result.
1298         (copy_if_result): Change into an alias of in_out_result.
1299         (swap_ranges_result): Change into an alias of in_in_result.
1300         (unary_transform_result): Change into an alias of in_out_result.
1301         (in_in_out_result): New.
1302         (binary_transform_result): Change into an alias of in_in_out_result.
1303         (replace_copy_result, replace_copy_if_result, remove_copy_if_result,
1304         remove_copy_result, unique_copy_result, reverse_copy_result,
1305         rotate_copy_result, partial_sort_copy_result): Change into an alias of
1306         in_out_result.
1307         (in_out_out_result): New.
1308         (partition_copy_result, merge_result): Change into an alias of
1309         in_out_out_result.
1310         (set_union_result, set_intersection_result): Change into an alias of
1311         in_in_out_result.
1312         (set_difference_result): Change into an alias of in_out_result.
1313         (set_symmetric_difference): Change into an alias of in_in_out_result.
1314         (min_max_result): New.
1315         (minmax_result, minmax_element_result): Change into an alias of
1316         min_max_result.
1317         (in_found_result): New.
1318         (next_permutation_result, prev_permutation_result): Change into an alias
1319         of in_found_result.
1320         (__next_permutation_fn::operator(), __prev_permutation_fn::operator()):
1321         Adjust following changes to next_permutation_result and
1322         prev_permutation_result.
1323         * include/bits/ranges_algobase.h (in_out_result): New.
1324         (copy_result, move_result, move_backward_result, copy_backward_result,
1325         copy_n_result): Change into an alias of in_out_result.
1326         * include/bits/ranges_uninitialized.h (uninitialized_copy_result,
1327         uninitialized_copy_n_result, uninitialized_move_result,
1328         uninitialized_move_n_result): Likewise.
1329         * testsuite/25_algorithms/next_permutation/constrained.cc: Adjust uses of
1330         structured bindings.
1331         * testsuite/25_algorithms/prev_permutation/constrained.cc: Likewise.
1332
1333         P1243R4 Rangify new algorithms
1334         * include/bits/ranges_algo.h (for_each_n_result, __for_each_n_fn,
1335         for_each_n, __sample_fn, sample, __clamp_fn, clamp): New.
1336         * testsuite/25_algorithms/clamp/constrained.cc: New test.
1337         * testsuite/25_algorithms/for_each/constrained.cc: Augment test.
1338         * testsuite/25_algorithms/sample/constrained.cc: New test.
1339
1340 2020-02-17  Jonathan Wakely  <jwakely@redhat.com>
1341
1342         P1964R2 Wording for boolean-testable
1343         * include/bits/ranges_algo.h (__find_fn, __find_first_of_fn)
1344         (__adjacent_find_fn): Cast result of predicate to bool.
1345         * include/std/concepts (__boolean): Remove.
1346         (__detail::__boolean_testable_impl, __detail::__boolean_testable): Add
1347         new helper concepts.
1348         (__detail::__weakly_eq_cmp_with, totally_ordered, totally_ordered_with)
1349         (predicate): Use __boolean_testable instead of boolean.
1350         * libsupc++/compare (__detail::__partially_ordered, _Synth3way):
1351         Likewise.
1352
1353         P1970R2 Consistency for size() functions: Add ranges::ssize
1354         * include/bits/range_access.h (_SSize, ssize): Define for C++20.
1355         * testsuite/std/ranges/access/ssize.cc: New test.
1356
1357         P1956R1 On the names of low-level bit manipulation functions
1358         * include/bits/hashtable_policy.h: Update comment.
1359         * include/std/bit (__ispow2, __ceil2, __floor2, __log2p1): Rename.
1360         (ispow2, ceil2, floor2, log2p1): Likewise.
1361         (__cpp_lib_int_pow2): Add feature test macro.
1362         * include/std/charconv (__to_chars_len_2): Adjust use of __log2p1.
1363         * include/std/memory (assume_aligned): Adjust use of ispow2.
1364         * include/std/version (__cpp_lib_int_pow2): Add.
1365         * libsupc++/new_opa.cc: Adjust use of __ispow2.
1366         * src/c++17/memory_resource.cc: Likewise, and for __ceil2 and __log2p1.
1367         * testsuite/17_intro/freestanding.cc: Adjust use of ispow2.
1368         * testsuite/26_numerics/bit/bit.pow.two/ceil2.cc: Rename to ...
1369         * testsuite/26_numerics/bit/bit.pow.two/bit_ceil.cc: ... here.
1370         * testsuite/26_numerics/bit/bit.pow.two/ceil2_neg.cc: Rename to ...
1371         * testsuite/26_numerics/bit/bit.pow.two/bit_ceil_neg.cc: ... here.
1372         * testsuite/26_numerics/bit/bit.pow.two/floor2.cc: Rename to ...
1373         * testsuite/26_numerics/bit/bit.pow.two/bit_floor.cc: ... here.
1374         * testsuite/26_numerics/bit/bit.pow.two/log2p1.cc: Rename to ...
1375         * testsuite/26_numerics/bit/bit.pow.two/bit_width.cc: ... here.
1376         * testsuite/26_numerics/bit/bit.pow.two/ispow2.cc: Rename to ...
1377         * testsuite/26_numerics/bit/bit.pow.two/has_single_bit.cc: ... here.
1378
1379         * include/std/charconv: Add comment.
1380
1381         PR libstdc++/92546 (partial)
1382         * include/bits/random.h (uniform_random_bit_generator): Move definition
1383         to <bits/uniform_int_dist.h>.
1384         * include/bits/ranges_algo.h: Include <bits/uniform_int_dist.h> instead
1385         of <bits/random.h>.
1386         * include/bits/ranges_algobase.h: Do not include <cmath>.
1387         * include/bits/uniform_int_dist.h (uniform_random_bit_generator):
1388         Move here.
1389         * include/std/ranges: Do not include <limits>.
1390         * testsuite/26_numerics/random/pr60037-neg.cc: Adjust dg-error lineno.
1391
1392         PR libstdc++/92546 (partial)
1393         * include/Makefile.am: Add new header.
1394         * include/Makefile.in: Regenerate.
1395         * include/bits/int_limits.h: New header.
1396         * include/bits/parse_numbers.h (__select_int::_Select_int): Replace
1397         numeric_limits with __detail::__int_limits.
1398         * include/std/bit (__rotl, __rotr, __countl_zero, __countl_one)
1399         (__countr_zero, __countr_one, __popcount, __ceil2, __floor2, __log2p1):
1400         Likewise.
1401         * include/std/charconv (__to_chars_8, __from_chars_binary)
1402         (__from_chars_alpha_to_num, from_chars): Likewise.
1403         * include/std/memory_resource (polymorphic_allocator::allocate)
1404         (polymorphic_allocator::allocate_object): Likewise.
1405         * include/std/string_view (basic_string_view::_S_compare): Likewise.
1406         * include/std/utility (in_range): Likewise.
1407         * testsuite/20_util/integer_comparisons/in_range_neg.cc: Adjust for
1408         extra error about incomplete type __int_limits<bool>.
1409         * testsuite/26_numerics/bit/bit.count/countl_one.cc: Include <limits>.
1410         * testsuite/26_numerics/bit/bit.count/countl_zero.cc: Likewise.
1411         * testsuite/26_numerics/bit/bit.count/countr_one.cc: Likewise.
1412         * testsuite/26_numerics/bit/bit.count/countr_zero.cc: Likewise.
1413         * testsuite/26_numerics/bit/bit.count/popcount.cc: Likewise.
1414         * testsuite/26_numerics/bit/bit.pow.two/ceil2_neg.cc: Likewise.
1415         * testsuite/26_numerics/bit/bit.pow.two/ceil2.cc: Likewise.
1416         * testsuite/26_numerics/bit/bit.pow.two/floor2.cc: Likewise.
1417         * testsuite/26_numerics/bit/bit.pow.two/ispow2.cc: Likewise.
1418         * testsuite/26_numerics/bit/bit.pow.two/log2p1.cc: Likewise.
1419         * testsuite/26_numerics/bit/bit.rotate/rotl.cc: Likewise.
1420         * testsuite/26_numerics/bit/bit.rotate/rotr.cc: Likewise.
1421
1422         * python/libstdcxx/v6/printers.py (StdCmpCatPrinter.to_string): Update
1423         value for partial_ordering::unordered.
1424
1425         * include/bits/iterator_concepts.h (indirectly_copyable_storable): Add
1426         const-qualified expression variations.
1427         * include/std/concepts (copyable): Likewise.
1428
1429         * include/std/type_traits (__is_standard_integer): New helper trait.
1430         * include/std/utility (cmp_equal, cmp_not_equal, cmp_less, cmp_greater)
1431         (cmp_less_equal, cmp_greater_equal, in_range): Define for C++20.
1432         * include/std/version (__cpp_lib_integer_comparison_functions): Define.
1433         * testsuite/20_util/integer_comparisons/1.cc: New test.
1434         * testsuite/20_util/integer_comparisons/2.cc: New test.
1435         * testsuite/20_util/integer_comparisons/equal.cc: New test.
1436         * testsuite/20_util/integer_comparisons/equal_neg.cc: New test.
1437         * testsuite/20_util/integer_comparisons/greater_equal.cc: New test.
1438         * testsuite/20_util/integer_comparisons/greater_equal_neg.cc: New test.
1439         * testsuite/20_util/integer_comparisons/greater_neg.cc: New test.
1440         * testsuite/20_util/integer_comparisons/in_range.cc: New test.
1441         * testsuite/20_util/integer_comparisons/in_range_neg.cc: New test.
1442         * testsuite/20_util/integer_comparisons/less.cc: New test.
1443         * testsuite/20_util/integer_comparisons/less_equal.cc: New test.
1444         * testsuite/20_util/integer_comparisons/less_equal_neg.cc: New test.
1445         * testsuite/20_util/integer_comparisons/less_neg.cc: New test.
1446         * testsuite/20_util/integer_comparisons/not_equal.cc: New test.
1447         * testsuite/20_util/integer_comparisons/not_equal_neg.cc: New test.
1448
1449 2020-02-16  Patrick Palka  <ppalka@redhat.com>
1450
1451         * include/bits/ranges_algo.h (__lexicographical_compare_fn::operator()):
1452         Move code after an early exit constexpr if to under an else branch.
1453         * include/bits/ranges_algobase.h (__equal_fn::operator()): Likewise.
1454
1455 2020-02-15  Patrick Palka  <ppalka@redhat.com>
1456
1457         * include/bits/ranges_algo.h: Adjust whitespace and formatting.
1458         * include/bits/ranges_algobase.h: Likewise.
1459         * include/bits/ranges_uninitialized.h: Likewise.
1460
1461         * include/bits/ranges_algo.h: (adjacent_find, all_of, any_of,
1462         binary_search, copy_if, count, count_if, equal_range, find, find_end,
1463         find_first_of, find_if, find_if_not, for_each, generate, generate_n,
1464         includes, inplace_merge, is_heap, is_heap_until, is_partitioned,
1465         is_permutation, is_sorted, is_sorted_until, lexicographical_compare,
1466         lower_bound, make_heap, max, max_element, merge, min, min_element,
1467         minmax, minmax_element, mismatch, next_permutation, none_of,
1468         nth_element, partial_sort, partial_sort_copy, partition, partition_copy,
1469         partition_point, pop_heap, prev_permutation, push_heap, remove,
1470         remove_copy, remove_copy_if, remove_if, replace, replace_copy,
1471         replace_copy_if, replace_if, reverse, reverse_copy, rotate, rotate_copy,
1472         search, search_n, set_difference, set_intersection,
1473         set_symmetric_difference, set_union, shuffle, sort, sort_heap,
1474         stable_partition, stable_sort, swap_ranges, transform, unique,
1475         unique_copy, upper_bound): Convert into function objects.
1476         * include/bits/ranges_algobase.h: (equal, copy, move, copy_n, fill_n,
1477         fill, move_backward, copy_backward): Likewise.
1478         * include/bits/ranges_uninitialized.h (uninitialized_default_construct,
1479         uninitialized_default_construct_n, uninitialized_value_construct,
1480         uninitialized_value_construct_n, uninitialized_copy,
1481         uninitialized_copy_n, uninitialized_move, uninitialized_move_n,
1482         uninitialized_fill, uninitialized_fill_n, construct_at, destroy_at,
1483         destroy, destroy_n): Likewise.
1484
1485         * include/bits/ranges_algo.h (ranges::__find_end): Fold into ...
1486         (ranges::find_end): ... here.
1487         (ranges::__lexicographical_compare): Fold into ...
1488         (ranges::lexicographical_compare): ... here.
1489         * include/bits/ranges_algobase.h (ranges::__equal): Fold into ...
1490         (ranges::equal): ... here.
1491
1492 2020-02-15  Jonathan Wakely  <jwakely@redhat.com>
1493
1494         * include/bits/erase_if.h (__cpp_lib_erase_if): Define to 202002L.
1495         * include/std/deque: Likewise.
1496         * include/std/forward_list: Likewise.
1497         * include/std/list: Likewise.
1498         * include/std/string: Likewise.
1499         * include/std/vector: Likewise.
1500         * include/std/version: Likewise.
1501         * testsuite/23_containers/deque/erasure.cc: Test for new value.
1502         * testsuite/23_containers/forward_list/erasure.cc: Likewise.
1503         * testsuite/23_containers/list/erasure.cc: Likewise.
1504         * testsuite/23_containers/map/erasure.cc: Likewise.
1505         * testsuite/23_containers/set/erasure.cc: Likewise.
1506         * testsuite/23_containers/unordered_map/erasure.cc: Likewise.
1507         * testsuite/23_containers/unordered_set/erasure.cc: Likewise.
1508         * testsuite/23_containers/vector/erasure.cc: Likewise.
1509
1510 2020-02-15  Jonathan Wakely  <jwakely@redhat.com>
1511
1512         * include/bits/random.h (uniform_random_bit_generator): Require min()
1513         and max() to be constant expressions and min() to be less than max().
1514         * testsuite/26_numerics/random/concept.cc: Check additional cases.
1515         * testsuite/26_numerics/random/pr60037-neg.cc: Adjust dg-error lineno.
1516
1517 2020-02-13  Patrick Palka  <ppalka@redhat.com>
1518
1519         * include/Makefile.am: Add <bits/ranges_uninitialized.h>.
1520         * include/Makefile.in: Regenerate.
1521         * include/bits/ranges_uninitialized.h: New header.
1522         * include/std/memory: Include it.
1523         * testsuite/20_util/specialized_algorithms/destroy/constrained.cc: New
1524         test.
1525         * .../uninitialized_copy/constrained.cc: New test.
1526         * .../uninitialized_default_construct/constrained.cc: New test.
1527         * .../uninitialized_fill/constrained.cc: New test.
1528         * .../uninitialized_move/constrained.cc: New test.
1529         * .../uninitialized_value_construct/constrained.cc: New test.
1530
1531         * include/Makefile.am: Add bits/ranges_algobase.h
1532         * include/Makefile.in: Regenerate.
1533         * bits/ranges_algo.h: Include <bits/ranges_algobase.h> and refactor
1534         existing #includes.
1535         (__detail::__is_normal_iterator, __detail::is_reverse_iterator,
1536         __detail::__is_move_iterator, copy_result, move_result,
1537         __equal, equal, copy_result, move_result, move_backward_result,
1538         copy_backward_result, __copy_or_move_backward, __copy_or_move, copy,
1539         move, copy_backward, move_backward, copy_n_result, copy_n, fill_n,
1540         fill): Split out into ...
1541         * bits/range_algobase.h: ... this new header.
1542
1543 2020-02-12  Patrick Palka  <ppalka@redhat.com>
1544
1545         LWG 3389 and LWG 3390
1546         * include/bits/stl_iterator.h (move_move_iterator): Use std::move when
1547         constructing the move_iterator with __i.
1548         (counted_iterator::counted_iterator): Use std::move when initializing
1549         M_current with __i.
1550         * testsuite/24_iterators/counted_iterator/lwg3389.cc: New test.
1551         * testsuite/24_iterators/move_iterator/lwg3390.cc: New test.
1552
1553 2020-02-12  Sandra Loosemore  <sandra@codesourcery.com>
1554
1555         PR libstdc++/79193
1556         PR libstdc++/88999
1557
1558         * configure: Regenerated.
1559
1560 2020-02-12  François Dumont  <fdumont@gcc.gnu.org>
1561
1562         * include/bits/hashtable.h
1563         (_Hashtable<>(_Hashtable&&, std::allocator_type&)): Add
1564         missing std namespace qualification to forward call.
1565
1566 2020-02-09  Jonathan Wakely  <jwakely@redhat.com>
1567
1568         * testsuite/20_util/function_objects/range.cmp/equal_to.cc: Fix
1569         comment.
1570         * testsuite/20_util/function_objects/range.cmp/less.ccL Likewise.
1571
1572         * include/std/ranges: Fix non-ASCII characters in comment.
1573
1574         * include/bits/range_cmp.h (__detail::__eq_builtin_ptr_cmp): Require
1575         equality comparison to be valid and return bool.
1576         (__detail::__less_builtin_ptr_cmp): Likewise for less-than comparison.
1577         * testsuite/20_util/function_objects/range.cmp/equal_to.cc: Check
1578         type with ambiguous conversion to fundamental types.
1579         * testsuite/20_util/function_objects/range.cmp/less.cc: Likewise.
1580
1581 2020-02-07  Jonathan Wakely  <jwakely@redhat.com>
1582
1583         * include/bits/iterator_concepts.h (iter_difference_t, iter_value_t):
1584         Use remove_cvref_t.
1585         (readable_traits): Rename to indirectly_readable_traits.
1586         (readable): Rename to indirectly_readable.
1587         (writable): Rename to indirectly_writable.
1588         (__detail::__iter_exchange_move): Do not use remove_reference_t.
1589         (indirectly_swappable): Adjust requires expression parameter types.
1590         expression.
1591         * include/bits/ranges_algo.h (ranges::transform, ranges::replace)
1592         (ranges::replace_if, ranges::generate_n, ranges::generate)
1593         (ranges::remove): Use new name for writable.
1594         * include/bits/stl_iterator.h (__detail::__common_iter_has_arrow):
1595         Use new name for readable.
1596         * include/ext/pointer.h (readable_traits<_Pointer_adapter<P>>): Use
1597         new name for readable_traits.
1598         * testsuite/24_iterators/associated_types/readable.traits.cc: Likewise.
1599         * testsuite/24_iterators/indirect_callable/projected.cc: Adjust for
1600         new definition of indirectly_readable.
1601
1602         * include/bits/stl_iterator.h (__detail::__common_iter_ptr): Change
1603         to take parameters of common_iterator, instead of the common_iterator
1604         type itself. Fix argument for __common_iter_has_arrow constraint.
1605         (iterator_traits<common_iterator<I, S>>::pointer): Adjust.
1606
1607 2020-02-07  Jonathan Wakely  <jwakely@redhat.com>
1608
1609         * include/std/ranges (iota_view): Add braces to prevent -Wempty-body
1610         warning.
1611         (basic_istream_view::_Iterator::operator++()): Add missing return.
1612
1613 2020-02-07  Patrick Palka  <ppalka@redhat.com>
1614
1615         * include/bits/ranges_algo.h: Remove extraneous &&.
1616
1617         * include/std/ranges (ranges::__detail::__stream_extractable,
1618         ranges::basic_istream_view, ranges::istream_view): Define.
1619         * testsuite/std/ranges/istream_view: New test.
1620
1621         Implement C++20 range adaptors
1622         * include/std/ranges: Include <bits/refwrap.h> and <tuple>.
1623         (subrange::_S_store_size): Mark as const instead of constexpr to
1624         avoid what seems to be a bug in GCC.
1625         (__detail::__box): Give it defaulted copy and move constructors.
1626         (ranges::views::_Single::operator()): Mark constexpr.
1627         (ranges::views::_Iota::operator()): Mark constexpr.
1628         (__detail::Empty): Define.
1629         (ranges::views::__closure::_RangeAdaptor,
1630         ranges::views::__closure::_RangeAdaptorClosure, ref_view, all_view,
1631         ranges::views::all, ranges::__detail::find_if,
1632         ranges::__detail::find_if_not, ranges::__detail::mismatch,
1633         ranges::detail::min, filter_view, ranges::views::filter, transform_view,
1634         ranges::views::transform, take_view, ranges::views::take,
1635         take_while_view, ranges::views::take_while, drop_view,
1636         ranges::views::drop, join_view, ranges::views::join,
1637         __detail::require_constant, __detail::tiny_range, split_view,
1638         ranges::views::split, ranges::views::_Counted, ranges::views::counted,
1639         common_view, ranges::views::common, reverse_view,
1640         ranges::views::reverse,
1641         ranges::views::__detail::__is_reversible_subrange,
1642         ranges::views::__detail::__is_reverse_view, reverse_view,
1643         ranges::views::reverse, __detail::__has_tuple_element, elements_view,
1644         ranges::views::elements, ranges::views::keys, ranges::views::values):
1645         Define.
1646         (views): Alias for ranges::views.
1647         (tuple_size<ranges::subrange<>>, tuple_element<0, ranges::subrange>,
1648         tuple_element<1, ranges::subrange>): New partial specializations.
1649         * testsuite/std/ranges/adaptors/all.cc: New test.
1650         * testsuite/std/ranges/adaptors/common.cc: Likewise.
1651         * testsuite/std/ranges/adaptors/counted.cc: Likewise.
1652         * testsuite/std/ranges/adaptors/drop.cc: Likewise.
1653         * testsuite/std/ranges/adaptors/drop_while.cc: Likewise.
1654         * testsuite/std/ranges/adaptors/elements.cc: Likewise.
1655         * testsuite/std/ranges/adaptors/filter.cc: Likewise.
1656         * testsuite/std/ranges/adaptors/join.cc: Likewise.
1657         * testsuite/std/ranges/adaptors/reverse.cc: Likewise.
1658         * testsuite/std/ranges/adaptors/split.cc: Likewise.
1659         * testsuite/std/ranges/adaptors/take.cc: Likewise.
1660         * testsuite/std/ranges/adaptors/take_while.cc: Likewise.
1661         * testsuite/std/ranges/adaptors/transform.cc: Likewise.
1662
1663 2020-02-07  Jonathan Wakely  <jwakely@redhat.com>
1664
1665         * libsupc++/compare (__cmp_cat::type): Define typedef for underlying
1666         type of enumerations and comparison category types.
1667         (__cmp_cat::_Ord, __cmp_cat::_Ncmp): Add underlying type.
1668         (__cmp_cat::_Ncmp::unordered): Change value to 2.
1669         (partial_ordering::_M_value, weak_ordering::_M_value)
1670         (strong_ordering::_M_value): Change type to __cmp_cat::type.
1671         (partial_ordering::_M_is_ordered): Remove data member.
1672         (partial_ordering): Use second bit of _M_value for unordered. Adjust
1673         comparison operators.
1674         (weak_ordering::operator partial_ordering): Simplify to remove
1675         branches.
1676         (operator<=>(unspecified, weak_ordering)): Likewise.
1677         (strong_ordering::operator partial_ordering): Likewise.
1678         (strong_ordering::operator weak_ordering): Likewise.
1679         (operator<=>(unspecified, strong_ordering)): Likewise.
1680         * testsuite/18_support/comparisons/categories/partialord.cc: New test.
1681         * testsuite/18_support/comparisons/categories/strongord.cc: New test.
1682         * testsuite/18_support/comparisons/categories/weakord.cc: New test.
1683
1684         * include/std/ranges (iota_view::_Iterator): Fix typo in name of
1685         __cpp_lib_three_way_comparison macro and use deduced return type for
1686         operator<=>.
1687         * testsuite/std/ranges/iota/iterator.cc: New test.
1688
1689 2020-02-07  Patrick Palka  <ppalka@redhat.com>
1690             Jonathan Wakely  <jwakely@redhat.com>
1691
1692         Implement C++20 constrained algorithms
1693         * include/Makefile.am: Add new header.
1694         * include/Makefile.in: Regenerate.
1695         * include/std/algorithm: Include <bits/ranges_algo.h>.
1696         * include/bits/ranges_algo.h: New file.
1697         * testsuite/25_algorithms/adjacent_find/constrained.cc: New test.
1698         * testsuite/25_algorithms/all_of/constrained.cc: New test.
1699         * testsuite/25_algorithms/any_of/constrained.cc: New test.
1700         * testsuite/25_algorithms/binary_search/constrained.cc: New test.
1701         * testsuite/25_algorithms/copy/constrained.cc: New test.
1702         * testsuite/25_algorithms/copy_backward/constrained.cc: New test.
1703         * testsuite/25_algorithms/copy_if/constrained.cc: New test.
1704         * testsuite/25_algorithms/copy_n/constrained.cc: New test.
1705         * testsuite/25_algorithms/count/constrained.cc: New test.
1706         * testsuite/25_algorithms/count_if/constrained.cc: New test.
1707         * testsuite/25_algorithms/equal/constrained.cc: New test.
1708         * testsuite/25_algorithms/equal_range/constrained.cc: New test.
1709         * testsuite/25_algorithms/fill/constrained.cc: New test.
1710         * testsuite/25_algorithms/fill_n/constrained.cc: New test.
1711         * testsuite/25_algorithms/find/constrained.cc: New test.
1712         * testsuite/25_algorithms/find_end/constrained.cc: New test.
1713         * testsuite/25_algorithms/find_first_of/constrained.cc: New test.
1714         * testsuite/25_algorithms/find_if/constrained.cc: New test.
1715         * testsuite/25_algorithms/find_if_not/constrained.cc: New test.
1716         * testsuite/25_algorithms/for_each/constrained.cc: New test.
1717         * testsuite/25_algorithms/generate/constrained.cc: New test.
1718         * testsuite/25_algorithms/generate_n/constrained.cc: New test.
1719         * testsuite/25_algorithms/heap/constrained.cc: New test.
1720         * testsuite/25_algorithms/includes/constrained.cc: New test.
1721         * testsuite/25_algorithms/inplace_merge/constrained.cc: New test.
1722         * testsuite/25_algorithms/is_partitioned/constrained.cc: New test.
1723         * testsuite/25_algorithms/is_permutation/constrained.cc: New test.
1724         * testsuite/25_algorithms/is_sorted/constrained.cc: New test.
1725         * testsuite/25_algorithms/is_sorted_until/constrained.cc: New test.
1726         * testsuite/25_algorithms/lexicographical_compare/constrained.cc: New
1727         test.
1728         * testsuite/25_algorithms/lower_bound/constrained.cc: New test.
1729         * testsuite/25_algorithms/max/constrained.cc: New test.
1730         * testsuite/25_algorithms/max_element/constrained.cc: New test.
1731         * testsuite/25_algorithms/merge/constrained.cc: New test.
1732         * testsuite/25_algorithms/min/constrained.cc: New test.
1733         * testsuite/25_algorithms/min_element/constrained.cc: New test.
1734         * testsuite/25_algorithms/minmax/constrained.cc: New test.
1735         * testsuite/25_algorithms/minmax_element/constrained.cc: New test.
1736         * testsuite/25_algorithms/mismatch/constrained.cc: New test.
1737         * testsuite/25_algorithms/move/constrained.cc: New test.
1738         * testsuite/25_algorithms/move_backward/constrained.cc: New test.
1739         * testsuite/25_algorithms/next_permutation/constrained.cc: New test.
1740         * testsuite/25_algorithms/none_of/constrained.cc: New test.
1741         * testsuite/25_algorithms/nth_element/constrained.cc: New test.
1742         * testsuite/25_algorithms/partial_sort/constrained.cc: New test.
1743         * testsuite/25_algorithms/partial_sort_copy/constrained.cc: New test.
1744         * testsuite/25_algorithms/partition/constrained.cc: New test.
1745         * testsuite/25_algorithms/partition_copy/constrained.cc: New test.
1746         * testsuite/25_algorithms/partition_point/constrained.cc: New test.
1747         * testsuite/25_algorithms/prev_permutation/constrained.cc: New test.
1748         * testsuite/25_algorithms/remove/constrained.cc: New test.
1749         * testsuite/25_algorithms/remove_copy/constrained.cc: New test.
1750         * testsuite/25_algorithms/remove_copy_if/constrained.cc: New test.
1751         * testsuite/25_algorithms/remove_if/constrained.cc: New test.
1752         * testsuite/25_algorithms/replace/constrained.cc: New test.
1753         * testsuite/25_algorithms/replace_copy/constrained.cc: New test.
1754         * testsuite/25_algorithms/replace_copy_if/constrained.cc: New test.
1755         * testsuite/25_algorithms/replace_if/constrained.cc: New test.
1756         * testsuite/25_algorithms/reverse/constrained.cc: New test.
1757         * testsuite/25_algorithms/reverse_copy/constrained.cc: New test.
1758         * testsuite/25_algorithms/rotate/constrained.cc: New test.
1759         * testsuite/25_algorithms/rotate_copy/constrained.cc: New test.
1760         * testsuite/25_algorithms/search/constrained.cc: New test.
1761         * testsuite/25_algorithms/search_n/constrained.cc: New test.
1762         * testsuite/25_algorithms/set_difference/constrained.cc: New test.
1763         * testsuite/25_algorithms/set_intersection/constrained.cc: New test.
1764         * testsuite/25_algorithms/set_symmetric_difference/constrained.cc: New
1765         test.
1766         * testsuite/25_algorithms/set_union/constrained.cc: New test.
1767         * testsuite/25_algorithms/shuffle/constrained.cc: New test.
1768         * testsuite/25_algorithms/sort/constrained.cc: New test.
1769         * testsuite/25_algorithms/stable_partition/constrained.cc: New test.
1770         * testsuite/25_algorithms/stable_sort/constrained.cc: New test.
1771         * testsuite/25_algorithms/swap_ranges/constrained.cc: New test.
1772         * testsuite/25_algorithms/transform/constrained.cc: New test.
1773         * testsuite/25_algorithms/unique/constrained.cc: New test.
1774         * testsuite/25_algorithms/unique_copy/constrained.cc: New test.
1775         * testsuite/25_algorithms/upper_bound/constrained.cc: New test.
1776
1777 2020-02-06  Jonathan Wakely  <jwakely@redhat.com>
1778
1779         * include/bits/stl_iterator.h (__detail::__common_iter_ptr): Fix PR
1780         number in comment. Fix indentation.
1781
1782         * include/bits/stl_algobase.h (__iter_swap, __iter_swap<true>): Remove
1783         redundant _GLIBCXX20_CONSTEXPR.
1784
1785         * include/std/ranges (viewable_range): Replace decay_t with
1786         remove_cvref_t (LWG 3375).
1787
1788 2020-02-05  Jonathan Wakely  <jwakely@redhat.com>
1789
1790         * include/bits/iterator_concepts.h (iter_reference_t)
1791         (iter_rvalue_reference_t, iter_common_reference_t, indirect_result_t):
1792         Remove workarounds for PR c++/67704.
1793         * testsuite/24_iterators/aliases.cc: New test.
1794
1795 2020-02-05  Patrick Palka  <ppalka@redhat.com>
1796
1797         * include/bits/stl_iterator.h (move_iterator::move_iterator): Move __i
1798         when initializing _M_current.
1799         (move_iterator::base): Split into two overloads differing in
1800         ref-qualifiers as in P1207R4 for C++20.
1801
1802 2020-02-04  Jonathan Wakely  <jwakely@redhat.com>
1803
1804         * include/std/functional (_GLIBCXX_NOT_FN_CALL_OP): Un-define after
1805         use.
1806
1807         PR libstdc++/93562
1808         * include/bits/unique_ptr.h (__uniq_ptr_impl::swap): Define.
1809         (unique_ptr::swap, unique_ptr<T[], D>::swap): Call it.
1810         * testsuite/20_util/unique_ptr/modifiers/93562.cc: New test.
1811
1812 2020-02-01  Andrew Burgess  <andrew.burgess@embecosm.com>
1813
1814         * configure: Regenerate.
1815
1816 2020-01-31  Patrick Palka  <ppalka@redhat.com>
1817
1818         * testsuite/24_iterators/range_operations/distance.cc: Do not assume
1819         test_range::end() returns the same type as test_range::begin().
1820         * testsuite/24_iterators/range_operations/next.cc: Likewise.
1821         * testsuite/24_iterators/range_operations/prev.cc: Likewise.
1822         * testsuite/util/testsuite_iterators.h (__gnu_test::test_range::end):
1823         Always return a sentinel<I>.
1824
1825 2020-01-29  Jonathan Wakely  <jwakely@redhat.com>
1826
1827         PR libstdc++/92895
1828         * include/std/stop_token (stop_token::stop_possible()): Call new
1829         _M_stop_possible() function.
1830         (stop_token::stop_requested()): Do not use stop_possible().
1831         (stop_token::binary_semaphore): New class, as temporary stand-in for
1832         std::binary_semaphore.
1833         (stop_token::_Stop_cb::_M_callback): Add noexcept to type.
1834         (stop_token::_Stop_cb::_M_destroyed, stop_token::_Stop_cb::_M_done):
1835         New data members for symchronization with stop_callback destruction.
1836         (stop_token::_Stop_cb::_Stop_cb): Make non-template.
1837         (stop_token::_Stop_cb::_M_linked, stop_token::_Stop_cb::_S_execute):
1838         Remove.
1839         (stop_token::_Stop_cb::_M_run): New member function.
1840         (stop_token::_Stop_state::_M_stopped, stop_token::_Stop_state::_M_mtx):
1841         Remove.
1842         (stop_token::_Stop_state::_M_owners): New data member to track
1843         reference count for ownership.
1844         (stop_token::_Stop_state::_M_value): New data member combining a
1845         spinlock, the stop requested flag, and the reference count for
1846         associated stop_source objects.
1847         (stop_token::_Stop_state::_M_requester): New data member for
1848         synchronization with stop_callback destruction.
1849         (stop_token::_Stop_state::_M_stop_possible()): New member function.
1850         (stop_token::_Stop_state::_M_stop_requested()): Inspect relevant bit
1851         of _M_value.
1852         (stop_token::_Stop_state::_M_add_owner)
1853         (stop_token::_Stop_state::_M_release_ownership)
1854         (stop_token::_Stop_state::_M_add_ssrc)
1855         (stop_token::_Stop_state::_M_sub_ssrc): New member functions for
1856         updating reference counts.
1857         (stop_token::_Stop_state::_M_lock, stop_token::_Stop_state::_M_unlock)
1858         (stop_token::_Stop_state::_M_lock, stop_token::_Stop_state::_M_unlock)
1859         (stop_token::_Stop_state::_M_try_lock)
1860         (stop_token::_Stop_state::_M_try_lock_and_stop)
1861         (stop_token::_Stop_state::_M_do_try_lock): New member functions for
1862         managing spinlock.
1863         (stop_token::_Stop_state::_M_request_stop): Use atomic operations to
1864         read and update state. Release lock while running callbacks. Use new
1865         data members to synchronize with callback destruction.
1866         (stop_token::_Stop_state::_M_remove_callback): Likewise.
1867         (stop_token::_Stop_state::_M_register_callback): Use atomic operations
1868         to read and update state.
1869         (stop_token::_Stop_state_ref): Handle type to manage _Stop_state,
1870         replacing shared_ptr.
1871         (stop_source::stop_source(const stop_source&)): Update reference count.
1872         (stop_source::operator=(const stop_source&)): Likewise.
1873         (stop_source::~stop_source()): Likewise.
1874         (stop_source::stop_source(stop_source&&)): Define as defaulted.
1875         (stop_source::operator=(stop_source&&)): Establish postcondition on
1876         parameter.
1877         (stop_callback): Enforce preconditions on template parameter. Replace
1878         base class with data member of new _Cb_impl type.
1879         (stop_callback::stop_callback(const stop_token&, Cb&&))
1880         (stop_callback::stop_callback(stop_token&&, Cb&&)): Fix TOCTTOU race.
1881         (stop_callback::_Cb_impl): New type wrapping _Callback member and
1882         defining the _S_execute member function.
1883         * testsuite/30_threads/stop_token/stop_callback/deadlock-mt.cc: New
1884         test.
1885         * testsuite/30_threads/stop_token/stop_callback/deadlock.cc: New test.
1886         * testsuite/30_threads/stop_token/stop_callback/destroy.cc: New test.
1887         * testsuite/30_threads/stop_token/stop_callback/destructible_neg.cc:
1888         New test.
1889         * testsuite/30_threads/stop_token/stop_callback/invocable_neg.cc: New
1890         test.
1891         * testsuite/30_threads/stop_token/stop_callback/invoke.cc: New test.
1892         * testsuite/30_threads/stop_token/stop_source/assign.cc: New test.
1893         * testsuite/30_threads/stop_token/stop_token/stop_possible.cc: New
1894         test.
1895
1896         * libsupc++/compare (__detail::__3way_builtin_ptr_cmp): Use
1897         three_way_comparable_with.
1898         (__detail::__3way_cmp_with): Remove workaround for fixed bug.
1899         (compare_three_way::operator()): Remove redundant constraint from
1900         requires-clause.
1901         (__detail::_Synth3way::operator()): Use three_way_comparable_with
1902         instead of workaround.
1903         * testsuite/18_support/comparisons/object/93479.cc: Prune extra
1904         output due to simplified constraints on compare_three_way::operator().
1905
1906         PR libstdc++/93479
1907         * libsupc++/compare (__3way_builtin_ptr_cmp): Require <=> to be valid.
1908         * testsuite/18_support/comparisons/object/93479.cc: New test.
1909
1910         * testsuite/std/ranges/access/end.cc: Do not assume test_range::end()
1911         returns the same type as test_range::begin(). Add comments.
1912         * testsuite/std/ranges/access/rbegin.cc: Likewise.
1913         * testsuite/std/ranges/access/rend.cc: Likewise.
1914         * testsuite/std/ranges/range.cc: Do not assume the sentinel for
1915         test_range is the same as its iterator type.
1916         * testsuite/util/testsuite_iterators.h (test_range::sentinel): Add
1917         operator- overloads to satisfy sized_sentinel_for when the iterator
1918         satisfies random_access_iterator.
1919
1920 2020-01-28  Jonathan Wakely  <jwakely@redhat.com>
1921
1922         PR libstdc++/93470
1923         * include/bits/refwrap.h (reference_wrapper::operator()): Restrict
1924         static assertion to object types.
1925
1926         PR libstdc++/93325
1927         * acinclude.m4 (GLIBCXX_ENABLE_LIBSTDCXX_TIME): Use AC_SEARCH_LIBS for
1928         clock_gettime instead of explicit glibc version check.
1929         * configure: Regenerate.
1930
1931 2020-01-28  Martin Liska  <mliska@suse.cz>
1932
1933         PR libstdc++/93478
1934         * include/std/atomic: Fix typo.
1935         * include/std/optional: Likewise.
1936
1937 2020-01-27  Andrew Burgess  <andrew.burgess@embecosm.com>
1938
1939         * configure: Regenerate.
1940
1941 2020-01-27  Jonathan Wakely  <jwakely@redhat.com>
1942
1943         PR libstdc++/93426
1944         * include/std/span (span): Fix deduction guide.
1945         * testsuite/23_containers/span/deduction.cc: New test.
1946
1947 2020-01-24  Jonathan Wakely  <jwakely@redhat.com>
1948
1949         * libsupc++/compare (__cmp_cat::_Eq): Remove enumeration type.
1950         (__cmp_cat::_Ord::equivalent): Add enumerator.
1951         (__cmp_cat::_Ord::_Less, __cmp_cat::_Ord::_Greater): Rename to less
1952         and greater.
1953         (partial_ordering, weak_ordering, strong_ordering): Remove
1954         constructors taking __cmp_cat::_Eq parameters. Use renamed
1955         enumerators.
1956
1957 2020-01-24  Maciej W. Rozycki  <macro@wdc.com>
1958
1959         * acinclude.m4: Handle `--with-toolexeclibdir='.
1960         * Makefile.in: Regenerate.
1961         * aclocal.m4: Regenerate.
1962         * configure: Regenerate.
1963         * doc/Makefile.in: Regenerate.
1964         * include/Makefile.in: Regenerate.
1965         * libsupc++/Makefile.in: Regenerate.
1966         * po/Makefile.in: Regenerate.
1967         * python/Makefile.in: Regenerate.
1968         * src/Makefile.in: Regenerate.
1969         * src/c++11/Makefile.in: Regenerate.
1970         * src/c++17/Makefile.in: Regenerate.
1971         * src/c++98/Makefile.in: Regenerate.
1972         * src/filesystem/Makefile.in: Regenerate.
1973         * testsuite/Makefile.in: Regenerate.
1974
1975 2020-01-23  Alexandre Oliva <oliva@adacore.com>
1976
1977         * crossconfig.m4 (GLIBCXX_CHECK_MATH_DECL): Reject macros.
1978         * configure: Rebuild.
1979
1980         * testsuite/27_io/fpos/mbstate_t/1.cc: Zero-init mbstate_t.
1981
1982 2020-01-23  Jonathan Wakely  <jwakely@redhat.com>
1983
1984         PR libstdc++/91947
1985         * include/Makefile.am (${host_builddir}/largefile-config.h): Simplify
1986         rule.
1987         * include/Makefile.in: Regenerate.
1988
1989 2020-01-20  Jonathan Wakely  <jwakely@redhat.com>
1990
1991         * doc/xml/faq.xml: Fix grammar.
1992         * doc/xml/manual/appendix_contributing.xml: Improve instructions.
1993         * doc/xml/manual/spine.xml: Update copyright years.
1994         * doc/html/*: Regenerate.
1995
1996 2020-01-19  Eric S. Raymond <esr@thyrsus.com>
1997
1998         * doc/xml/faq.xml: Update for SVN -> Git transition.
1999         * doc/xml/manual/appendix_contributing.xml: Likewise.
2000         * doc/xml/manual/status_cxx1998.xml: Likewise.
2001         * doc/xml/manual/status_cxx2011.xml: Likewise.
2002         * doc/xml/manual/status_cxx2014.xml: Likewise.
2003         * doc/xml/manual/status_cxx2017.xml: Likewise.
2004         * doc/xml/manual/status_cxx2020.xml: Likewise.
2005         * doc/xml/manual/status_cxxtr1.xml: Likewise.
2006         * doc/xml/manual/status_cxxtr24733.xml: Likewise.
2007
2008 2020-01-18  Iain Sandoe  <iain@sandoe.co.uk>
2009
2010         * include/Makefile.am: Add coroutine to the std set.
2011         * include/Makefile.in: Regenerated.
2012         * include/std/coroutine: New file.
2013
2014 2020-01-17  Jonathan Wakely  <jwakely@redhat.com>
2015
2016         PR libstdc++/92376
2017         * include/bits/c++config: Only do PSTL config when the header is
2018         present, to fix freestanding.
2019         * libsupc++/new_opa.cc [!_GLIBCXX_HOSTED]: Declare allocation
2020         functions if they were detected by configure.
2021
2022 2020-01-16  Kai-Uwe Eckhardt  <kuehro@gmx.de>
2023             Matthew Bauer  <mjbauer95@gmail.com>
2024             Jonathan Wakely  <jwakely@redhat.com>
2025
2026         PR bootstrap/64271 (partial)
2027         * config/os/bsd/netbsd/ctype_base.h (ctype_base::mask): Change type
2028         to unsigned short.
2029         (ctype_base::alpha, ctype_base::digit, ctype_base::xdigit)
2030         (ctype_base::print, ctype_base::graph, ctype_base::alnum): Sync
2031         definitions with NetBSD upstream.
2032         (ctype_base::blank): Use _CTYPE_BL.
2033         * config/os/bsd/netbsd/ctype_configure_char.cc (_C_ctype_): Remove
2034         Declaration.
2035         (ctype<char>::classic_table): Use _C_ctype_tab_ instead of _C_ctype_.
2036         (ctype<char>::do_toupper, ctype<char>::do_tolower): Cast char
2037         parameters to unsigned char.
2038         * config/os/bsd/netbsd/ctype_inline.h (ctype<char>::is): Likewise.
2039
2040 2020-01-16  François Dumont  <fdumont@gcc.gnu.org>
2041
2042         PR libstdc++/91263
2043         * include/bits/hashtable.h (_Hashtable<>): Make _Equality<> friend.
2044         * include/bits/hashtable_policy.h: Include <bits/stl_algo.h>.
2045         (_Equality_base): Remove.
2046         (_Equality<>::_M_equal): Review implementation. Use
2047         std::is_permutation.
2048         * testsuite/23_containers/unordered_multiset/operators/1.cc
2049         (Hash, Equal, test02, test03): New.
2050         * testsuite/23_containers/unordered_set/operators/1.cc
2051         (Hash, Equal, test02, test03): New.
2052
2053 2020-01-15  Jonathan Wakely  <jwakely@redhat.com>
2054
2055         PR libstdc++/93267
2056         * include/bits/iterator_concepts.h (__max_diff_type, __max_size_type):
2057         Move here from <bits/range_access.h> and define using __int128 when
2058         available.
2059         (__is_integer_like, __is_signed_integer_like): Move here from
2060         <bits/range_access.h>.
2061         (weakly_incrementable): Use __is_signed_integer_like.
2062         * include/bits/range_access.h (__max_diff_type, __max_size_type)
2063         (__is_integer_like, __is_signed_integer_like): Move to
2064         <bits/iterator_concepts.h>.
2065         (__make_unsigned_like_t): Move here from <ranges>.
2066         * include/std/ranges (__make_unsigned_like_t): Move to
2067         <bits/range_access.h>.
2068         (iota_view): Replace using-directive with using-declarations.
2069         * testsuite/std/ranges/iota/93267.cc: New test.
2070         * testsuite/std/ranges/iota_view.cc: Move to new 'iota' sub-directory.
2071
2072 2020-01-13  Jonathan Wakely  <jwakely@redhat.com>
2073
2074         PR libstdc++/93244
2075         * include/bits/fs_path.h (path::generic_string<C,A>)
2076         [_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Convert root-dir to forward-slash.
2077         * testsuite/27_io/filesystem/path/generic/generic_string.cc: Check
2078         root-dir is converted to forward slash in generic pathname.
2079         * testsuite/27_io/filesystem/path/generic/utf.cc: New test.
2080         * testsuite/27_io/filesystem/path/generic/wchar_t.cc: New test.
2081
2082         PR libstdc++/58605
2083         * include/bits/atomic_base.h (__cpp_lib_atomic_value_initialization):
2084         Define.
2085         (__atomic_flag_base, __atomic_base, __atomic_base<_PTp*>)
2086         (__atomic_float): Add default member initializer for C++20.
2087         * include/std/atomic (atomic): Likewise.
2088         (atomic::atomic()): Remove noexcept-specifier on default constructor.
2089         * include/std/version (__cpp_lib_atomic_value_initialization): Define.
2090         * testsuite/29_atomics/atomic/cons/assign_neg.cc: Adjust dg-error line
2091         number.
2092         * testsuite/29_atomics/atomic/cons/copy_neg.cc: Likewise.
2093         * testsuite/29_atomics/atomic/cons/value_init.cc: New test.
2094         * testsuite/29_atomics/atomic_flag/cons/value_init.cc: New test.
2095         * testsuite/29_atomics/atomic_flag/requirements/trivial.cc: Adjust
2096         expected result for is_trivially_default_constructible.
2097         * testsuite/29_atomics/atomic_float/requirements.cc: Likewise.
2098         * testsuite/29_atomics/atomic_float/value_init.cc: New test.
2099         * testsuite/29_atomics/atomic_integral/cons/assign_neg.cc: Likewise.
2100         * testsuite/29_atomics/atomic_integral/cons/copy_neg.cc: Likewise.
2101         * testsuite/29_atomics/atomic_integral/cons/value_init.cc
2102         * testsuite/29_atomics/atomic_integral/requirements/trivial.cc: Adjust
2103         expected results for is_trivially_default_constructible.
2104         * testsuite/util/testsuite_common_types.h (has_trivial_dtor): Add
2105         new test generator.
2106
2107 2020-01-10  Jonathan Wakely  <jwakely@redhat.com>
2108
2109         * testsuite/util/testsuite_iterators.h: Improve comment.
2110
2111         * testsuite/25_algorithms/equal/deque_iterators/1.cc: Don't use C++11
2112         initialization syntax.
2113
2114         PR libstdc++/92285
2115         * include/bits/streambuf_iterator.h (istreambuf_iterator): Make type
2116         of base class independent of __cplusplus value.
2117         [__cplusplus < 201103L] (istreambuf_iterator::reference): Override the
2118         type defined in the base class
2119         * testsuite/24_iterators/istreambuf_iterator/92285.cc: New test.
2120         * testsuite/24_iterators/istreambuf_iterator/requirements/
2121         base_classes.cc: Adjust expected base class for C++98.
2122
2123 2020-01-09  Olivier Hainque  <hainque@adacore.com>
2124
2125         * doc/xml/manual/appendix_contributing.xml: Document _C2
2126         as a reserved identifier, by VxWorks.
2127         * include/bits/stl_map.h: Rename _C2 template typenames as _Cmp2.
2128         * include/bits/stl_multimap.h: Likewise.
2129
2130 2020-01-09  Jonathan Wakely  <jwakely@redhat.com>
2131
2132         * include/ext/extptr_allocator.h (_ExtPtr_allocator::operator==)
2133         (_ExtPtr_allocator::operator!=): Add missing const qualifiers.
2134         * include/ext/pointer.h (readable_traits<_Pointer_adapter<S>>): Add
2135         partial specialization to disambiguate the two constrained
2136         specializations.
2137
2138         * include/experimental/type_traits (experimental::is_pod_v): Disable
2139         -Wdeprecated-declarations warnings around reference to std::is_pod.
2140         * include/std/type_traits (is_pod_v): Likewise.
2141         * testsuite/18_support/max_align_t/requirements/2.cc: Also check
2142         is_standard_layout and is_trivial. Do not check is_pod for C++20.
2143         * testsuite/20_util/is_pod/requirements/explicit_instantiation.cc:
2144         Add -Wno-deprecated for C++20.
2145         * testsuite/20_util/is_pod/requirements/typedefs.cc: Likewise.
2146         * testsuite/20_util/is_pod/value.cc: Likewise.
2147         * testsuite/experimental/type_traits/value.cc: Likewise.
2148
2149 2020-01-09  JeanHeyd "ThePhD" Meneide  <phdofthehouse@gmail.com>
2150
2151         * include/bits/c++config (_GLIBCXX20_DEPRECATED): Add new macro.
2152         * include/std/type_traits (is_pod, is_pod_v): Deprecate for C++20.
2153         * testuite/20_util/is_pod/deprecated-2a.cc: New test.
2154
2155 2020-01-09  Jonathan Wakely  <jwakely@redhat.com>
2156
2157         PR libstdc++/93205
2158         * include/bits/random.h (operator>>): Check stream operation succeeds.
2159         * include/bits/random.tcc (operator<<): Remove redundant __ostream_type
2160         typedefs.
2161         (operator>>): Remove redundant __istream_type typedefs. Check stream
2162         operations succeed.
2163         (__extract_params): New function to fill a vector from a stream.
2164         * testsuite/26_numerics/random/pr60037-neg.cc: Adjust dg-error line.
2165
2166         PR libstdc++/93208
2167         * config/abi/pre/gnu.ver: Add new exports.
2168         * include/std/memory_resource (memory_resource::~memory_resource()):
2169         Do not define inline.
2170         (monotonic_buffer_resource::~monotonic_buffer_resource()): Likewise.
2171         * src/c++17/memory_resource.cc (memory_resource::~memory_resource()):
2172         Define.
2173         (monotonic_buffer_resource::~monotonic_buffer_resource()): Define.
2174         * testsuite/20_util/monotonic_buffer_resource/93208.cc: New test.
2175
2176 2020-01-09  François Dumont  <fdumont@gcc.gnu.org>
2177
2178         PR libstdc++/92124
2179         * include/bits/hashtable.h (_Hashtable<>::__alloc_node_gen_t): New
2180         template alias.
2181         (_Hashtable<>::__fwd_value_for): New.
2182         (_Hashtable<>::_M_assign_elements<>): Remove _NodeGenerator template
2183         parameter.
2184         (_Hashtable<>::_M_assign<>): Add _Ht template parameter.
2185         (_Hashtable<>::operator=(const _Hashtable<>&)): Adapt.
2186         (_Hashtable<>::_M_move_assign): Adapt. Replace std::move_if_noexcept
2187         with std::move.
2188         (_Hashtable<>::_Hashtable(const _Hashtable&)): Adapt.
2189         (_Hashtable<>::_Hashtable(const _Hashtable&, const allocator_type&)):
2190         Adapt.
2191         (_Hashtable<>::_Hashtable(_Hashtable&&, const allocator_type&)):
2192         Adapt.
2193         * testsuite/23_containers/unordered_set/92124.cc: New.
2194
2195 2020-01-08  Jonathan Wakely  <jwakely@redhat.com>
2196
2197         PR libstdc++/93201
2198         * src/c++17/fs_ops.cc (do_remove_all): New function implementing more
2199         detailed error reporting for remove_all. Check result of recursive
2200         call before incrementing iterator.
2201         (remove_all(const path&), remove_all(const path&, error_code&)): Use
2202         do_remove_all.
2203         * src/filesystem/ops.cc (remove_all(const path&, error_code&)): Check
2204         result of recursive call before incrementing iterator.
2205         * testsuite/27_io/filesystem/operations/remove_all.cc: Check errors
2206         are reported correctly.
2207         * testsuite/experimental/filesystem/operations/remove_all.cc: Likewise.
2208
2209 2020-01-07  Thomas Rodgers  <trodgers@redhat.com>
2210
2211         * include/std/condition_variable
2212         (condition_variable_any::wait_on): Rename to match current draft
2213         standard.
2214         (condition_variable_any::wait_on_until): Likewise.
2215         (condition_variable_any::wait_on_for): Likewise.
2216         * testsuite/30_threads/condition_variable_any/stop_token/wait_on.cc:
2217         Adjust tests to account for renamed methods.
2218
2219 2020-01-07  François Dumont  <fdumont@gcc.gnu.org>
2220
2221         PR libstdc++/92124
2222         * include/bits/stl_tree.h
2223         (_Rb_tree<>::_M_move_assign(_Rb_tree&, false_type)): Replace
2224         std::move_if_noexcept by std::move.
2225         * testsuite/23_containers/map/92124.cc: New.
2226         * testsuite/23_containers/set/92124.cc: New.
2227
2228 2020-01-06  Jonathan Wakely  <jwakely@redhat.com>
2229
2230         * include/std/stop_token (stop_token): Remove operator!= (LWG 3254).
2231         (stop_source): Likewise (LWG 3362).
2232         * testsuite/30_threads/stop_token/stop_source.cc: Test equality
2233         comparisons.
2234
2235         * include/bits/stl_algobase.h (__is_byte_iter, __min_cmp)
2236         (lexicographical_compare_three_way): Do not depend on
2237         __cpp_lib_concepts.
2238         * include/std/version (__cpp_lib_three_way_comparison): Only define
2239         when __cpp_lib_concepts is defined.
2240         * libsupc++/compare (__cpp_lib_three_way_comparison): Likewise.
2241
2242 2020-01-03  Jonathan Wakely  <jwakely@redhat.com>
2243
2244         * include/bits/stl_algobase.h (lexicographical_compare_three_way):
2245         Only define four-argument overload when __cpp_lib_concepts is defined.
2246
2247 2020-01-01  John David Anglin  <danglin@gcc.gnu.org>
2248
2249         * config/abi/post/hppa-linux-gnu/baseline_symbols.txt: Update.
2250
2251 2020-01-01  Jakub Jelinek  <jakub@redhat.com>
2252
2253         Update copyright years.
2254 \f
2255 Copyright (C) 2020 Free Software Foundation, Inc.
2256
2257 Copying and distribution of this file, with or without modification,
2258 are permitted in any medium without royalty provided the copyright
2259 notice and this notice are preserved.