libstdc++-v3/ChangeLog

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