libstdc++-v3/ChangeLog

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