libstdc++-v3/ChangeLog

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