libstdc++-v3/ChangeLog

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