libstdc++-v3/ChangeLog

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