libstdc++-v3/ChangeLog

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