libstdc++-v3/ChangeLog

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