libstdc++-v3/ChangeLog

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