libstdc++-v3/ChangeLog

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