libstdc++-v3/ChangeLog

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