libstdc++-v3/ChangeLog

   1 2020-08-21  Jonathan Wakely  <jwakely@redhat.com>
   2
   3         PR libstdc++/96736
   4         * testsuite/17_intro/headers/c++1998/all_attributes.cc: Do not
   5         test "cold" on darwin.
   6         * testsuite/17_intro/headers/c++2011/all_attributes.cc:
   7         Likewise.
   8         * testsuite/17_intro/headers/c++2014/all_attributes.cc:
   9         Likewise.
  10         * testsuite/17_intro/headers/c++2017/all_attributes.cc:
  11         Likewise.
  12         * testsuite/17_intro/headers/c++2020/all_attributes.cc:
  13         Likewise.
  14
  15 2020-08-21  Jonathan Wakely  <jwakely@redhat.com>
  16
  17         PR libstdc++/96718
  18         * testsuite/25_algorithms/pstl/feature_test-2.cc: Require
  19         tbb-backend effective target.
  20         * testsuite/25_algorithms/pstl/feature_test-3.cc: Likewise.
  21         * testsuite/25_algorithms/pstl/feature_test-5.cc: Likewise.
  22         * testsuite/25_algorithms/pstl/feature_test.cc: Likewise.
  23
  24 2020-08-20  Jonathan Wakely  <jwakely@redhat.com>
  25
  26         * include/bits/iterator_concepts.h [__STRICT_ANSI__]
  27         (incrementable_traits<__int128>): Define specialization.
  28         (incrementable_traits<unsigned __int128>): Likewise.
  29         * testsuite/std/ranges/iota/96042.cc: Test iota_view with
  30         __int128.
  31
  32 2020-08-19  Jonathan Wakely  <jwakely@redhat.com>
  33             Patrick Palka  <ppalka@redhat.com>
  34
  35         PR libstdc++/96042
  36         * include/bits/range_access.h (__detail::__to_unsigned_like):
  37         Do not use make_unsigned_t<T> in the return type, as it can
  38         result in an error before the integral<T> constraint is checked.
  39         [__STRICT_ANSI__]: Add overloads for 128-bit integer types.
  40         (__detail::__make_unsigned_like_t): Define as the return type
  41         of __to_unsigned_like.
  42         * testsuite/std/ranges/subrange/96042.cc: New test.
  43
  44 2020-08-19  Jonathan Wakely  <jwakely@redhat.com>
  45
  46         * include/bits/stl_tree.h (operator!=, operator>, operator<=)
  47         (operator>=): Remove deprecated functions.
  48
  49 2020-08-19  Jonathan Wakely  <jwakely@redhat.com>
  50
  51         PR libstdc++/96042
  52         * include/ext/numeric_traits.h (__is_integer_nonstrict): New
  53         trait which is true for 128-bit integers even in strict modes.
  54         (__numeric_traits_integer, __numeric_traits): Use
  55         __is_integer_nonstrict instead of __is_integer.
  56         * include/std/limits [__STRICT_ANSI__ && __SIZEOF_INT128__]
  57         (numeric_limits<__int128>, (numeric_limits<unsigned __int128>):
  58         Define.
  59         * testsuite/std/ranges/iota/96042.cc: New test.
  60
  61 2020-08-19  Jonathan Wakely  <jwakely@redhat.com>
  62
  63         * include/bits/c++config (_GLIBCXX_DEPRECATED_SUGGEST)
  64         (_GLIBCXX11_DEPRECATED, _GLIBCXX11_DEPRECATED_SUGGEST)
  65         (_GLIBCXX17_DEPRECATED_SUGGEST, _GLIBCXX20_DEPRECATED_SUGGEST):
  66         Add new macros to comment.
  67
  68 2020-08-19  Patrick Palka  <ppalka@redhat.com>
  69
  70         * include/Makefile.am (bits_headers): Add new header
  71         <bits/max_size_type.h>.
  72         * include/Makefile.in: Regenerate.
  73         * include/bits/iterator_concepts.h
  74         (ranges::__detail::__max_diff_type): Remove definition, replace
  75         with forward declaration of class __max_diff_type.
  76         (__detail::__max_size_type): Remove definition, replace with
  77         forward declaration of class __max_size_type.
  78         (__detail::__is_unsigned_int128, __is_signed_int128)
  79         (__is_int128): New concepts.
  80         (__detail::__is_integer_like): Accept __int128 and unsigned
  81         __int128.
  82         (__detail::__is_signed_integer_like): Accept __int128.
  83         * include/bits/max_size_type.h: New header.
  84         * include/bits/range_access.h: Include <bits/max_size_type.h>.
  85         (__detail::__to_unsigned_like): Two new overloads.
  86         * testsuite/std/ranges/iota/difference_type.cc: New test.
  87         * testsuite/std/ranges/iota/max_size_type.cc: New test.
  88
  89 2020-08-19  Jonathan Wakely  <jwakely@redhat.com>
  90
  91         * include/bits/c++config (_GLIBCXX_DEPRECATED): Define for all
  92         standard modes.
  93         (_GLIBCXX_DEPRECATED_SUGGEST): New macro for "use 'foo' instead"
  94         message in deprecated warnings.
  95         (_GLIBCXX11_DEPRECATED, _GLIBCXX11_DEPRECATED_SUGGEST): New
  96         macros for marking features deprecated in C++11.
  97         (_GLIBCXX17_DEPRECATED_SUGGEST, _GLIBCXX20_DEPRECATED_SUGGEST):
  98         New macros.
  99         * include/backward/auto_ptr.h (auto_ptr_ref, auto_ptr<void>):
 100         Use _GLIBCXX11_DEPRECATED instead of _GLIBCXX_DEPRECATED.
 101         (auto_ptr): Use _GLIBCXX11_DEPRECATED_SUGGEST.
 102         * include/backward/binders.h (binder1st, binder2nd): Likewise.
 103         * include/bits/ios_base.h (io_state, open_mode, seek_dir)
 104         (streampos, streamoff): Use _GLIBCXX_DEPRECATED_SUGGEST.
 105         * include/std/streambuf (stossc): Replace C++11 attribute
 106         with _GLIBCXX_DEPRECATED_SUGGEST.
 107         * include/std/type_traits (__is_nullptr_t): Use
 108         _GLIBCXX_DEPRECATED_SUGGEST instead of _GLIBCXX_DEPRECATED.
 109         * testsuite/27_io/types/1.cc: Check for deprecated warnings.
 110         Also check for io_state, open_mode and seek_dir typedefs.
 111
 112 2020-08-19  Antony Polukhin  <antoshkka@gmail.com>
 113
 114         PR libstdc++/71579
 115         * include/std/type_traits (invoke_result, is_nothrow_invocable_r)
 116         Add static_asserts to make sure that the argument of the type
 117         trait is not misused with incomplete types.
 118         (is_swappable_with, is_nothrow_swappable_with): Add static_asserts
 119         to make sure that the first and second arguments of the type trait
 120         are not misused with incomplete types.
 121         * testsuite/20_util/invoke_result/incomplete_neg.cc: New test.
 122         * testsuite/20_util/is_nothrow_invocable/incomplete_neg.cc: New test.
 123         * testsuite/20_util/is_nothrow_swappable/incomplete_neg.cc: New test.
 124         * testsuite/20_util/is_nothrow_swappable_with/incomplete_neg.cc: New
 125         test.
 126         * testsuite/20_util/is_swappable_with/incomplete_neg.cc: New test.
 127
 128 2020-08-18  David Edelsohn  <dje.gcc@gmail.com>
 129             Clement Chigot  <clement.chigot@atos.net>
 130
 131         * config/os/aix/t-aix: Add complementary mode object files to
 132         libsupc++.a
 133
 134 2020-08-18  Jonathan Wakely  <jwakely@redhat.com>
 135
 136         * testsuite/17_intro/headers/c++1998/all_attributes.cc: Check
 137         "cold" isn't used in the library. Also check <cxxabi.h>.
 138         * testsuite/17_intro/headers/c++2011/all_attributes.cc:
 139         Likewise.
 140         * testsuite/17_intro/headers/c++2014/all_attributes.cc:
 141         Likewise.
 142         * testsuite/17_intro/headers/c++2017/all_attributes.cc:
 143         Likewise.
 144         * testsuite/17_intro/headers/c++2020/all_attributes.cc:
 145         Likewise.
 146
 147 2020-08-18  Jonathan Wakely  <jwakely@redhat.com>
 148
 149         PR libstdc++/69724
 150         * include/std/future (__future_base::_S_make_deferred_state)
 151         (__future_base::_S_make_async_state): Remove.
 152         (__future_base::_Deferred_state): Change constructor to accept a
 153         parameter pack of arguments and forward them to the call
 154         wrapper.
 155         (__future_base::_Async_state_impl): Likewise. Replace lambda
 156         expression with a named member function.
 157         (async): Construct state object directly from the arguments,
 158         instead of using thread::__make_invoker, _S_make_deferred_state
 159         and _S_make_async_state. Move shared state into the returned
 160         future.
 161         * include/std/thread (thread::_Call_wrapper): New alias
 162         template for use by constructor and std::async.
 163         (thread::thread(Callable&&, Args&&...)): Create state object
 164         directly instead of using _S_make_state.
 165         (thread::__make_invoker, thread::__decayed_tuple)
 166         (thread::_S_make_state): Remove.
 167         * testsuite/30_threads/async/69724.cc: New test.
 168
 169 2020-08-17  Jonathan Wakely  <jwakely@redhat.com>
 170
 171         PR libstdc++/55713
 172         PR libstdc++/71096
 173         PR libstdc++/93147
 174         * include/std/tuple [__has_cpp_attribute(no_unique_address)]
 175         (_Head_base<Idx, Head, true>): New definition of the partial
 176         specialization, using [[no_unique_address]] instead of
 177         inheritance.
 178         * testsuite/libstdc++-prettyprinters/48362.cc: Adjust expected
 179         output.
 180         * testsuite/20_util/tuple/comparison_operators/93147.cc: New test.
 181         * testsuite/20_util/tuple/creation_functions/55713.cc: New test.
 182         * testsuite/20_util/tuple/element_access/71096.cc: New test.
 183
 184 2020-08-14  Lewis Hyatt  <lhyatt@gmail.com>
 185
 186         * testsuite/lib/libstdc++.exp: Use the new option
 187         -fdiagnostics-plain-output.
 188
 189 2020-08-13  Jonathan Wakely  <jwakely@redhat.com>
 190
 191         * acinclude.m4 (GLIBCXX_ENABLE_CHEADERS): Warn if the c_std
 192         option is used and fail unless --enable-cheaders-obsolete is
 193         also used.
 194         * configure: Regenerate.
 195
 196 2020-08-12  Jonathan Wakely  <jwakely@redhat.com>
 197
 198         PR libstdc++/85828
 199         * include/bits/basic_string.h (operator=(basic_string&&)): Check
 200         for self-move before copying with char_traits::copy.
 201         * include/bits/hashtable.h (operator=(_Hashtable&&)): Check for
 202         self-move.
 203         * include/bits/stl_deque.h (_M_move_assign1(deque&&, false_type)):
 204         Check for equal allocators.
 205         * include/bits/stl_list.h (_M_move_assign(list&&, true_type)):
 206         Call clear() instead of _M_clear().
 207         * include/debug/formatter.h (__msg_self_move_assign): Change
 208         comment.
 209         * include/debug/macros.h (__glibcxx_check_self_move_assign):
 210         (_GLIBCXX_DEBUG_VERIFY): Remove.
 211         * include/debug/safe_container.h (operator=(_Safe_container&&)):
 212         Remove assertion check for safe move and make it well-defined.
 213         * include/debug/safe_iterator.h (operator=(_Safe_iterator&&)):
 214         Remove assertion check for self-move.
 215         * include/debug/safe_local_iterator.h
 216         (operator=(_Safe_local_iterator&&)): Likewise.
 217         * testsuite/21_strings/basic_string/cons/char/self_move.cc: New test.
 218         * testsuite/23_containers/deque/cons/self_move.cc: New test.
 219         * testsuite/23_containers/forward_list/cons/self_move.cc: New test.
 220         * testsuite/23_containers/list/cons/self_move.cc: New test.
 221         * testsuite/23_containers/set/cons/self_move.cc: New test.
 222         * testsuite/23_containers/unordered_set/cons/self_move.cc: New test.
 223         * testsuite/23_containers/vector/cons/self_move.cc: New test.
 224
 225 2020-08-11  François Dumont  <fdumont@gcc.gnu.org>
 226
 227         PR libstdc++/91620
 228         * include/bits/forward_list.tcc (forward_list<>::remove): Collect nodes
 229         to destroy in an intermediate forward_list.
 230         (forward_list<>::remove_if, forward_list<>::unique): Likewise.
 231         * include/bits/list.tcc (list<>::remove, list<>::unique): Likewise.
 232         (list<>::remove_if): Likewise.
 233         * include/debug/forward_list (forward_list<>::_M_erase_after): Remove.
 234         (forward_list<>::erase_after): Adapt.
 235         (forward_list<>::remove, forward_list<>::remove_if): Collect nodes to
 236         destroy in an intermediate forward_list.
 237         (forward_list<>::unique): Likewise.
 238         * include/debug/list (list<>::remove, list<>::unique): Likewise.
 239         (list<>::remove_if): Likewise.
 240         * testsuite/23_containers/forward_list/operations/91620.cc: New test.
 241         * testsuite/23_containers/list/operations/91620.cc: New test.
 242
 243 2020-08-11  Jonathan Wakely  <jwakely@redhat.com>
 244
 245         * testsuite/30_threads/thread/cons/84535.cc: Use a custom
 246         namespace.
 247         * testsuite/30_threads/thread/cons/lwg2097.cc: Likewise.
 248
 249 2020-08-11  Jonathan Wakely  <jwakely@redhat.com>
 250
 251         PR libstdc++/89760
 252         * include/experimental/executor [!_GLIBCXX_HAS_GTHREADS]:
 253         (execution_context::mutex_type): Define dummy mutex type.
 254         (system_context): Use execution_context::mutex_type.
 255         (system_context) [!_GLIBCXX_HAS_GTHREADS]: Define dummy
 256         thread and condition variable types.
 257         [!_GLIBCXX_HAS_GTHREADS] (system_context::_M_run()): Do not
 258         define.
 259         (system_context::_M_post) [!_GLIBCXX_HAS_GTHREADS]: Throw
 260         an exception when threads aren't available.
 261         (strand::running_in_this_thread()): Defer to _M_state.
 262         (strand::_State::running_in_this_thread()): New function.
 263         (use_future_t): Do not depend on _GLIBCXX_USE_C99_STDINT_TR1.
 264         * include/experimental/io_context (io_context): Use the
 265         execution_context::mutex_type alias. Replace stack of thread
 266         IDs with counter.
 267         * testsuite/experimental/net/execution_context/use_service.cc:
 268         Enable test for non-pthread targets.
 269
 270 2020-08-11  Jonathan Wakely  <jwakely@redhat.com>
 271
 272         * include/experimental/executor (system_context::a__tag): Make
 273         default constructor explicit.
 274
 275 2020-08-11  Jonathan Wakely  <jwakely@redhat.com>
 276
 277         * include/experimental/executor (system_context::_M_run()):
 278         Fix predicate.
 279         * testsuite/experimental/net/system_context/1.cc: New test.
 280
 281 2020-08-11  Jonathan Wakely  <jwakely@redhat.com>
 282
 283         * include/std/stop_token: Check _GLIBCXX_HAS_GTHREADS using
 284         #ifdef instead of #if.
 285         (stop_token::_S_yield()): Check _GLIBCXX_HAS_GTHREADS before
 286         using __gthread_yield.
 287
 288 2020-08-11  Jonathan Wakely  <jwakely@redhat.com>
 289
 290         * include/std/thread [!_GLIBCXX_HAS_GTHREADS] (this_thread::yield)
 291         (this_thread::sleep_until): Define.
 292         [!_GLIBCXX_HAS_GTHREADS] (this_thread::sleep_for): Define. Replace
 293         use of __gthread_time_t typedef with timespec.
 294         * src/c++11/thread.cc [!_GLIBCXX_HAS_GTHREADS] (__sleep_for):
 295         Likewise.
 296         * testsuite/30_threads/this_thread/2.cc: Moved to...
 297         * testsuite/30_threads/this_thread/yield.cc: ...here.
 298         * testsuite/30_threads/this_thread/3.cc: Moved to...
 299         * testsuite/30_threads/this_thread/sleep_for-mt.cc: ...here.
 300         * testsuite/30_threads/this_thread/4.cc: Moved to...
 301         * testsuite/30_threads/this_thread/sleep_until-mt.cc: ...here.
 302         * testsuite/30_threads/this_thread/58038.cc: Add
 303         dg-require-sleep.
 304         * testsuite/30_threads/this_thread/60421.cc: Likewise.
 305         * testsuite/30_threads/this_thread/sleep_for.cc: New test.
 306         * testsuite/30_threads/this_thread/sleep_until.cc: New test.
 307
 308 2020-08-10  Jonathan Wakely  <jwakely@redhat.com>
 309
 310         PR libstdc++/94681
 311         * src/c++17/fs_ops.cc (read_symlink): Use posix::lstat instead
 312         of calling ::lstat directly.
 313         * src/filesystem/ops.cc (read_symlink): Likewise.
 314
 315 2020-08-10  Jonathan Wakely  <jwakely@redhat.com>
 316
 317         * python/libstdcxx/v6/printers.py (UniquePointerPrinter.__init__):
 318         Use gdb.Type.strip_typedefs().
 319         * testsuite/libstdc++-prettyprinters/compat.cc: Use a typedef in
 320         the emulated old type.
 321
 322 2020-08-10  Jonathan Wakely  <jwakely@redhat.com>
 323
 324         PR libstdc++/94681
 325         * acinclude.m4 (GLIBCXX_CHECK_FILESYSTEM_DEPS): Do not depend on
 326         $enable_libstdcxx_filesystem_ts.
 327         * configure: Regenerate.
 328
 329 2020-08-10  Jonathan Wakely  <jwakely@redhat.com>
 330
 331         PR libstdc++/93904
 332         * include/bits/stl_iterator.h (inserter): Do not deduce
 333         iterator type (LWG 561).
 334         * testsuite/24_iterators/insert_iterator/dr561.cc: New test.
 335
 336 2020-08-10  Jonathan Wakely  <jwakely@redhat.com>
 337
 338         * include/bits/basic_string.tcc [_GLIBCXX_USE_CXX11_ABI=0]
 339         (basic_string::reserve()): Do nothing if exceptions are not
 340         enabled.
 341
 342 2020-08-10  Jonathan Wakely  <jwakely@redhat.com>
 343
 344         PR libstdc++/95749
 345         * src/filesystem/ops-common.h [_GLIBCXX_FILESYSTEM_IS_WINDOWS]
 346         (stat_type): Change to __stat64.
 347         (stat): Use _wstat64.
 348
 349 2020-08-07  Jonathan Wakely  <jwakely@redhat.com>
 350
 351         PR libstdc++/96303
 352         * include/debug/bitset (bitset::operator==): Call _M_base() on
 353         right operand.
 354         (bitset::operator!=): Likewise, but don't define it at all when
 355         default comparisons are supported by the compiler.
 356         * testsuite/23_containers/bitset/operations/96303.cc: New test.
 357
 358 2020-08-07  Jonathan Wakely  <jwakely@redhat.com>
 359
 360         * testsuite/18_support/comparisons/algorithms/partial_order.cc:
 361         Replace VERIFY with static_assert where the compiler now
 362         allows it.
 363         * testsuite/18_support/comparisons/algorithms/weak_order.cc:
 364         Likewise.
 365
 366 2020-08-07  Jonathan Wakely  <jwakely@redhat.com>
 367
 368         * config/abi/pre/gnu.ver: Fix wildcards for wstring symbols.
 369
 370 2020-08-06  Andrew Luo  <andrewluotechnologies@outlook.com>
 371             Jonathan Wakely  <jwakely@redhat.com>
 372
 373         * config/abi/pre/gnu.ver (GLIBCXX_3.4): Use less greedy
 374         patterns for basic_string members.
 375         (GLIBCXX_3.4.29): Export new basic_string::reserve symbols.
 376         * doc/xml/manual/status_cxx2020.xml: Update P0966 status.
 377         * include/bits/basic_string.h (shrink_to_fit()): Call reserve().
 378         (reserve(size_type)): Remove default argument.
 379         (reserve()): Declare new overload.
 380         [!_GLIBCXX_USE_CXX11_ABI] (shrink_to_fit, reserve): Likewise.
 381         * include/bits/basic_string.tcc (reserve(size_type)): Remove
 382         support for shrinking capacity.
 383         (reserve()): Perform shrink-to-fit operation.
 384         [!_GLIBCXX_USE_CXX11_ABI] (reserve): Likewise.
 385         * testsuite/21_strings/basic_string/capacity/1.cc: Adjust to
 386         reflect new behavior.
 387         * testsuite/21_strings/basic_string/capacity/char/1.cc:
 388         Likewise.
 389         * testsuite/21_strings/basic_string/capacity/char/18654.cc:
 390         Likewise.
 391         * testsuite/21_strings/basic_string/capacity/char/2.cc:
 392         Likewise.
 393         * testsuite/21_strings/basic_string/capacity/wchar_t/1.cc:
 394         Likewise.
 395         * testsuite/21_strings/basic_string/capacity/wchar_t/18654.cc:
 396         Likewise.
 397         * testsuite/21_strings/basic_string/capacity/wchar_t/2.cc:
 398         Likewise.
 399
 400 2020-08-06  Jonathan Wakely  <jwakely@redhat.com>
 401
 402         * include/bits/basic_string.tcc
 403         (operator>>(basic_istream&, basic_string&)): Do not set eofbit
 404         if extraction stopped after in.width() characters.
 405         * src/c++98/istream-string.cc (operator>>(istream&, string&)):
 406         Likewise.
 407         * include/bits/istream.tcc (__istream_extract): Do not set
 408         eofbit if extraction stopped after n-1 characters.
 409         * src/c++98/istream.cc (__istream_extract): Likewise.
 410         * testsuite/21_strings/basic_string/inserters_extractors/char/13.cc: New test.
 411         * testsuite/21_strings/basic_string/inserters_extractors/wchar_t/13.cc: New test.
 412         * testsuite/27_io/basic_istream/extractors_character/char/5.cc: New test.
 413         * testsuite/27_io/basic_istream/extractors_character/wchar_t/5.cc: New test.
 414
 415 2020-08-06  Jonathan Wakely  <jwakely@redhat.com>
 416
 417         PR libstdc++/96484
 418         * src/c++17/fs_ops.cc (fs::read_symlink): Return an error
 419         immediately for non-symlinks.
 420         * src/filesystem/ops.cc (fs::read_symlink): Likewise.
 421
 422 2020-08-06  Jonathan Wakely  <jwakely@redhat.com>
 423
 424         * include/std/istream (operator>>(istream&, char*)): Add
 425         attributes to get warnings for pointers that are null or known
 426         to point to the end of a buffer. Request upper bound from
 427         __builtin_object_size check and handle zero-sized buffer case.
 428         (operator>>(istream&, signed char))
 429         (operator>>(istream&, unsigned char*)): Add attributes.
 430         * testsuite/27_io/basic_istream/extractors_character/char/overflow.cc:
 431         Check extracting into the middle of a buffer.
 432         * testsuite/27_io/basic_istream/extractors_character/wchar_t/overflow.cc: New test.
 433
 434 2020-08-05  Jonathan Wakely  <jwakely@redhat.com>
 435
 436         * include/std/atomic (atomic<T>::store): Reformat.
 437
 438 2020-08-05  Jonathan Wakely  <jwakely@redhat.com>
 439
 440         * doc/xml/manual/status_cxx2017.xml: Replace oneAPI DPC++ link
 441         with LLVM repo for PSTL.
 442         * doc/html/manual/status.html: Regenerate.
 443
 444 2020-08-05  Jonathan Wakely  <jwakely@redhat.com>
 445
 446         * config/abi/pre/gnu.ver (GLIBCXX_3.4.29): Export new symbols.
 447         * include/bits/istream.tcc (__istream_extract): New function
 448         template implementing both of operator>>(istream&, char*) and
 449         operator>>(istream&, char(&)[N]). Add explicit instantiation
 450         declaration for it. Remove explicit instantiation declarations
 451         for old function templates.
 452         * include/std/istream (__istream_extract): Declare.
 453         (operator>>(basic_istream<C,T>&, C*)): Define inline and simply
 454         call __istream_extract.
 455         (operator>>(basic_istream<char,T>&, signed char*)): Likewise.
 456         (operator>>(basic_istream<char,T>&, unsigned char*)): Likewise.
 457         (operator>>(basic_istream<C,T>&, C(7)[N])): Define for LWG 2499.
 458         (operator>>(basic_istream<char,T>&, signed char(&)[N])):
 459         Likewise.
 460         (operator>>(basic_istream<char,T>&, unsigned char(&)[N])):
 461         Likewise.
 462         * include/std/streambuf (basic_streambuf): Declare char overload
 463         of __istream_extract as a friend.
 464         * src/c++11/istream-inst.cc: Add explicit instantiation
 465         definition for wchar_t overload of __istream_extract. Remove
 466         explicit instantiation definitions of old operator>> overloads
 467         for versioned-namespace build.
 468         * src/c++98/istream.cc (operator>>(istream&, char*)): Replace
 469         with __istream_extract(istream&, char*, streamsize).
 470         * testsuite/27_io/basic_istream/extractors_character/char/3.cc:
 471         Do not use variable-length array.
 472         * testsuite/27_io/basic_istream/extractors_character/char/4.cc:
 473         Do not run test for C++20.
 474         * testsuite/27_io/basic_istream/extractors_character/char/9555-ic.cc:
 475         Do not test writing to pointers for C++20.
 476         * testsuite/27_io/basic_istream/extractors_character/char/9826.cc:
 477         Use array instead of pointer.
 478         * testsuite/27_io/basic_istream/extractors_character/wchar_t/3.cc:
 479         Do not use variable-length array.
 480         * testsuite/27_io/basic_istream/extractors_character/wchar_t/4.cc:
 481         Do not run test for C++20.
 482         * testsuite/27_io/basic_istream/extractors_character/wchar_t/9555-ic.cc:
 483         Do not test writing to pointers for C++20.
 484         * testsuite/27_io/basic_istream/extractors_character/char/lwg2499.cc:
 485         New test.
 486         * testsuite/27_io/basic_istream/extractors_character/char/lwg2499_neg.cc:
 487         New test.
 488         * testsuite/27_io/basic_istream/extractors_character/char/overflow.cc:
 489         New test.
 490         * testsuite/27_io/basic_istream/extractors_character/wchar_t/lwg2499.cc:
 491         New test.
 492         * testsuite/27_io/basic_istream/extractors_character/wchar_t/lwg2499_neg.cc:
 493         New test.
 494
 495 2020-08-01  Gerald Pfeifer  <gerald@pfeifer.com>
 496
 497         * doc/xml/manual/using_exceptions.xml: Move www.stroustrup.com to
 498         https.
 499         * doc/html/manual/using_exceptions.html: Regenerate.
 500
 501 2020-07-31  Gerald Pfeifer  <gerald@pfeifer.com>
 502
 503         * doc/xml/manual/status_cxx2017.xml: ParallelSTL is now part
 504         of oneAPI DPC++ Library on Github.
 505         * doc/html/manual/status.html: Regenerate.
 506
 507 2020-07-31  François Dumont  <fdumont@gcc.gnu.org>
 508
 509         * include/bits/stl_bvector.h
 510         [_GLIBCXX_INLINE_VERSION](_Bvector_impl_data::_M_start): Define as
 511         _Bit_type*.
 512         (_Bvector_impl_data(const _Bvector_impl_data&)): Default.
 513         (_Bvector_impl_data(_Bvector_impl_data&&)): Delegate to latter.
 514         (_Bvector_impl_data::operator=(const _Bvector_impl_data&)): Default.
 515         (_Bvector_impl_data::_M_move_data(_Bvector_impl_data&&)): Use latter.
 516         (_Bvector_impl_data::_M_reset()): Likewise.
 517         (_Bvector_impl_data::_M_swap_data): New.
 518         (_Bvector_impl::_Bvector_impl(_Bvector_impl&&)): Implement explicitely.
 519         (_Bvector_impl::_Bvector_impl(_Bit_alloc_type&&, _Bvector_impl&&)): New.
 520         (_Bvector_base::_Bvector_base(_Bvector_base&&, const allocator_type&)):
 521         New, use latter.
 522         (vector::vector(vector&&, const allocator_type&, true_type)): New, use
 523         latter.
 524         (vector::vector(vector&&, const allocator_type&, false_type)): New.
 525         (vector::vector(vector&&, const allocator_type&)): Use latters.
 526         (vector::vector(const vector&, const allocator_type&)): Adapt.
 527         [__cplusplus >= 201103](vector::vector(_InputIt, _InputIt,
 528         const allocator_type&)): Use _M_initialize_range.
 529         (vector::operator[](size_type)): Use iterator operator[].
 530         (vector::operator[](size_type) const): Use const_iterator operator[].
 531         (vector::swap(vector&)): Add assertions on allocators. Use _M_swap_data.
 532         [__cplusplus >= 201103](vector::insert(const_iterator, _InputIt,
 533         _InputIt)): Use _M_insert_range.
 534         (vector::_M_initialize(size_type)): Adapt.
 535         [__cplusplus >= 201103](vector::_M_initialize_dispatch): Remove.
 536         [__cplusplus >= 201103](vector::_M_insert_dispatch): Remove.
 537         * python/libstdcxx/v6/printers.py (StdVectorPrinter._iterator): Stop
 538         using start _M_offset.
 539         (StdVectorPrinter.to_string): Likewise.
 540         * testsuite/23_containers/vector/bool/allocator/swap.cc: Adapt.
 541         * testsuite/23_containers/vector/bool/cons/noexcept_move_construct.cc:
 542         Add check.
 543
 544 2020-07-31  Jonathan Wakely  <jwakely@redhat.com>
 545
 546         * testsuite/27_io/basic_istream/ignore/char/94749.cc: Use 0
 547         instead of nullptr.
 548         * testsuite/27_io/basic_istream/ignore/wchar_t/94749.cc:
 549         Likewise.
 550
 551 2020-07-31  Jonathan Wakely  <jwakely@redhat.com>
 552
 553         * testsuite/20_util/specialized_algorithms/uninitialized_fill_n/sizes.cc:
 554         Move struct to namespace scope.
 555
 556 2020-07-31  Jonathan Wakely  <jwakely@redhat.com>
 557
 558         * testsuite/26_numerics/numbers/float128.cc: Check
 559         __STRICT_ANSI__ before using __float128.
 560         * testsuite/std/concepts/concepts.lang/concept.arithmetic/floating_point.cc:
 561         Likewise.
 562
 563 2020-07-31  Jonathan Wakely  <jwakely@redhat.com>
 564
 565         * testsuite/18_support/set_terminate.cc: Require C++11 or
 566         higher.
 567         * testsuite/28_regex/simple_c++11.cc: Likewise.
 568         * testsuite/tr1/headers/c++200x/complex.cc: Likewise.
 569         * testsuite/24_iterators/headers/iterator/synopsis.cc:
 570         Require C++14 or lower.
 571
 572 2020-07-31  Jonathan Wakely  <jwakely@redhat.com>
 573
 574         * testsuite/23_containers/span/back_assert_neg.cc: Split c++2a
 575         effective-target from xfail selector.
 576         * testsuite/23_containers/span/first_2_assert_neg.cc: Likewise.
 577         * testsuite/23_containers/span/first_assert_neg.cc: Likewise.
 578         * testsuite/23_containers/span/front_assert_neg.cc: Likewise.
 579         * testsuite/23_containers/span/index_op_assert_neg.cc: Likewise.
 580         * testsuite/23_containers/span/last_2_assert_neg.cc: Likewise.
 581         * testsuite/23_containers/span/last_assert_neg.cc: Likewise.
 582         * testsuite/23_containers/span/subspan_2_assert_neg.cc:
 583         Likewise.
 584         * testsuite/23_containers/span/subspan_3_assert_neg.cc:
 585         Likewise.
 586         * testsuite/23_containers/span/subspan_4_assert_neg.cc:
 587         Likewise.
 588         * testsuite/23_containers/span/subspan_5_assert_neg.cc:
 589         Likewise.
 590         * testsuite/23_containers/span/subspan_6_assert_neg.cc:
 591         Likewise.
 592         * testsuite/23_containers/span/subspan_assert_neg.cc: Likewise.
 593
 594 2020-07-31  Jonathan Wakely  <jwakely@redhat.com>
 595
 596         * testsuite/20_util/reference_wrapper/83427.cc: Adjust
 597         effective-target to specific language mode only.
 598         * testsuite/24_iterators/headers/iterator/range_access_c++11.cc:
 599         Likewise.
 600         * testsuite/24_iterators/headers/iterator/range_access_c++14.cc:
 601         Likewise.
 602         * testsuite/24_iterators/headers/iterator/synopsis_c++11.cc:
 603         Likewise.
 604         * testsuite/24_iterators/headers/iterator/synopsis_c++14.cc:
 605         Likewise.
 606         * testsuite/26_numerics/valarray/69116.cc:
 607         Likewise.
 608         * testsuite/30_threads/headers/condition_variable/std_c++0x_neg.cc:
 609         Remove whitespace at end of file.
 610         * testsuite/30_threads/headers/future/std_c++0x_neg.cc:
 611         Likewise.
 612
 613 2020-07-31  Jonathan Wakely  <jwakely@redhat.com>
 614
 615         * testsuite/17_intro/headers/c++2017/all_attributes.cc: Add
 616         c++17 effective-target.
 617         * testsuite/17_intro/headers/c++2017/all_no_exceptions.cc:
 618         Likewise.
 619         * testsuite/17_intro/headers/c++2017/all_no_rtti.cc: Likewise.
 620         * testsuite/17_intro/headers/c++2017/all_pedantic_errors.cc:
 621         Likewise.
 622         * testsuite/17_intro/headers/c++2017/operator_names.cc:
 623         Likewise.
 624         * testsuite/17_intro/headers/c++2017/stdc++.cc: Likewise.
 625         * testsuite/17_intro/headers/c++2017/stdc++_multiple_inclusion.cc:
 626         Likewise.
 627         * testsuite/18_support/uncaught_exceptions/uncaught_exceptions.cc:
 628         Likewise.
 629         * testsuite/19_diagnostics/error_code/is_error_code_v.cc:
 630         Likewise.
 631         * testsuite/20_util/any/assign/1.cc: Likewise.
 632         * testsuite/20_util/any/assign/2.cc: Likewise.
 633         * testsuite/20_util/any/assign/emplace.cc: Likewise.
 634         * testsuite/20_util/any/assign/exception.cc: Likewise.
 635         * testsuite/20_util/any/assign/self.cc: Likewise.
 636         * testsuite/20_util/any/cons/1.cc: Likewise.
 637         * testsuite/20_util/any/cons/2.cc: Likewise.
 638         * testsuite/20_util/any/cons/aligned.cc: Likewise.
 639         * testsuite/20_util/any/cons/explicit.cc: Likewise.
 640         * testsuite/20_util/any/cons/in_place.cc: Likewise.
 641         * testsuite/20_util/any/cons/nontrivial.cc: Likewise.
 642         * testsuite/20_util/any/make_any.cc: Likewise.
 643         * testsuite/20_util/any/misc/any_cast.cc: Likewise.
 644         * testsuite/20_util/any/misc/any_cast_no_rtti.cc: Likewise.
 645         * testsuite/20_util/any/misc/swap.cc: Likewise.
 646         * testsuite/20_util/any/modifiers/1.cc: Likewise.
 647         * testsuite/20_util/any/observers/type.cc: Likewise.
 648         * testsuite/20_util/any/requirements.cc: Likewise.
 649         * testsuite/20_util/any/typedefs.cc: Likewise.
 650         * testsuite/20_util/as_const/1.cc: Likewise.
 651         * testsuite/20_util/as_const/rvalue_neg.cc: Likewise.
 652         * testsuite/20_util/bind/is_placeholder_v.cc: Likewise.
 653         * testsuite/20_util/bool_constant/requirements.cc: Likewise.
 654         * testsuite/20_util/duration/requirements/treat_as_floating_point_v.cc:
 655         Likewise.
 656         * testsuite/20_util/duration_cast/rounding.cc: Likewise.
 657         * testsuite/20_util/enable_shared_from_this/members/weak_from_this.cc:
 658         Likewise.
 659         * testsuite/20_util/function_objects/invoke/59768.cc: Likewise.
 660         * testsuite/20_util/function_objects/not_fn/1.cc: Likewise.
 661         * testsuite/20_util/function_objects/searchers.cc: Likewise.
 662         * testsuite/20_util/in_place/requirements.cc: Likewise.
 663         * testsuite/20_util/is_invocable/requirements/explicit_instantiation.cc:
 664         Likewise.
 665         * testsuite/20_util/is_invocable/requirements/typedefs.cc:
 666         Likewise.
 667         * testsuite/20_util/is_invocable/value.cc: Likewise.
 668         * testsuite/20_util/is_nothrow_invocable/requirements/explicit_instantiation.cc:
 669         Likewise.
 670         * testsuite/20_util/is_nothrow_invocable/requirements/typedefs.cc:
 671         Likewise.
 672         * testsuite/20_util/is_nothrow_swappable/requirements/explicit_instantiation.cc:
 673         Likewise.
 674         * testsuite/20_util/is_nothrow_swappable/requirements/typedefs.cc:
 675         Likewise.
 676         * testsuite/20_util/is_nothrow_swappable/value.cc: Likewise.
 677         * testsuite/20_util/is_nothrow_swappable_with/requirements/explicit_instantiation.cc:
 678         Likewise.
 679         * testsuite/20_util/is_nothrow_swappable_with/requirements/typedefs.cc:
 680         Likewise.
 681         * testsuite/20_util/is_nothrow_swappable_with/value.cc:
 682         Likewise.
 683         * testsuite/20_util/is_swappable/requirements/explicit_instantiation.cc:
 684         Likewise.
 685         * testsuite/20_util/is_swappable/requirements/typedefs.cc:
 686         Likewise.
 687         * testsuite/20_util/is_swappable/value.cc: Likewise.
 688         * testsuite/20_util/is_swappable_with/requirements/explicit_instantiation.cc:
 689         Likewise.
 690         * testsuite/20_util/is_swappable_with/requirements/typedefs.cc:
 691         Likewise.
 692         * testsuite/20_util/is_swappable_with/value.cc: Likewise.
 693         * testsuite/20_util/logical_traits/requirements/explicit_instantiation.cc:
 694         Likewise.
 695         * testsuite/20_util/logical_traits/requirements/typedefs.cc:
 696         Likewise.
 697         * testsuite/20_util/logical_traits/value.cc: Likewise.
 698         * testsuite/20_util/optional/constexpr/make_optional.cc: Likewise.
 699         * testsuite/20_util/optional/constexpr/observers/2.cc: Likewise.
 700         * testsuite/20_util/optional/constexpr/observers/3.cc: Likewise.
 701         * testsuite/20_util/optional/hash.cc: Likewise.
 702         * testsuite/20_util/pair/swap_cxx17.cc: Likewise.
 703         * testsuite/20_util/ratio/requirements/ratio_equal_v.cc: Likewise.
 704         * testsuite/20_util/shared_ptr/requirements/weak_type.cc:
 705         Likewise.
 706         * testsuite/20_util/specialized_algorithms/memory_management_tools/1.cc:
 707         Likewise.
 708         * testsuite/20_util/tuple/apply/1.cc: Likewise.
 709         * testsuite/20_util/tuple/make_from_tuple/1.cc: Likewise.
 710         * testsuite/20_util/tuple/swap_cxx17.cc: Likewise.
 711         * testsuite/20_util/tuple/tuple_size_v.cc: Likewise.
 712         * testsuite/20_util/unique_ptr/specialized_algorithms/swap_cxx17.cc:
 713         Likewise.
 714         * testsuite/20_util/uses_allocator/requirements/uses_allocator_v.cc:
 715         Likewise.
 716         * testsuite/20_util/variant/any.cc: Likewise.
 717         * testsuite/20_util/variant/compile.cc: Likewise.
 718         * testsuite/20_util/variant/hash.cc: Likewise.
 719         * testsuite/20_util/variant/index_type.cc: Likewise.
 720         * testsuite/20_util/variant/run.cc: Likewise.
 721         * testsuite/20_util/void_t/1.cc: Likewise.
 722         * testsuite/21_strings/basic_string/79162.cc: Likewise.
 723         * testsuite/21_strings/basic_string/cons/char/7.cc: Likewise.
 724         * testsuite/21_strings/basic_string/cons/wchar_t/7.cc: Likewise.
 725         * testsuite/21_strings/basic_string/lwg2758.cc: Likewise.
 726         * testsuite/21_strings/basic_string/lwg2946.cc: Likewise.
 727         * testsuite/21_strings/basic_string/modifiers/append/char/4.cc:
 728         Likewise.
 729         * testsuite/21_strings/basic_string/modifiers/append/wchar_t/4.cc:
 730         Likewise.
 731         * testsuite/21_strings/basic_string/modifiers/assign/char/4.cc:
 732         Likewise.
 733         * testsuite/21_strings/basic_string/modifiers/assign/wchar_t/4.cc:
 734         Likewise.
 735         * testsuite/21_strings/basic_string/modifiers/insert/char/3.cc:
 736         Likewise.
 737         * testsuite/21_strings/basic_string/modifiers/insert/wchar_t/3.cc:
 738         Likewise.
 739         * testsuite/21_strings/basic_string/modifiers/replace/char/7.cc:
 740         Likewise.
 741         * testsuite/21_strings/basic_string/modifiers/replace/wchar_t/7.cc:
 742         Likewise.
 743         * testsuite/21_strings/basic_string/operations/compare/char/2.cc:
 744         Likewise.
 745         * testsuite/21_strings/basic_string/operations/compare/wchar_t/2.cc:
 746         Likewise.
 747         * testsuite/21_strings/basic_string/operations/data/char/2.cc:
 748         Likewise.
 749         * testsuite/21_strings/basic_string/operations/data/wchar_t/2.cc:
 750         Likewise.
 751         * testsuite/21_strings/basic_string/operations/find/char/5.cc:
 752         Likewise.
 753         * testsuite/21_strings/basic_string/operations/find/wchar_t/5.cc:
 754         Likewise.
 755         * testsuite/21_strings/basic_string/operators/char/5.cc: Likewise.
 756         * testsuite/21_strings/basic_string/operators/wchar_t/5.cc:
 757         Likewise.
 758         * testsuite/21_strings/basic_string_view/capacity/1.cc: Likewise.
 759         * testsuite/21_strings/basic_string_view/cons/char/1.cc: Likewise.
 760         * testsuite/21_strings/basic_string_view/cons/char/2.cc: Likewise.
 761         * testsuite/21_strings/basic_string_view/cons/char/3.cc: Likewise.
 762         * testsuite/21_strings/basic_string_view/cons/wchar_t/1.cc:
 763         Likewise.
 764         * testsuite/21_strings/basic_string_view/cons/wchar_t/2.cc:
 765         Likewise.
 766         * testsuite/21_strings/basic_string_view/cons/wchar_t/3.cc:
 767         Likewise.
 768         * testsuite/21_strings/basic_string_view/element_access/char/1.cc:
 769         Likewise.
 770         * testsuite/21_strings/basic_string_view/element_access/char/2.cc:
 771         Likewise.
 772         * testsuite/21_strings/basic_string_view/element_access/char/empty.cc:
 773         Likewise.
 774         * testsuite/21_strings/basic_string_view/element_access/char/front_back.cc:
 775         Likewise.
 776         * testsuite/21_strings/basic_string_view/element_access/wchar_t/1.cc:
 777         Likewise.
 778         * testsuite/21_strings/basic_string_view/element_access/wchar_t/2.cc:
 779         Likewise.
 780         * testsuite/21_strings/basic_string_view/element_access/wchar_t/empty.cc:
 781         Likewise.
 782         * testsuite/21_strings/basic_string_view/element_access/wchar_t/front_back.cc:
 783         Likewise.
 784         * testsuite/21_strings/basic_string_view/include.cc: Likewise.
 785         * testsuite/21_strings/basic_string_view/inserters/char/1.cc:
 786         Likewise.
 787         * testsuite/21_strings/basic_string_view/inserters/char/2.cc:
 788         Likewise.
 789         * testsuite/21_strings/basic_string_view/inserters/char/3.cc:
 790         Likewise.
 791         * testsuite/21_strings/basic_string_view/inserters/pod/10081-out.cc:
 792         Likewise.
 793         * testsuite/21_strings/basic_string_view/inserters/wchar_t/1.cc:
 794         Likewise.
 795         * testsuite/21_strings/basic_string_view/inserters/wchar_t/2.cc:
 796         Likewise.
 797         * testsuite/21_strings/basic_string_view/inserters/wchar_t/3.cc:
 798         Likewise.
 799         * testsuite/21_strings/basic_string_view/literals/types-char8_t.cc:
 800         Likewise.
 801         * testsuite/21_strings/basic_string_view/literals/types.cc:
 802         Likewise.
 803         * testsuite/21_strings/basic_string_view/literals/values-char8_t.cc:
 804         Likewise.
 805         * testsuite/21_strings/basic_string_view/literals/values.cc:
 806         Likewise.
 807         * testsuite/21_strings/basic_string_view/modifiers/remove_prefix/char/1.cc:
 808         Likewise.
 809         * testsuite/21_strings/basic_string_view/modifiers/remove_prefix/wchar_t/1.cc:
 810         Likewise.
 811         * testsuite/21_strings/basic_string_view/modifiers/remove_suffix/char/1.cc:
 812         Likewise.
 813         * testsuite/21_strings/basic_string_view/modifiers/remove_suffix/wchar_t/1.cc:
 814         Likewise.
 815         * testsuite/21_strings/basic_string_view/operations/compare/char/1.cc:
 816         Likewise.
 817         * testsuite/21_strings/basic_string_view/operations/compare/char/13650.cc:
 818         Likewise.
 819         * testsuite/21_strings/basic_string_view/operations/compare/wchar_t/1.cc:
 820         Likewise.
 821         * testsuite/21_strings/basic_string_view/operations/compare/wchar_t/13650.cc:
 822         Likewise.
 823         * testsuite/21_strings/basic_string_view/operations/copy/char/1.cc:
 824         Likewise.
 825         * testsuite/21_strings/basic_string_view/operations/copy/wchar_t/1.cc:
 826         Likewise.
 827         * testsuite/21_strings/basic_string_view/operations/data/char/1.cc:
 828         Likewise.
 829         * testsuite/21_strings/basic_string_view/operations/data/wchar_t/1.cc:
 830         Likewise.
 831         * testsuite/21_strings/basic_string_view/operations/find/char/1.cc:
 832         Likewise.
 833         * testsuite/21_strings/basic_string_view/operations/find/char/2.cc:
 834         Likewise.
 835         * testsuite/21_strings/basic_string_view/operations/find/char/3.cc:
 836         Likewise.
 837         * testsuite/21_strings/basic_string_view/operations/find/char/4.cc:
 838         Likewise.
 839         * testsuite/21_strings/basic_string_view/operations/find/wchar_t/1.cc:
 840         Likewise.
 841         * testsuite/21_strings/basic_string_view/operations/find/wchar_t/2.cc:
 842         Likewise.
 843         * testsuite/21_strings/basic_string_view/operations/find/wchar_t/3.cc:
 844         Likewise.
 845         * testsuite/21_strings/basic_string_view/operations/find/wchar_t/4.cc:
 846         Likewise.
 847         * testsuite/21_strings/basic_string_view/operations/rfind/char/1.cc:
 848         Likewise.
 849         * testsuite/21_strings/basic_string_view/operations/rfind/char/2.cc:
 850         Likewise.
 851         * testsuite/21_strings/basic_string_view/operations/rfind/char/3.cc:
 852         Likewise.
 853         * testsuite/21_strings/basic_string_view/operations/rfind/wchar_t/1.cc:
 854         Likewise.
 855         * testsuite/21_strings/basic_string_view/operations/rfind/wchar_t/2.cc:
 856         Likewise.
 857         * testsuite/21_strings/basic_string_view/operations/rfind/wchar_t/3.cc:
 858         Likewise.
 859         * testsuite/21_strings/basic_string_view/operations/string_conversion/1.cc:
 860         Likewise.
 861         * testsuite/21_strings/basic_string_view/operations/substr/char/1.cc:
 862         Likewise.
 863         * testsuite/21_strings/basic_string_view/operations/substr/wchar_t/1.cc:
 864         Likewise.
 865         * testsuite/21_strings/basic_string_view/range_access/char/1.cc:
 866         Likewise.
 867         * testsuite/21_strings/basic_string_view/range_access/wchar_t/1.cc:
 868         Likewise.
 869         * testsuite/21_strings/basic_string_view/requirements/explicit_instantiation/1.cc:
 870         Likewise.
 871         * testsuite/21_strings/basic_string_view/requirements/explicit_instantiation/char/1.cc:
 872         Likewise.
 873         * testsuite/21_strings/basic_string_view/requirements/explicit_instantiation/char16_t/1.cc:
 874         Likewise.
 875         * testsuite/21_strings/basic_string_view/requirements/explicit_instantiation/char32_t/1.cc:
 876         Likewise.
 877         * testsuite/21_strings/basic_string_view/requirements/explicit_instantiation/char8_t/1.cc:
 878         Likewise.
 879         * testsuite/21_strings/basic_string_view/requirements/explicit_instantiation/wchar_t/1.cc:
 880         Likewise.
 881         * testsuite/21_strings/basic_string_view/requirements/typedefs.cc:
 882         Likewise.
 883         * testsuite/21_strings/basic_string_view/typedefs.cc: Likewise.
 884         * testsuite/21_strings/basic_string_view/types/1.cc: Likewise.
 885         * testsuite/23_containers/array/specialized_algorithms/swap_cxx17.cc:
 886         Likewise.
 887         * testsuite/23_containers/map/modifiers/extract.cc: Likewise.
 888         * testsuite/23_containers/map/modifiers/insert_or_assign/1.cc:
 889         Likewise.
 890         * testsuite/23_containers/map/modifiers/merge.cc: Likewise.
 891         * testsuite/23_containers/map/modifiers/try_emplace/1.cc: Likewise.
 892         * testsuite/23_containers/multimap/modifiers/extract.cc: Likewise.
 893         * testsuite/23_containers/multimap/modifiers/merge.cc: Likewise.
 894         * testsuite/23_containers/multiset/modifiers/extract.cc: Likewise.
 895         * testsuite/23_containers/multiset/modifiers/merge.cc: Likewise.
 896         * testsuite/23_containers/set/modifiers/extract.cc: Likewise.
 897         * testsuite/23_containers/set/modifiers/merge.cc: Likewise.
 898         * testsuite/23_containers/unordered_map/modifiers/extract.cc:
 899         Likewise.
 900         * testsuite/23_containers/unordered_map/modifiers/insert_or_assign.cc:
 901         Likewise.
 902         * testsuite/23_containers/unordered_map/modifiers/merge.cc:
 903         Likewise.
 904         * testsuite/23_containers/unordered_map/modifiers/try_emplace.cc:
 905         Likewise.
 906         * testsuite/23_containers/unordered_multimap/modifiers/extract.cc:
 907         Likewise.
 908         * testsuite/23_containers/unordered_multimap/modifiers/merge.cc:
 909         Likewise.
 910         * testsuite/23_containers/unordered_multiset/modifiers/extract.cc:
 911         Likewise.
 912         * testsuite/23_containers/unordered_multiset/modifiers/merge.cc:
 913         Likewise.
 914         * testsuite/23_containers/unordered_set/modifiers/extract.cc:
 915         Likewise.
 916         * testsuite/23_containers/unordered_set/modifiers/merge.cc:
 917         Likewise.
 918         * testsuite/24_iterators/headers/iterator/range_access_c++17.cc:
 919         Likewise.
 920         * testsuite/24_iterators/headers/iterator/synopsis_c++17.cc:
 921         Likewise.
 922         * testsuite/25_algorithms/clamp/1.cc: Likewise.
 923         * testsuite/25_algorithms/clamp/2.cc: Likewise.
 924         * testsuite/25_algorithms/clamp/constexpr.cc: Likewise.
 925         * testsuite/25_algorithms/clamp/requirements/explicit_instantiation/1.cc:
 926         Likewise.
 927         * testsuite/25_algorithms/clamp/requirements/explicit_instantiation/pod.cc:
 928         Likewise.
 929         * testsuite/26_numerics/headers/cmath/functions_std_c++17.cc:
 930         Likewise.
 931         * testsuite/26_numerics/headers/cmath/special_functions_global.cc:
 932         Likewise.
 933         * testsuite/27_io/basic_ostream/inserters_other/char/lwg2221.cc:
 934         Likewise.
 935         * testsuite/29_atomics/atomic/is_always_lock_free.cc: Likewise.
 936         * testsuite/29_atomics/atomic_integral/is_always_lock_free.cc:
 937         Likewise.
 938         * testsuite/30_threads/shared_lock/70766.cc: Likewise.
 939         * testsuite/30_threads/shared_mutex/cons/1.cc: Likewise.
 940         * testsuite/30_threads/shared_mutex/cons/assign_neg.cc:
 941         Likewise.
 942         * testsuite/30_threads/shared_mutex/cons/copy_neg.cc:
 943         Likewise.
 944         * testsuite/30_threads/shared_mutex/requirements/standard_layout.cc:
 945         Likewise.
 946         * testsuite/30_threads/shared_mutex/try_lock/1.cc: Likewise.
 947         * testsuite/30_threads/shared_mutex/try_lock/2.cc: Likewise.
 948         * testsuite/30_threads/shared_mutex/unlock/1.cc: Likewise.
 949
 950 2020-07-31  Jonathan Wakely  <jwakely@redhat.com>
 951
 952         PR libstdc++/96382
 953         * include/bits/stl_iterator.h (reverse_iterator): Friend
 954         declaration should not depend on __cplusplus.
 955
 956 2020-07-31  Jonathan Wakely  <jwakely@redhat.com>
 957
 958         * testsuite/experimental/filesystem/filesystem_error/cons.cc:
 959         Remove -std=gnu++17 option.
 960
 961 2020-07-31  Jonathan Wakely  <jwakely@redhat.com>
 962
 963         * testsuite/20_util/is_aggregate/value.cc: Adjust for changes to
 964         definition of aggregates in C++20.
 965         * testsuite/20_util/optional/requirements.cc: Adjust for
 966         defaulted comparisons in C++20.
 967
 968 2020-07-31  Jonathan Wakely  <jwakely@redhat.com>
 969
 970         * testsuite/20_util/tuple/78939.cc: Suppress warnings about
 971         deprecation of volatile-qualified structured bindings in C++20.
 972         * testsuite/20_util/variable_templates_for_traits.cc: Likewise
 973         for deprecation of is_pod in C++20
 974
 975 2020-07-31  Jonathan Wakely  <jwakely@redhat.com>
 976
 977         * testsuite/20_util/time_point_cast/rounding.cc: Remove
 978         duplicate dg-do directive and add c++17 effective target.
 979
 980 2020-07-31  Jonathan Wakely  <jwakely@redhat.com>
 981
 982         * src/c++17/floating_from_chars.cc (from_chars_impl): Use
 983         LC_ALL_MASK not LC_ALL.
 984
 985 2020-07-31  Richard Biener  <rguenther@suse.de>
 986
 987         PR debug/96383
 988         * testsuite/20_util/assume_aligned/3.cc: Use -g0.
 989
 990 2020-07-30  Jonathan Wakely  <jwakely@redhat.com>
 991
 992         * include/bits/basic_string.h (size_type, difference_type):
 993         Use allocator_traits to obtain the allocator's size_type and
 994         difference_type.
 995
 996 2020-07-30  Jonathan Wakely  <jwakely@redhat.com>
 997
 998         PR libstdc++/96279
 999         * src/c++17/floating_from_chars.cc (from_chars_impl): Use
1000         isinf unqualified.
1001         [!_GLIBCXX_USE_C99_STDLIB]: Use strtod for float and long
1002         double.
1003
1004 2020-07-30  Jonathan Wakely  <jwakely@redhat.com>
1005
1006         * testsuite/23_containers/unordered_multiset/cons/noexcept_default_construct.cc:
1007         Use allocator with the correct value type.
1008         * testsuite/23_containers/unordered_set/cons/noexcept_default_construct.cc:
1009         Likewise.
1010
1011 2020-07-30  Jonathan Wakely  <jwakely@redhat.com>
1012
1013         * testsuite/20_util/from_chars/4.cc: Pass non-const iterator
1014         to string::insert.
1015
1016 2020-07-30  Jonathan Wakely  <jwakely@redhat.com>
1017
1018         * include/bits/iterator_concepts.h (__detail::__cv_bool): New
1019         helper concept.
1020         (__detail::__integral_nonbool): Likewise.
1021         (__detail::__is_integer_like): Use __integral_nonbool.
1022         * testsuite/std/ranges/access/lwg3467.cc: New test.
1023
1024 2020-07-30  Jonathan Wakely  <jwakely@redhat.com>
1025
1026         * testsuite/20_util/from_chars/4.cc: Use dg-add-options ieee.
1027         * testsuite/29_atomics/atomic_float/1.cc: Likewise.
1028
1029 2020-07-30  Jonathan Wakely  <jwakely@redhat.com>
1030
1031         * testsuite/23_containers/vector/bool/72847.cc: Use the
1032         exceptions_enabled effective-target keyword instead of
1033         checking for an explicit -fno-exceptions option.
1034         * testsuite/util/testsuite_abi.cc (examine_symbol): Remove
1035         redundant try-catch.
1036         * testsuite/util/testsuite_allocator.h [!__cpp_exceptions]:
1037         Do not define check_allocate_max_size and memory_resource.
1038         * testsuite/util/testsuite_containers.h: Replace comment with
1039         #error if wrong standard dialect used.
1040         * testsuite/util/testsuite_shared.cc: Likewise.
1041
1042 2020-07-29  François Dumont  <fdumont@gcc.gnu.org>
1043
1044         * include/bits/hashtable_policy.h (_Node_iterator_base()): New.
1045         (operator==(const _Node_iterator_base&, const _Node_iterator_base&)):
1046         Make hidden friend.
1047         (operator!=(const _Node_iterator_base&, const _Node_iterator_base&)):
1048         Make hidden friend.
1049         (_Local_iterator_base<>): Inherits _Node_iterator_base.
1050         (_Local_iterator_base<>::_M_cur): Remove.
1051         (_Local_iterator_base<>::_M_curr()): Remove.
1052         (operator==(const _Local_iterator_base&, const _Local_iterator_base&)):
1053         Remove.
1054         (operator!=(const _Local_iterator_base&, const _Local_iterator_base&)):
1055         Remove.
1056         * include/debug/unordered_map (unordered_map<>::_M_invalidate): Adapt.
1057         (unordered_multimap<>::_M_invalidate): Adapt.
1058         * include/debug/unordered_set (unordered_set<>::_M_invalidate): Adapt.
1059         (unordered_multiset<>::_M_invalidate): Adapt.
1060
1061 2020-07-29  David Edelsohn  <dje.gcc@gmail.com>
1062             Jonathan Wakely  <jwakely@redhat.com>
1063             Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1064
1065         * testsuite/lib/dg-options.exp (add_options_for_libatomic): Add
1066         target powerpc-ibm-aix* and powerpc*-*-darwin*.
1067         * testsuite/29_atomics/atomic_float/value_init.cc: Add options
1068         for libatomic.
1069
1070 2020-07-29  François Dumont  <fdumont@gcc.gnu.org>
1071
1072         * include/bits/hashtable.h
1073         (_Hashtable(_Hashtable&& __ht, __node_alloc_type&& __a, true_type)):
1074         Add noexcept qualification.
1075         (_Hashtable(_Hashtable&&)): Fix noexcept qualification.
1076         (_Hashtable(_Hashtable&&, const allocator_type&)): Add noexcept
1077         qualification.
1078         * include/bits/unordered_map.h
1079         (unordered_map(unordered_map&&, const allocator_type&)): Add noexcept
1080         qualification.
1081         (unordered_multimap(unordered_multimap&&, const allocator_type&)):
1082         Likewise.
1083         * include/bits/unordered_set.h
1084         (unordered_set(unordered_set&&, const allocator_type&)): Likewise.
1085         (unordered_multiset(unordered_multiset&&, const allocator_type&)):
1086         Likewise.
1087         * include/debug/unordered_map
1088         (unordered_map(unordered_map&&, const allocator_type&)): Likewise.
1089         (unordered_multimap(unordered_multimap&&, const allocator_type&)):
1090         Likewise.
1091         * include/debug/unordered_set
1092         (unordered_set(unordered_set&&, const allocator_type&)): Likewise.
1093         (unordered_multiset(unordered_multiset&&, const allocator_type&)):
1094         Likewise.
1095         * testsuite/23_containers/unordered_map/allocator/default_init.cc:
1096         New test.
1097         * testsuite/23_containers/unordered_map/cons/noexcept_default_construct.cc:
1098         New test.
1099         * testsuite/23_containers/unordered_map/cons/noexcept_move_construct.cc:
1100         New test.
1101         * testsuite/23_containers/unordered_map/modifiers/move_assign.cc:
1102         New test.
1103         * testsuite/23_containers/unordered_multimap/cons/noexcept_default_construct.cc:
1104         New test.
1105         * testsuite/23_containers/unordered_multimap/cons/noexcept_move_construct.cc:
1106         New test.
1107         * testsuite/23_containers/unordered_multiset/cons/noexcept_default_construct.cc:
1108         New test.
1109         * testsuite/23_containers/unordered_multiset/cons/noexcept_move_construct.cc:
1110         New test.
1111         * testsuite/23_containers/unordered_set/allocator/default_init.cc:
1112         New test.
1113         * testsuite/23_containers/unordered_set/cons/noexcept_default_construct.cc:
1114         New test.
1115         * testsuite/23_containers/unordered_set/cons/noexcept_move_construct.cc:
1116         New test.
1117
1118 2020-07-28  François Dumont  <fdumont@gcc.gnu.org>
1119
1120         * include/bits/hashtable.h
1121         (_Hashtable<>(_InputIterator, _InputIterator, size_t, const _H1&,
1122         const _H2&, const _Hash&, const _Equal&, const _ExtractKey&,
1123         const allocator_type&, true_type)): New.
1124         (_Hashtable<>(_InputIterator, _InputIterator, size_t, const _H1&,
1125         const _H2&, const _Hash&, const _Equal&, const _ExtractKey&,
1126         const allocator_type&, false_type)): New.
1127         (_Hashtable<>(_InputIterator, _InputIterator, size_t, const _H1&,
1128         const _H2&, const _Hash&, const _Equal&, const _ExtractKey&,
1129         const allocator_type&)): Delegate to latters.
1130         (operator=(initializer_list<value_type>)): Rehash if too small.
1131         (_M_insert(_Arg&&, const _NodeGenerator&, true_type)): Remove
1132         size_t len parameter.
1133         * include/bits/hashtable_policy.h (_Insert_base<>::_M_insert_range):
1134         Do not try to get input range distance.
1135         * testsuite/23_containers/unordered_set/cons/bucket_hint.cc: New test.
1136         * testsuite/23_containers/unordered_set/modifiers/insert.cc: New test.
1137
1138 2020-07-27  François Dumont  <fdumont@gcc.gnu.org>
1139
1140         * include/bits/hashtable_policy.h (_Map_base<>::at): Use
1141         _Hashtable<>::find.
1142         (_Hashtable_base<>::_Equal_hash_code<>::_S_node_equals):New.
1143         (_Hashtable_base<>::_M_node_equals): New, use latter.
1144         (_Equality<_Key, _Value, _Alloc, _ExtractKey, _Equal, _H1, _H2, _Hash,
1145         _RehashPolicy, false>::_M_equal): Adapt to use latter.
1146         * include/bits/hashtable.h (_Hashtable<>::_M_update_bbegin): New.
1147         (_Hashtable<>::_M_assign): Use latter.
1148         (_Hashtable<>::_M_move_assign): Likewise.
1149         (_Hashtable<>(_Hashtable<>&&)): Likewise.
1150         (_Hashtable<>(_Hashtable<>&&, const allocator_type&)): Likewise.
1151         (_Hashtable<>::swap): Likewise.
1152         (_Hashtable<>::find): Build iterator directly from _M_find_node result.
1153         (_Hashtable<>::count): Use _Hashtable<>::find.
1154         (_Hashtable<>::equal_range): Likewise.
1155         (_Hashtable<>::_M_erase(false_type, const key_type&)): Use
1156         _M_node_equals.
1157
1158 2020-07-27  Jonathan Wakely  <jwakely@redhat.com>
1159
1160         * src/c++17/floating_from_chars.cc (from_chars_impl): Ensure
1161         that FE_NEAREST is used.
1162         * testsuite/20_util/from_chars/4.cc: Do not use if constexpr in
1163         a { target c++14 } test.
1164         [!_GLIBCXX_HAVE_USELOCALE]: Disable all tests.
1165         * testsuite/20_util/from_chars/5.cc [!_GLIBCXX_HAVE_USELOCALE]:
1166         Likewise.
1167         * testsuite/20_util/from_chars/6.cc: New test.
1168
1169 2020-07-22  Jonathan Wakely  <jwakely@redhat.com>
1170
1171         * include/std/future (future, shared_future, promise): Add
1172         static assertions to the primary template to reject array and
1173         function types.
1174         * testsuite/30_threads/future/requirements/lwg3458.cc: New test.
1175         * testsuite/30_threads/promise/requirements/lwg3466.cc: New test.
1176         * testsuite/30_threads/shared_future/requirements/lwg3458.cc: New test.
1177
1178 2020-07-22  Jonathan Wakely  <jwakely@redhat.com>
1179
1180         * include/bits/stl_iterator.h (reverse_iterator): Constrain
1181         converting constructor and converting assignment operator.
1182         Access source iterator's data member directly instead of
1183         calling base().
1184         (move_iterator): Likewise.
1185         * testsuite/24_iterators/move_iterator/dr3435.cc: New test.
1186         * testsuite/24_iterators/reverse_iterator/dr3435.cc: New test.
1187
1188 2020-07-20  Jonathan Wakely  <jwakely@redhat.com>
1189
1190         * acinclude.m4 (libtool_VERSION): Bump version.
1191         * config.h.in: Regenerate.
1192         * config/abi/pre/gnu.ver: Add GLIBCXX_3.4.29 version and new
1193         exports.
1194         * config/os/gnu-linux/ldbl-extra.ver: Add _GLIBCXX_LDBL_3.4.29
1195         version and new export.
1196         * configure: Regenerate.
1197         * configure.ac: Check for <xlocale.h> and uselocale.
1198         * crossconfig.m4: Add macro or checks for uselocale.
1199         * include/std/charconv (from_chars): Declare overloads for
1200         float, double, and long double.
1201         * src/c++17/Makefile.am: Add new file.
1202         * src/c++17/Makefile.in: Regenerate.
1203         * src/c++17/floating_from_chars.cc: New file.
1204         (from_chars): Define for float, double, and long double.
1205         * testsuite/20_util/from_chars/1_c++20_neg.cc: Prune extra
1206         diagnostics caused by new overloads.
1207         * testsuite/20_util/from_chars/1_neg.cc: Likewise.
1208         * testsuite/20_util/from_chars/2.cc: Check leading '+'.
1209         * testsuite/20_util/from_chars/4.cc: New test.
1210         * testsuite/20_util/from_chars/5.cc: New test.
1211         * testsuite/util/testsuite_abi.cc: Add new symbol versions.
1212
1213 2020-07-20  Jonathan Wakely  <jwakely@redhat.com>
1214
1215         * include/bits/istream.tcc
1216         (basic_istream::get(__streambuf_type&, char_type): Use unsigned
1217         long long for counter and check if it would overflow _M_gcount.
1218         * testsuite/27_io/basic_istream/get/char/lwg3464.cc: New test.
1219         * testsuite/27_io/basic_istream/get/wchar_t/lwg3464.cc: New test.
1220
1221 2020-07-17  Iain Sandoe  <iain@sandoe.co.uk>
1222
1223         * include/std/coroutine: Mark the methods of the
1224         trivial awaitables as constexpr.
1225
1226 2020-07-14  David Edelsohn  <dje.gcc@gmail.com>
1227
1228         * config/os/aix/t-aix: Set BITS from compiler cpp macro.
1229
1230 2020-07-13  Jonathan Wakely  <jwakely@redhat.com>
1231
1232         PR libstdc++/94749
1233         PR libstdc++/96161
1234         * include/bits/istream.tcc (basic_istream::ignore(streamsize))
1235         [n == max]: Check overflow conditions on _M_gcount. Rely on
1236         the fact that either EOF or the delimiter was reached.
1237         [n < max]: Check _M_gcount < n before checking for EOF or
1238         delimiter.
1239         (basic_istream::ignore(streamsize, char_type): Likewise.
1240         * src/c++98/compatibility.cc (istream::ignore(streamsize))
1241         (wistream::ignore(streamsize)): Likewise.
1242         * src/c++98/istream.cc (istream::ignore(streamsize, char_type))
1243         (wistream::ignore(streamsize, char_type)): Likewise.
1244         * testsuite/27_io/basic_istream/ignore/char/94749.cc: Check that
1245         delimiter is discarded if the number of characters ignored
1246         doesn't fit in streamsize.
1247         * testsuite/27_io/basic_istream/ignore/wchar_t/94749.cc:
1248         Likewise.
1249         * testsuite/27_io/basic_istream/ignore/char/96161.cc: New test.
1250         * testsuite/27_io/basic_istream/ignore/wchar_t/96161.cc: New test.
1251
1252 2020-07-08  François Dumont  <fdumont@gcc.gnu.org>
1253
1254         * include/bits/stl_tree.h (_Rb_tree_impl(_Rb_tree_impl&&)): Add noexcept
1255         qualification based only on _Compare one.
1256         * testsuite/23_containers/map/cons/noexcept_move_construct.cc: Add
1257         static asserts.
1258         * testsuite/23_containers/multimap/cons/noexcept_move_construct.cc:
1259         Likewise.
1260         * testsuite/23_containers/multiset/cons/noexcept_move_construct.cc:
1261         Likewise.
1262         * testsuite/23_containers/set/cons/noexcept_move_construct.cc: Likewise.
1263
1264 2020-07-07  Jonathan Wakely  <jwakely@redhat.com>
1265
1266         * include/std/limits: Whitespace changes.
1267
1268 2020-07-07  Jonathan Wakely  <jwakely@redhat.com>
1269
1270         * include/Makefile.am: Remove bits/int_limits.h.
1271         * include/Makefile.in: Regenerate.
1272         * include/bits/int_limits.h: Removed.
1273         * include/bits/parse_numbers.h (_Select_int_base): Replace
1274         __int_limits with __int_traits.
1275         * include/bits/range_access.h (_SSize::operator()): Likewise.
1276         * include/ext/numeric_traits.h (__numeric_traits_integer): Add
1277         static assertion.
1278         (__int_traits): New alias template.
1279         * include/std/bit (__rotl, __rotr, __countl_zero, __countl_one)
1280         (__countr_zero, __countr_one, __popcount, __bit_ceil)
1281         (__bit_floor, __bit_width) Replace __int_limits with
1282         __int_traits.
1283         * include/std/charconv (__to_chars_8, __from_chars_binary)
1284         (__from_chars_alpha_to_num, from_chars): Likewise.
1285         * include/std/memory_resource (polymorphic_allocator::allocate)
1286         (polymorphic_allocator::allocate_object): Likewise.
1287         * include/std/string_view (basic_string_view::_S_compare):
1288         Likewise.
1289         * include/std/utility (cmp_equal, cmp_less, in_range): Likewise.
1290
1291 2020-07-07  Jonathan Wakely  <jwakely@redhat.com>
1292
1293         * include/std/limits: Whitespace changes.
1294
1295 2020-07-06  Jonathan Wakely  <jwakely@redhat.com>
1296
1297         * include/std/optional (_Optional_payload_base, _Optional_base)
1298         (optional, __optional_hash_call_base): Adjust whitespace and
1299         other formatting. Remove redundant && tokens on template
1300         arguments to type traits.
1301
1302 2020-07-06  Jonathan Wakely  <jwakely@redhat.com>
1303
1304         * include/std/optional (make_optional): Add enable_if
1305         constraints and noexcept-specifier to each overload.
1306         * testsuite/20_util/optional/make_optional-2.cc: New test.
1307
1308 2020-07-06  Jonathan Wakely  <jwakely@redhat.com>
1309
1310         PR libstdc++/96036
1311         * include/std/optional (optional): Add noexcept-specifier to
1312         every constructor, assignment operator, emplace function and
1313         dereference operator.
1314         * testsuite/20_util/optional/assignment/noexcept.cc: New test.
1315         * testsuite/20_util/optional/cons/noexcept.cc: New test.
1316
1317 2020-07-06  Jonathan Wakely  <jwakely@redhat.com>
1318
1319         PR libstdc++/96063
1320         * include/bits/fs_dir.h: Use consistent tag in class-head.
1321         * include/bits/localefwd.h: Likewise.
1322         * include/bits/regex.h: Likewise.
1323         * include/bits/stl_map.h: Likewise.
1324         * include/bits/stl_multimap.h: Likewise.
1325         * include/bits/stl_multiset.h: Likewise.
1326         * include/bits/stl_set.h: Likewise.
1327         * include/std/complex: Likewise.
1328         * include/std/functional: Likewise.
1329         * include/std/future: Likewise.
1330         * include/std/system_error: Likewise.
1331         * include/std/thread: Likewise.
1332         * include/std/tuple: Likewise.
1333         * include/std/type_traits: Likewise.
1334         * include/std/valarray: Likewise.
1335
1336 2020-07-02  Jonathan Wakely  <jwakely@redhat.com>
1337
1338         * testsuite/27_io/basic_ios/conv/voidptr.cc: Add c++98_only
1339         target selector.
1340
1341 2020-07-02  Jonathan Wakely  <jwakely@redhat.com>
1342
1343         * testsuite/18_support/headers/cstdalign/std_c++0x_neg.cc: Add
1344         c++98_only target selector.
1345         * testsuite/18_support/headers/cstdbool/std_c++0x_neg.cc:
1346         Likewise.
1347         * testsuite/18_support/headers/cstdint/std_c++0x_neg.cc:
1348         Likewise.
1349         * testsuite/18_support/headers/new/synopsis_cxx98.cc: Likewise.
1350         * testsuite/19_diagnostics/headers/system_error/std_c++0x_neg.cc:
1351         Likewise.
1352         * testsuite/20_util/headers/type_traits/std_c++0x_neg.cc:
1353         Likewise.
1354         * testsuite/23_containers/headers/array/std_c++0x_neg.cc:
1355         Likewise.
1356         * testsuite/23_containers/headers/tuple/std_c++0x_neg.cc:
1357         Likewise.
1358         * testsuite/23_containers/headers/unordered_map/std_c++0x_neg.cc:
1359         Likewise.
1360         * testsuite/23_containers/headers/unordered_set/std_c++0x_neg.cc:
1361         Likewise.
1362         * testsuite/26_numerics/headers/ccomplex/std_c++0x_neg.cc:
1363         Likewise.
1364         * testsuite/26_numerics/headers/cfenv/std_c++0x_neg.cc:
1365         Likewise.
1366         * testsuite/26_numerics/headers/cmath/c99_classification_macros_c++98.cc:
1367         Likewise.
1368         * testsuite/26_numerics/headers/ctgmath/std_c++0x_neg.cc:
1369         Likewise.
1370         * testsuite/26_numerics/headers/random/std_c++0x_neg.cc:
1371         Likewise.
1372         * testsuite/27_io/headers/cinttypes/std_c++0x_neg.cc: Likewise.
1373         * testsuite/28_regex/headers/regex/std_c++0x_neg.cc: Likewise.
1374         * testsuite/29_atomics/headers/atomic/std_c++0x_neg.cc:
1375         Likewise.
1376         * testsuite/30_threads/headers/condition_variable/std_c++0x_neg.cc:
1377         Likewise.
1378         * testsuite/30_threads/headers/future/std_c++0x_neg.cc:
1379         Likewise.
1380         * testsuite/30_threads/headers/mutex/std_c++0x_neg.cc: Likewise.
1381         * testsuite/30_threads/headers/thread/std_c++0x_neg.cc:
1382         Likewise.
1383
1384 2020-07-02  Ville Voutilainen  <ville.voutilainen@gmail.com>
1385
1386         PR libstdc++/91807
1387         * include/std/variant
1388         (_Copy_assign_base::operator=(const _Copy_assign_base&):
1389         Do the move-assignment from a temporary so that the temporary
1390         is constructed with an explicit index.
1391         * testsuite/20_util/variant/91807.cc: New.
1392
1393 2020-07-02  Jonathan Wakely  <jwakely.gcc@gmail.com>
1394
1395         PR libstdc++/91153
1396         PR target/93224
1397         * testsuite/29_atomics/atomic_float/1.cc: Use different values
1398         for tests.
1399         * testsuite/29_atomics/atomic_ref/float.cc: Likewise.
1400
1401 2020-07-01  Jonathan Wakely  <jwakely@redhat.com>
1402
1403         PR libstdc++/94627
1404         * include/bits/regex.h (operator==, operator!=): Remove noexcept
1405         equality comparisons for match_results.
1406         * testsuite/28_regex/match_results/94627.cc: New test.
1407
1408 2020-07-01  Martin Sebor  <msebor@redhat.com>
1409
1410         * testsuite/21_strings/basic_string_view/cons/char/nonnull.cc: Adjust
1411         text of expected warning.
1412         * testsuite/21_strings/basic_string_view/cons/wchar_t/nonnull.cc: Same.
1413         * testsuite/21_strings/basic_string_view/operations/compare/char/nonnull.cc: Same.
1414         * testsuite/21_strings/basic_string_view/operations/find/char/nonnull.cc: Same.
1415         * testsuite/21_strings/basic_string_view/operations/rfind/char/nonnull.cc: Same.
1416
1417 2020-06-29  Ville Voutilainen  <ville.voutilainen@gmail.com>
1418
1419         Revert:
1420         2020-06-28  Ville Voutilainen  <ville.voutilainen@gmail.com>
1421
1422         * include/bits/basic_string.h (string(_CharT*, const _Alloc&)):
1423         Add a __nonnull__ attribute.
1424         * testsuite/21_strings/basic_string/cons/char/nonnull.cc: New.
1425         * testsuite/21_strings/basic_string/cons/wchar_t/nonnull.cc: Likewise.
1426
1427 2020-06-28  Ville Voutilainen  <ville.voutilainen@gmail.com>
1428
1429         * include/bits/basic_string.h (string(_CharT*, const _Alloc&)):
1430         Add a __nonnull__ attribute.
1431         * testsuite/21_strings/basic_string/cons/char/nonnull.cc: New.
1432         * testsuite/21_strings/basic_string/cons/wchar_t/nonnull.cc: Likewise.
1433
1434 2020-06-28  Ville Voutilainen  <ville.voutilainen@gmail.com>
1435
1436         PR libstdc++/95915
1437         * include/std/type_traits (is_literal_type, is_literal_type_v):
1438         Deprecate in C++17.
1439         * include/std/variant (_Uninitialized):
1440         Adjust the condition and the comment.
1441         * testsuite/20_util/is_literal_type/deprecated-1z.cc: New.
1442         * testsuite/20_util/is_literal_type/requirements/explicit_instantiation.cc:
1443         Adjust.
1444         * testsuite/20_util/is_literal_type/requirements/typedefs.cc: Likewise.
1445         * testsuite/20_util/is_literal_type/value.cc: Likewise.
1446         * testsuite/20_util/optional/constexpr/nullopt.cc:
1447         Use __is_literal_type directly.
1448         * testsuite/20_util/optional/nullopt.cc: Likewise.
1449         * testsuite/20_util/variable_templates_for_traits.cc: Adjust.
1450         * testsuite/20_util/variant/95915.cc: New.
1451         * testsuite/20_util/variant/compile.cc: Add new test.
1452         * testsuite/experimental/optional/constexpr/nullopt.cc:
1453         Use __is_literal_type directly.
1454         * testsuite/experimental/optional/nullopt.cc: Likewise.
1455         * testsuite/experimental/type_traits/value.cc: Adjust.
1456         * testsuite/util/testsuite_common_types.h:
1457         Use __is_literal_type directly.
1458
1459 2020-06-24  Jonathan Wakely  <jwakely@redhat.com>
1460
1461         * include/std/charconv (__from_chars_binary): Ignore leading zeros.
1462         * testsuite/20_util/from_chars/1.cc: Check "0x1" for all bases,
1463         not just 10 and 16.
1464         * testsuite/20_util/from_chars/3.cc: New test.
1465
1466 2020-06-24  Jonathan Wakely  <jwakely@redhat.com>
1467
1468         * include/bits/stl_algobase.h (__find_if): Add FALLTHRU markers.
1469         * include/std/charconv (__detail::__to_chars): Avoid
1470         -Wsign-compare warning.
1471
1472 2020-06-24  Jonathan Wakely  <jwakely@redhat.com>
1473
1474         PR libstdc++/95851
1475         * include/std/charconv (__to_chars_i): Check for zero-sized
1476         buffer unconditionally.
1477         * testsuite/20_util/to_chars/95851.cc: New test.
1478
1479 2020-06-23  Jonathan Wakely  <jwakely@redhat.com>
1480
1481         * testsuite/20_util/from_chars/1_c++20_neg.cc: Check enumeration
1482         type.
1483         * testsuite/20_util/from_chars/1_neg.cc: Likewise. Move dg-error
1484         directives outside preprocessor condition.
1485
1486 2020-06-23  Jonathan Wakely  <jwakely@redhat.com>
1487
1488         PR libstdc++/95832
1489         * include/std/variant (__detail::__variant::_Build_FUN): Remove
1490         partial specialization to prevent narrowing conversions to bool.
1491         * testsuite/20_util/variant/compile.cc: Test non-narrowing
1492         conversions to bool.
1493         * testsuite/20_util/variant/run.cc: Likewise.
1494
1495 2020-06-23  Jonathan Wakely  <jwakely@redhat.com>
1496
1497         * doc/Makefile.in: Regenerate.
1498         * include/Makefile.in: Regenerate.
1499         * libsupc++/Makefile.in: Regenerate.
1500         * po/Makefile.in: Regenerate.
1501         * python/Makefile.in: Regenerate.
1502         * src/Makefile.in: Regenerate.
1503         * src/c++11/Makefile.in: Regenerate.
1504         * src/c++17/Makefile.in: Regenerate.
1505         * src/c++98/Makefile.in: Regenerate.
1506         * src/filesystem/Makefile.in: Regenerate.
1507         * testsuite/Makefile.in: Regenerate.
1508
1509 2020-06-22  David Edelsohn  <dje.gcc@gmail.com>
1510
1511         * Makefile.am: Use -include.
1512         * Makefile.in: Regenerate.
1513
1514 2020-06-21  David Edelsohn  <dje.gcc@gmail.com>
1515
1516         * Makefile.am (tmake_file): Build and install AIX-style FAT libraries.
1517         * Makefile.in: Regenerate.
1518         * configure.ac (tmake_file): Substitute.
1519         * configure: Regenerate.
1520         * configure.host (aix*): Define tmake_file.
1521         * config/os/aix/t-aix: New file.
1522
1523 2020-06-20  Jason Merrill  <jason@redhat.com>
1524
1525         * testsuite/24_iterators/move_iterator/rel_ops_c++20.cc:
1526         Remove greedy_ops tests.
1527         * testsuite/24_iterators/reverse_iterator/rel_ops_c++20.cc:
1528         Remove greedy_ops tests.
1529
1530 2020-06-19  Jonathan Wakely  <jwakely@redhat.com>
1531
1532         PR libstdc++/95765
1533         * include/bits/stl_algobase.h (__size_to_integer(float))
1534         (__size_to_integer(double), __size_to_integer(long double))
1535         (__size_to_integer(__float128)): Cast return type explicitly.
1536         * include/bits/stl_uninitialized.h (__uninitialized_default_1<true>):
1537         Remove unused typedef.
1538
1539 2020-06-19  Jonathan Wakely  <jwakely@redhat.com>
1540
1541         * include/bits/stl_pair.h (_Index_tuple): Remove redundant
1542         namespace qualification.
1543         (pair::pair(tuple<>&, tuple<>&, _Index_tuple, _Index_tuple)):
1544         Likewise.
1545         * include/std/tuple (_Head_base, _Tuple_impl, tuple_size)
1546         (tuple_element, __get_helper, get, __make_tuple_impl)
1547         (__make_1st_indices, __tuple_concater)
1548         (pair::pair(tuple<>&, tuple<>&, _Index_tuple, _Index_tuple)):
1549         Likewise.
1550         * include/std/utility (tuple_element, __is_tuple_like_impl)
1551         (tuple_size, __pair_get, get): Likewise.
1552
1553 2020-06-19  Jonathan Wakely  <jwakely@redhat.com>
1554
1555         * include/bits/std_function.h (function): Define all member
1556         functions inline.
1557
1558 2020-06-19  Marc Glisse  <marc.glisse@inria.fr>
1559
1560         * include/bits/stl_algo.h (__includes): Simplify the code.
1561
1562 2020-06-19  Marc Glisse  <marc.glisse@inria.fr>
1563
1564         * include/std/optional (optional()): Explicitly define it.
1565
1566 2020-06-17  Jonathan Wakely  <jwakely@redhat.com>
1567
1568         PR libstdc++/94540
1569         * include/bits/stl_uninitialized.h (__uninitialized_default_1<true>):
1570         Construct the first value at *__first instead of on the stack.
1571         (__uninitialized_default_n_1<true>): Likewise.
1572         Improve comments on several of the non-standard algorithms.
1573         * testsuite/20_util/specialized_algorithms/uninitialized_default/94540.cc:
1574         New test.
1575         * testsuite/20_util/specialized_algorithms/uninitialized_default_n/94540.cc:
1576         New test.
1577         * testsuite/20_util/specialized_algorithms/uninitialized_value_construct/94540.cc:
1578         New test.
1579         * testsuite/20_util/specialized_algorithms/uninitialized_value_construct_n/94540.cc:
1580         New test.
1581         * testsuite/23_containers/vector/cons/94540.cc: New test.
1582
1583 2020-06-17  Jonathan Wakely  <jwakely@redhat.com>
1584
1585         * testsuite/20_util/specialized_algorithms/uninitialized_default_n/sizes.cc:
1586         Replace Value type with int so trivial code path is used.
1587         * testsuite/20_util/specialized_algorithms/uninitialized_value_construct_n/sizes.cc:
1588         Likewise.
1589
1590 2020-06-17  Jonathan Wakely  <jwakely@redhat.com>
1591
1592         * include/bits/stl_uninitialized.h (uninitialized_fill_n): Only
1593         use std::fill_n when the size is an integral type.
1594         (__uninitialized_default_n): Likewise.
1595         * testsuite/20_util/specialized_algorithms/uninitialized_default_n/sizes.cc:
1596         New test.
1597         * testsuite/20_util/specialized_algorithms/uninitialized_fill_n/sizes.cc:
1598         New test.
1599         * testsuite/20_util/specialized_algorithms/uninitialized_value_construct_n/sizes.cc:
1600         New test.
1601
1602 2020-06-16  Jonathan Wakely  <jwakely@redhat.com>
1603
1604         PR libstdc++/95282
1605         * include/bits/atomic_base.h (__atomic_impl::load): Use the _Val
1606         alias instead of deducing _Tp as an unqualified type.
1607         (__atomic_impl::exchange): Use the _Val alias to remove volatile
1608         from the reinterpret_cast result type.
1609
1610 2020-06-16  Jonathan Wakely  <jwakely@redhat.com>
1611
1612         * include/std/atomic (atomic): Add static assertions.
1613         * testsuite/29_atomics/atomic/requirements/types_neg.cc: New test.
1614
1615 2020-06-16  Patrick Palka  <ppalka@redhat.com>
1616
1617         PR libstdc++/94003
1618         * testsuite/20_util/is_constructible/94003.cc: New test.
1619
1620 2020-06-15  Jonathan Wakely  <jwakely@redhat.com>
1621
1622         * include/bits/char_traits.h (__cpp_lib_constexpr_char_traits):
1623         Update value for C++20.
1624         * include/std/version (__cpp_lib_constexpr_char_traits): Likewise.
1625         * testsuite/21_strings/char_traits/requirements/constexpr_functions_c++17.cc:
1626         Update expected value.
1627         * testsuite/21_strings/char_traits/requirements/constexpr_functions_c++20.cc:
1628         Likewise.
1629
1630 2020-06-15  Paul Keir  <paul.keir@uws.ac.uk>
1631
1632         * include/bits/char_traits.h (char_traits::move): constexpr move with
1633         overlap was using copy_backward incorrectly.
1634         * testsuite/21_strings/char_traits/requirements/constexpr_functions_c++20.cc:
1635         New test.
1636
1637 2020-06-12  Jonathan Wakely  <jwakely@redhat.com>
1638
1639         * testsuite/29_atomics/atomic_flag/clear/1.cc: Also test clear()
1640         when the value is currently set.
1641         * testsuite/29_atomics/atomic_flag/test_and_set/explicit.cc:
1642         Actually check the return value.
1643         * testsuite/29_atomics/atomic_flag/test_and_set/implicit.cc:
1644         Likewise.
1645
1646 2020-06-12  Jonathan Wakely  <jwakely@redhat.com>
1647
1648         * include/bits/atomic_base.h (atomic_flag::test): Add missing
1649         const qualifiers.
1650         * testsuite/29_atomics/atomic_flag/test/explicit.cc: Add
1651         dg-options and verify results of test function.
1652         * testsuite/29_atomics/atomic_flag/test/implicit.cc: Likewise.
1653
1654 2020-06-11  Jonathan Wakely  <jwakely@redhat.com>
1655
1656         PR libstdc++/94749
1657         * include/bits/istream.tcc (basic_istream::ignore(streamsize, CharT)):
1658         Only discard an extra character if we didn't already reach the
1659         maximum number.
1660         * src/c++98/istream.cc (istream::ignore(streamsiz, char))
1661         (wistream::ignore(streamsize, wchar_t)): Likewise.
1662         * testsuite/27_io/basic_istream/ignore/char/94749.cc: New test.
1663         * testsuite/27_io/basic_istream/ignore/wchar_t/94749.cc: New test.
1664
1665 2020-06-10  Patrick Palka  <ppalka@redhat.com>
1666
1667         PR libstdc++/95578
1668         * include/bits/ranges_algo.h (__lexicographical_compare_fn):
1669         Also check that the iterator and sentinel have the same type before
1670         applying the unwrapping optimization for __normal_iterator.
1671         Split the check into two, one for the first iterator/sentinel
1672         pair and another for second iterator/sentinel pair.  Remove uses
1673         of __niter_base, and remove uses of std::move on a
1674         __normal_iterator.
1675         * include/bits/ranges_algobase.h (__equal_fn): Likewise.
1676         (__copy_or_move): Likewise.  Perform similar adjustments for
1677         the reverse_iterator and move_iterator optimizations.  Inline
1678         the checks into the if-constexprs, and use using-declarations to
1679         make them less visually noisy.  Remove uses of __niter_wrap.
1680         (__copy_or_move_backward): Likewise.
1681         * testsuite/25_algorithms/copy/95578.cc: New test.
1682         * testsuite/25_algorithms/copy_backward/95578.cc: New test.
1683         * testsuite/25_algorithms/equal/95578.cc: New test.
1684         * testsuite/25_algorithms/lexicographical_compare/95578.cc: New test.
1685         * testsuite/25_algorithms/move/95578.cc: New test.
1686         * testsuite/25_algorithms/move_backward/95578.cc: New test.
1687
1688 2020-06-10  François Dumont  <fdumont@gcc.gnu.org>
1689             Jonathan Wakely  <jwakely@redhat.com>
1690
1691         * include/bits/deque.tcc (__lex_cmp_dit): New.
1692         (__lexicographical_compare_aux1): Define overloads for deque
1693         iterators.
1694         * include/bits/stl_algobase.h (__lexicographical_compare::__3way):
1695         New static member function.
1696         (__lexicographical_compare<true>::__3way): Likewise.
1697         (__lexicographical_compare<true>::__lc): Use __3way.
1698         (__lexicographical_compare_aux): Rename to
1699         __lexicographical_compare_aux1 and declare overloads for deque
1700         iterators.
1701         (__lexicographical_compare_aux): Define new forwarding function
1702         that calls __lexicographical_compare_aux1 and declare new overloads
1703         for safe iterators.
1704         (lexicographical_compare): Do not use __niter_base on
1705         parameters.
1706         * include/debug/safe_iterator.tcc
1707         (__lexicographical_compare_aux): Define overloads for safe
1708         iterators.
1709         * testsuite/25_algorithms/lexicographical_compare/1.cc: Add
1710         checks with random access iterators.
1711         * testsuite/25_algorithms/lexicographical_compare/deque_iterators/1.cc:
1712         New test.
1713
1714 2020-06-09  Jonathan Wakely  <jwakely@redhat.com>
1715
1716         * include/bits/stl_iterator.h (move_iterator::operator=): Define.
1717         * testsuite/24_iterators/move_iterator/dr3265.cc: New test.
1718
1719 2020-06-09  Jonathan Wakely  <jwakely@redhat.com>
1720
1721         * include/std/optional (bad_optional_access): Define default
1722         constructor and destructor as defaulted.
1723         * testsuite/20_util/optional/bad_access.cc: New test.
1724
1725 2020-06-08  Jonathan Wakely  <jwakely@redhat.com>
1726
1727         * testsuite/20_util/default_delete/48631_neg.cc: Adjust dg-error
1728         line number.
1729         * testsuite/20_util/default_delete/void_neg.cc: Likewise.
1730
1731 2020-06-08  Jonathan Wakely  <jwakely@redhat.com>
1732
1733         * include/bits/unique_ptr.h (operator<<): Define for C++20.
1734         * testsuite/20_util/unique_ptr/io/lwg2948.cc: New test.
1735
1736 2020-06-04  Jonathan Wakely  <jwakely@redhat.com>
1737
1738         * include/bits/iterator_concepts.h (__detail::__ptr, __detail::__ref)
1739         (__detail::__cat, __detail::__diff): Move to class scope in the
1740         relevant __iterator_traits specializations.
1741         (__iterator_traits<>): Use nested class templates instead of ones from
1742         namespace __detail.
1743         * include/bits/stl_iterator.h (__detail::__common_iter_ptr): Move to
1744         class scope in iterator_traits<common_iterator<I, S>>.
1745         (iterator_traits<common_iterator<I, S>>): Use nested class template
1746         instead of __detail::__common_iter_ptr.
1747
1748 2020-06-04  François Dumont  <fdumont@gcc.gnu.org>
1749
1750         * include/bits/stl_algo.h (__copy_n_a): Move to ...
1751         * include/bits/stl_algobase.h (__copy_n_a): ...here. Add __strict
1752         parameter.
1753         (__copy_n_a(istreambuf_iterator<>, _Size, _Deque_iterator<>, bool)):
1754         Declare.
1755         (__niter_base(const _Safe_iterator<_Ite, _Seq,
1756         random_access_iterator_tag>&)): Declare.
1757         (__copy_move_a2(istreambuf_iterator<>, istreambuf_iterator<>,
1758         _Deque_iterator<>)): Declare.
1759         * include/bits/deque.tcc
1760         (__copy_move_a2(istreambuf_iterator<>, istreambuf_iterator<>,
1761         _Deque_iterator<>)): New.
1762         (__copy_n_a(istreambuf_iterator<>, _Size, _Deque_iterator<>, bool)):
1763         New.
1764         * include/bits/streambuf_iterator.h
1765         (__copy_n_a(istreambuf_iterator<>, _Size, _CharT*, bool)): Adapt.
1766         * include/debug/safe_iterator.tcc (__niter_base): New.
1767         * testsuite/25_algorithms/copy/streambuf_iterators/char/4.cc
1768         (test03): New.
1769         * testsuite/25_algorithms/copy/streambuf_iterators/char/debug/deque_neg.cc:
1770         New test.
1771         * testsuite/25_algorithms/copy_n/debug/istreambuf_ite_deque_neg.cc:
1772         New test.
1773         * testsuite/25_algorithms/copy_n/istreambuf_iterator/2.cc: New test.
1774         * testsuite/25_algorithms/copy_n/istreambuf_iterator/deque.cc:
1775         New test.
1776
1777 2020-06-04  Jonathan Wakely  <jwakely@redhat.com>
1778
1779         * include/bits/ranges_algobase.h (__copy_n_fn): Only call
1780         ranges::copy for positive values.
1781         * include/bits/stl_algo.h (copy_n): Convert Size argument to an
1782         integral type and only call __copy_n for positive values.
1783         * testsuite/util/testsuite_iterators.h
1784         (random_access_iterator_wrapper::operator+=): Fix range check for
1785         negative values.
1786         (output_container, input_container, forward_container)
1787         (bidirectional_container, random_access_container): New alias
1788         templates.
1789         * testsuite/25_algorithms/copy_n/5.cc: New test.
1790
1791 2020-06-02  Jonathan Wakely  <jwakely@redhat.com>
1792
1793         PR libstdc++/90102
1794         * include/debug/deque (deque(const _Base&)): Replace parameter
1795         with a struct that wraps a const _Base&.
1796         * include/debug/forward_list (forward_list(_Base_ref)): New
1797         constructor.
1798         * include/debug/list (list(const _Base&)): Replace parameter
1799         with a struct that wraps a const _Base&.
1800         * include/debug/map.h (map(const _Base&)): Likewise.
1801         * include/debug/multimap.h (multimap(const _Base&)): Likewise.
1802         * include/debug/multiset.h (multiset(const _Base&)): Likewise.
1803         * include/debug/set.h (set(const _Base&)): Likewise.
1804         * include/debug/unordered_map (unordered_map(const _Base&))
1805         (unordered_multimap(const _Base&)): Likewise.
1806         * include/debug/unordered_set (unordered_set(const _Base&))
1807         (unordered_multiset(const _Base&)): Likewise.
1808         * testsuite/23_containers/vector/cons/destructible_debug_neg.cc:
1809         Adjust dg-error line number.
1810         * include/debug/vector (vector(const _Base&)): Likewise.
1811         * testsuite/23_containers/deque/debug/90102.cc: New test.
1812         * testsuite/23_containers/forward_list/debug/90102.cc: New test.
1813         * testsuite/23_containers/list/debug/90102.cc: New test.
1814         * testsuite/23_containers/map/debug/90102.cc: New test.
1815         * testsuite/23_containers/multimap/debug/90102.cc: New test.
1816         * testsuite/23_containers/multiset/debug/90102.cc: New test.
1817         * testsuite/23_containers/set/debug/90102.cc: New test.
1818         * testsuite/23_containers/unordered_map/debug/90102.cc: New test.
1819         * testsuite/23_containers/unordered_multimap/debug/90102.cc: New test.
1820         * testsuite/23_containers/unordered_multiset/debug/90102.cc: New test.
1821         * testsuite/23_containers/unordered_set/debug/90102.cc: New test.
1822         * testsuite/23_containers/vector/debug/90102.cc: New test.
1823
1824 2020-06-01  Jonathan Wakely  <jwakely@redhat.com>
1825
1826         PR libstdc++/95392
1827         * include/bits/fs_path.h (path::_S_to_string): Move to
1828         namespace-scope and rename to ...
1829         (__detail::__string_from_range): ... this.
1830         [WINDOWS] (__detail::__wstr_from_utf8): New function template to
1831         convert a char sequence containing UTF-8 to wstring.
1832         (path::_S_convert(Iter, Iter)): Adjust call to _S_to_string.
1833         (path::_S_convert_loc(Iter, Iter, const locale&)): Likewise.
1834         (u8path(InputIterator, InputIterator)) [WINDOWS]: Use
1835         __string_from_range to obtain a contiguous range and
1836         __wstr_from_utf8 to obtain a wide string.
1837         (u8path(const Source&)) [WINDOWS]: Use __effective_range to
1838         obtain a contiguous range and __wstr_from_utf8 to obtain a wide
1839         string.
1840         (path::_S_convert(const _EcharT*, const _EcharT)) [WINDOWS]:
1841         Use __wstr_from_utf8.
1842
1843 2020-06-01  Jonathan Wakely  <jwakely@redhat.com>
1844
1845         * testsuite/util/testsuite_iterators.h:
1846         (input_iterator_wrapper::operator++(int)): Return proxy object.
1847
1848 2020-06-01  Jonathan Wakely  <jwakely@redhat.com>
1849
1850         * doc/xml/manual/evolution.xml: Document deprecation of
1851         __is_nullptr_t and removal of std::allocator members.
1852         * doc/html/manual/api.html: Regenerate.
1853
1854 2020-06-01  Jonathan Wakely  <jwakely@redhat.com>
1855
1856         * doc/xml/manual/containers.xml: Replace <xref> with <link>.
1857         * doc/xml/manual/evolution.xml: Likewise.
1858         * doc/html/manual/api.html: Regenerate.
1859         * doc/html/manual/containers.html: Regenerate.
1860
1861 2020-06-01  Gerald Pfeifer  <gerald@pfeifer.com>
1862
1863         * doc/xml/faq.xml: Adjust Valgrind reference and remove another.
1864         * doc/html/faq.html: Regenerate.
1865
1866 2020-06-01  Gerald Pfeifer  <gerald@pfeifer.com>
1867
1868         * doc/xml/manual/policy_data_structures_biblio.xml: Remove
1869         stray change.
1870
1871 2020-06-01  Gerald Pfeifer  <gerald@pfeifer.com>
1872
1873         * doc/xml/manual/policy_data_structures_biblio.xml: Switch
1874         www.cs.princeton.edu to https.
1875         * doc/html/manual/policy_data_structures.html: Regenerate.
1876
1877 2020-05-31  Douglas B Rupp  <douglas.b.rupp@gmail.com>
1878
1879         * crossconfig.m4 (<*-vxworks>): Check for more math decls.
1880         * configure: Rebuild.
1881
1882 2020-05-29  H.J. Lu  <hjl.tools@gmail.com>
1883
1884         PR bootstrap/95413
1885         * configure: Regenerated.
1886
1887 2020-05-29  François Dumont  <fdumont@gcc.gnu.org>
1888
1889         PR libstdc++/95079
1890         * include/bits/hashtable_policy.h (_Insert_base<>::try_emplace): New.
1891         * include/bits/unordered_map.h (unordered_map<>::try_emplace): Adapt.
1892         (unordered_map<>::insert_or_assign): Adapt.
1893
1894 2020-05-27  Jonathan Wakely  <jwakely@redhat.com>
1895
1896         PR libstdc++/95282
1897         * include/bits/atomic_base.h (__atomic_impl::load): Add
1898         cv-qualifiers to parameter so that _Tp is deduced as the
1899         unqualified type.
1900         * testsuite/29_atomics/atomic_float/95282.cc: New test.
1901
1902 2020-05-27  Jonathan Wakely  <jwakely@redhat.com>
1903
1904         PR libstdc++/95322
1905         * include/std/ranges (transform_view::_Sentinel): Allow hidden
1906         friends to work with _Iterator<true> and _Iterator<false>.
1907         (join_view::_Sentinel): Likewise.
1908         * testsuite/std/ranges/adaptors/95322.cc: New test.
1909
1910 2020-05-27  Jonathan Wakely  <jwakely@redhat.com>
1911
1912         PR libstdc++/94354
1913         * include/bits/stl_iterator.h (reverse_iterator): Fix comparison
1914         operators to use the correct operations on the underlying
1915         iterators.
1916         * testsuite/24_iterators/reverse_iterator/rel_ops.cc: New test.
1917
1918 2020-05-27  Jonathan Wakely  <jwakely@redhat.com>
1919
1920         * testsuite/18_support/comparisons/categories/zero_neg.cc: New test.
1921
1922 2020-05-26  Patrick Palka  <ppalka@redhat.com>
1923
1924         PR libstdc++/95322
1925         * include/bits/stl_iterator.h (__detail::_Common_iter_proxy):
1926         Remove and instead define it ...
1927         (common_iterator::_Proxy): ... here.
1928         (common_iterator::operator->): Use it.
1929         * testsuite/24_iterators/common_iterator/2.cc: New test.
1930         * testsuite/std/ranges/adaptors/95322.cc: New test.
1931
1932 2020-05-23  Patrick Palka  <ppalka@redhat.com>
1933
1934         PR libstdc++/93978
1935         * testsuite/std/ranges/adaptors/93978.cc: Add -Wall to
1936         dg-additional-options.  Avoid unused-but-set-variable warning.
1937
1938 2020-05-23  Jonathan Wakely  <jwakely@redhat.com>
1939
1940         PR libstdc++/95289
1941         * include/debug/helper_functions.h (__get_distance): Only declare
1942         as a constexpr function for C++14 and up.
1943         * testsuite/25_algorithms/copy/debug/95289.cc: New test.
1944
1945         * include/bits/fs_path.h (__detail::_S_range_begin)
1946         (__detail::_S_range_end, path::_S_string_from_iter): Replace with
1947         overloaded function template __detail::__effective_range.
1948         (__detail::__effective_range): New overloaded function template to
1949         create a basic_string or basic_string_view for an effective range.
1950         (__detail::__value_type_is_char): Use __detail::__effective_range.
1951         Do not use remove_const on value type.
1952         (__detail::__value_type_is_char_or_char8_t): Likewise.
1953         (path::path(const Source&, format))
1954         (path::path(const Source&, const locale&))
1955         (path::operator/=(const Source&), path::append(const Source&))
1956         (path::concat(const Source&)): Use __detail::__effective_range.
1957         (path::_S_to_string(InputIterator, InputIterator)): New function
1958         template to create a string view if possible, or string otherwise.
1959         (path::_S_convert): Add overloads that convert a string returned
1960         by __detail::__effective_range. Use if-constexpr to inline conversion
1961         logic from all overloads of _Cvt::_S_convert.
1962         (path::_S_convert_loc): Add overload that converts a string. Use
1963         _S_to_string to avoid allocation when possible.
1964         (path::_Cvt): Remove.
1965         (path::operator+=(CharT)): Remove indirection through path::concat.
1966         * include/experimental/bits/fs_path.h (path::_S_convert_loc): Add
1967         overload for non-const pointers, to avoid constructing a std::string.
1968         * src/c++17/fs_path.cc (path::_S_convert_loc): Replace conditional
1969         compilation with call to _S_convert.
1970
1971         * include/bits/fs_path.h (__detail::_S_range_begin)
1972         (__detail::_S_range_end): Remove unintentional static specifiers.
1973         * include/experimental/bits/fs_path.h (__detail::_S_range_begin)
1974         (__detail::_S_range_end): Likewise.
1975
1976         * include/bits/fs_path.h (filesystem::__detail::__is_encoded_char):
1977         Replace alias template with variable template. Don't remove const.
1978         (filesystem::__detail::__is_path_src): Replace overloaded function
1979         template with variable template and specializations.
1980         (filesystem::__detail::__is_path_iter_src): Replace alias template
1981         with class template.
1982         (filesystem::__detail::_Path): Use __is_path_src. Remove support for
1983         iterator pairs.
1984         (filesystem::__detail::_Path2): New alias template for checking
1985         InputIterator requirements.
1986         (filesystem::__detail::__constructible_from): Remove.
1987         (filesystem::path): Replace _Path<Iter, Iter> with _Path2<Iter>.
1988         * testsuite/27_io/filesystem/path/construct/80762.cc: Check with two
1989         constructor arguments of void and void* types.
1990
1991 2020-05-21  Matthias Kretz  <kretz@kde.org>
1992
1993         * testsuite/Makefile.am: Remove dup target_triplet and set tool,
1994         allowing runtest to work without arguments.
1995         * testsuite/Makefile.in: Regenerate.
1996
1997 2020-05-21  Jonathan Wakely  <jwakely@redhat.com>
1998
1999         PR libstdc++/93983
2000         * include/bits/iterator_concepts.h (__detail::__cpp17_iterator):
2001         Reorder constraints to avoid recursion when constructors use
2002         iterator_traits (LWG 3420).
2003         * testsuite/24_iterators/customization_points/lwg3420.cc: New test.
2004
2005         * include/experimental/socket (basic_socket::is_open()
2006         (basic_socket_acceptor::is_open()): Use _GLIBCXX_NODISCARD macro.
2007
2008         * include/experimental/bits/net.h (__endpoint, __protocol)
2009         (__acceptable_protocol, __inet_protocol): New concepts.
2010         (__detail::__is_endpoint): Move trait from <experimental/socket>.
2011         (__is_protocol, __is_acceptable_protocol, __is_inet_protocol): New
2012         traits.
2013         (__endpoint, __protocol, __acceptable_protocol): New variable
2014         templates.
2015         * include/experimental/socket (__is_endpoint): Move to net.h header.
2016         (basic_socket, basic_socket_acceptor): Check requirements.
2017
2018         * include/experimental/executor (use_future_t::use_future_t()): Fix
2019         incorrect noexcept-specifier.
2020         * include/experimental/internet (basic_resolver_results): Adjust
2021         whitespace.
2022         * include/experimental/socket (__basic_socket_impl::release): Add
2023         member function.
2024         (basic_socket(io_context&, const endpoint_type&)): Fix argument to
2025         target constructor.
2026         (basic_socket::release(), basic_socket::release(error_code&)): Add
2027         missing member functions.
2028         (basic_socket::is_open()): Add nodiscard attribute.
2029         (basic_socket::close(error_code&)): Pass argument to base function.
2030         (basic_socket_acceptor::release())
2031         (basic_socket_acceptor::release(error_code&)): Add missing member
2032         functions.
2033         (basic_socket_acceptor::is_open()): Add nodiscard attribute.
2034         (basic_socket_streambuf::error()): Add noexcept.
2035         (basic_socket_iostream::error()): Likewise.
2036         * testsuite/experimental/net/socket/basic_socket.cc: New test.
2037
2038         * include/experimental/buffer: Replace typedefs with
2039         alias-declarations.
2040         * include/experimental/executor: Likewise.
2041         * include/experimental/internet: Likewise.
2042         * include/experimental/socket: Likewise.
2043         * include/experimental/timer: Likewise.
2044
2045 2020-05-19  Jonathan Wakely  <jwakely@redhat.com>
2046
2047         PR libstdc++/94087
2048         * src/c++11/random.cc (__x86_rdseed): Allow fallback function to be
2049         passed in.
2050         (__x86_rdseed_rdrand): New function that uses rdseed with rdrand
2051         fallback.
2052         (random_device::_M_init): Use __x86_rdseed_rdrand when both
2053         instructions are available.
2054         * testsuite/26_numerics/random/random_device/94087.cc: New test.
2055
2056 2020-05-19  Patrick Palka  <ppalka@redhat.com>
2057
2058         PR c++/66439
2059         * testsuite/20_util/pair/astuple/get_neg.cc: Prune "type/value
2060         mismatch" messages.
2061         * testsuite/20_util/tuple/element_access/get_neg.cc: Likewise.
2062
2063 2020-05-15  H.J. Lu  <hongjiu.lu@intel.com>
2064
2065         PR bootstrap/95147
2066         * configure: Regenerated.
2067
2068 2020-05-14  H.J. Lu  <hongjiu.lu@intel.com>
2069
2070         * configure: Regenerated.
2071
2072 2020-05-13  Alexandre Oliva <oliva@adacore.com>
2073
2074         PR libstdc++/77691
2075         * include/experimental/memory_resource
2076         (__resource_adaptor_imp::do_allocate): Handle max_align_t on
2077         x86-vxworks as on x86-solaris.
2078         (__resource_adaptor_imp::do_deallocate): Likewise.
2079         * testsuite/experimental/memory_resource/new_delete_resource.cc:
2080         Drop xfail.
2081         (BAD_MAX_ALIGN_T): Define on x86-vxworks as on x86-solaris.
2082         (test03): Drop max-align test for char-aligned alloc.
2083
2084 2020-05-08  Ulrich Drepper  <drepper@redhat.com>
2085
2086         * include/bits/atomic_base.h (atomic_flag): Implement test member
2087         function.
2088         * include/std/version: Define __cpp_lib_atomic_flag_test.
2089         * testsuite/29_atomics/atomic_flag/test/explicit.cc: New file.
2090         * testsuite/29_atomics/atomic_flag/test/implicit.cc: New file.
2091
2092 2020-05-07  Jonathan Wakely  <jwakely@redhat.com>
2093
2094         PR libstdc++/94971 (partial)
2095         * include/bits/ranges_algo.h (ranges::__sample_fn): Qualify
2096         std::sample using macro to work in parallel mode.
2097         (__sort_fn): Likewise for std::sort.
2098         (ranges::__nth_element_fn): Likewise for std::nth_element.
2099         * include/bits/stl_algobase.h (lexicographical_compare_three_way):
2100         Likewise for std::__min_cmp.
2101         * include/parallel/algobase.h (lexicographical_compare_three_way):
2102         Add to namespace std::__parallel.
2103
2104         PR c/92472
2105         * include/parallel/multiway_merge.h (_GuardedIterator::operator*)
2106         (_GuardedIterator::operator _RAIter, _UnguardedIterator::operator*)
2107         (_UnguardedIterator::operator _RAIter): Add const qualifier.
2108         (operator<(_GuardedIterator&, _GuardedIterator&)
2109         (operator<=(_GuardedIterator&, _GuardedIterator&)
2110         (operator<(_UnguardedIterator&, _UnguardedIterator&)
2111         (operator<=(_UnguardedIterator&, _UnguardedIterator&): Change
2112         parameters to const references.
2113
2114 2020-05-07  Eric Botcazou  <ebotcazou@adacore.com>
2115
2116         * config/abi/post/sparc64-linux-gnu/baseline_symbols.txt: Update.
2117         * config/abi/post/sparc64-linux-gnu/32/baseline_symbols.txt: Likewise.
2118
2119 2020-05-06  François Dumont  <fdumont@gcc.gnu.org>
2120
2121         * include/bits/stl_algobase.h (struct _Bit_iterator): New declaration.
2122         (std::__fill_a1(_Bit_iterator, _Bit_iterator, const bool&)): Likewise.
2123         * include/bits/stl_bvector.h (__fill_bvector): Move outside
2124         _GLIBCXX_STD_C namespace.
2125         (fill(_Bit_iterator, _Bit_iterator, const bool&)): Likewise and rename
2126         into...
2127         (__fill_a1): ...this.
2128         * testsuite/25_algorithms/fill/bvector/1.cc: New.
2129
2130 2020-05-06  H.J. Lu  <hongjiu.lu@intel.com>
2131
2132         * config/abi/post/x86_64-linux-gnu/x32/baseline_symbols.txt: Updated.
2133
2134 2020-05-06  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
2135
2136         * config/abi/post/i386-solaris/baseline_symbols.txt: Regenerate.
2137         * config/abi/post/i386-solaris/amd64/baseline_symbols.txt:
2138         Likewise.
2139         * config/abi/post/sparc-solaris/baseline_symbols.txt: Likewise.
2140         * config/abi/post/sparc-solaris/sparcv9/baseline_symbols.txt:
2141         Likewise.
2142
2143 2020-05-06  Martin Liska  <mliska@suse.cz>
2144
2145         Revert:
2146         2020-05-05  Martin Liska  <mliska@suse.cz>
2147         PR c/92472
2148         * include/parallel/multiway_merge.h:
2149         Use const for _Compare template argument.
2150
2151 2020-05-06  Jonathan Wakely  <jwakely@redhat.com>
2152
2153         * doc/xml/manual/abi.xml (abi.versioning.history): Document library
2154         versions for GCC 9.[123] and 10.1 releases.
2155         * doc/html/*: Regenerate.
2156
2157 2020-05-06  Jakub Jelinek  <jakub@redhat.com>
2158
2159         * config/abi/post/x86_64-linux-gnu/baseline_symbols.txt: Update.
2160         * config/abi/post/x86_64-linux-gnu/32/baseline_symbols.txt: Update.
2161         * config/abi/post/i386-linux-gnu/baseline_symbols.txt: Update.
2162         * config/abi/post/i486-linux-gnu/baseline_symbols.txt: Update.
2163         * config/abi/post/aarch64-linux-gnu/baseline_symbols.txt: Update.
2164         * config/abi/post/s390x-linux-gnu/baseline_symbols.txt: Update.
2165         * config/abi/post/powerpc64-linux-gnu/baseline_symbols.txt: Update.
2166
2167 2020-05-05  Martin Liska  <mliska@suse.cz>
2168
2169         PR c/92472
2170         * include/parallel/multiway_merge.h:
2171         Use const for _Compare template argument.
2172
2173 2020-05-04  Fangrui Song  <maskray@google.com>
2174
2175         * libsupc++/cxxabi.h (__cxa_finalize): Fix return type.
2176
2177 2020-05-04  Jonathan Wakely  <jwakely@redhat.com>
2178
2179         * doc/xml/faq.xml: Use working link for SGI STL FAQ.
2180         * doc/html/*: Regenerate.
2181
2182         PR libstdc++/94906
2183         * src/c++17/memory_resource.cc
2184         (monotonic_buffer_resource::_Chunk::release): Use size_t for shift
2185         operands.
2186
2187 2020-05-04  Nathan Sidwell  <nathan@acm.org>
2188
2189         PR libstdc++/94747
2190         * libsupc++/dyncast.cc (__dynamic_cast): Cast offsetof to
2191         ptrdiff_t before negation, to show intent more clearly.
2192
2193 2020-05-04  Jonathan Wakely  <jwakely@redhat.com>
2194
2195         PR libstdc++/94936
2196         * src/c++17/memory_resource.cc (synchronized_pool_resource::_TPools):
2197         Add comment about single-threaded behaviour.
2198         (synchronized_pool_resource::_TPools::move_nonempty_chunks()): Hoist
2199         class member access out of loop.
2200         (synchronized_pool_resource::synchronized_pool_resource())
2201         (synchronized_pool_resource::~synchronized_pool_resource())
2202         (synchronized_pool_resource::release()): Check __gthread_active_p
2203         before creating and/or deleting the thread-specific data key.
2204         (synchronized_pool_resource::_M_thread_specific_pools()): Adjust
2205         assertions.
2206         (synchronized_pool_resource::do_allocate(size_t, size_t)): Add fast
2207         path for single-threaded case.
2208         (synchronized_pool_resource::do_deallocate(void*, size_t, size_t)):
2209         Likewise. Return if unable to find a pool that owns the allocation.
2210         * testsuite/20_util/synchronized_pool_resource/allocate_single.cc:
2211         New test.
2212         * testsuite/20_util/synchronized_pool_resource/cons_single.cc: New
2213         test.
2214         * testsuite/20_util/synchronized_pool_resource/release_single.cc: New
2215         test.
2216
2217 2020-05-03  Jonathan Wakely  <jwakely@redhat.com>
2218
2219         PR libstdc++/94933
2220         * include/bits/stl_algobase.h (__fill_a1): Make overload for byte types
2221         usable in constant expressions.
2222         * testsuite/25_algorithms/fill_n/constexpr.cc: Test with bytes and
2223         non-scalars.
2224
2225 2020-05-01  Jonathan Wakely  <jwakely@redhat.com>
2226
2227         PR libstdc++/94901
2228         * testsuite/17_intro/badnames.cc: Test values between _E9 and _E24 too.
2229
2230 2020-05-01  Jonathan Wakely  <jwakely@redhat.com>
2231             Patrick Palka  <ppalka@redhat.com>
2232
2233         PR libstdc++/92894
2234         * include/bits/iterator_concepts.h (ranges::__cust_imove::_IMove):
2235         Add trait to determine return type and an alias for it.
2236         (ranges::__cust_imove::_IMove::operator()): Use __result instead of
2237         deduced return type.
2238         (iter_rvalue_reference_t): Use _IMove::__type instead of checking
2239         the result of ranges::iter_move.
2240         (__detail::__indirectly_readable_impl): Use iter_rvalue_reference_t
2241         instead of checking the result of ranges::iter_move.
2242         * testsuite/24_iterators/customization_points/92894.cc: New test.
2243         * testsuite/24_iterators/indirect_callable/92894.cc: New test.
2244
2245 2020-05-01  Jonathan Wakely  <jwakely@redhat.com>
2246
2247         PR libstdc++/94901
2248         * include/std/type_traits (__is_complete_or_unbounded): Replace
2249         BADNAME _T with _Tp.
2250         * testsuite/17_intro/badnames.cc: New test.
2251
2252 2020-04-30  Jonathan Wakely  <jwakely@redhat.com>
2253
2254         PR libstdc++/89510
2255         * include/bits/alloc_traits.h (allocator_traits::_S_construct)
2256         (allocator_traits::_S_destroy)
2257         (allocator_traits<allocator<T>>::construct): Use traits in
2258         noexcept-specifiers.
2259         * include/bits/allocator.h (allocator<void>::construct)
2260         (allocator<void>::destroy): Likewise.
2261         * include/ext/malloc_allocator.h (malloc_allocator::construct)
2262         (malloc_allocator::destroy): Likewise.
2263         * include/ext/new_allocator.h (new_allocator::construct)
2264         (new_allocator::destroy): Likewise.
2265         * testsuite/20_util/allocator/89510.cc: New test.
2266         * testsuite/ext/malloc_allocator/89510.cc: New test.
2267         * testsuite/ext/new_allocator/89510.cc: New test.
2268
2269 2020-04-29  Jonathan Wakely  <jwakely@redhat.com>
2270
2271         PR libstdc++/94854
2272         * include/bits/basic_string.tcc: Update comment about explicit
2273         instantiations.
2274
2275 2020-04-28  Jonathan Wakely  <jwakely@redhat.com>
2276
2277         PR libstdc++/91480
2278         * include/bits/allocator.h (__cpp_lib_allocator_is_always_equal):
2279         Remove non-standard macro.
2280         * include/bits/stl_iterator.h (__cpp_lib_constexpr_iterator): Define
2281         to indicate P1032R1 support.
2282         * include/bits/stl_pair.h (__cpp_lib_constexpr_utility): Likewise.
2283         * include/std/string_view (__cpp_lib_constexpr_string_view): Likewise.
2284         * include/std/tuple (__cpp_lib_constexpr_tuple): Likewise.
2285         * include/std/version (__cpp_lib_allocator_is_always_equal): Remove.
2286         (__cpp_lib_constexpr_iterator, __cpp_lib_constexpr_string_view)
2287         (__cpp_lib_constexpr_tuple, __cpp_lib_constexpr_utility): Define.
2288         * testsuite/20_util/function_objects/constexpr_searcher.cc: Check
2289         feature test macro.
2290         * testsuite/20_util/tuple/cons/constexpr_allocator_arg_t.cc: Likewise.
2291         * testsuite/21_strings/basic_string_view/operations/copy/char/
2292         constexpr.cc: Likewise.
2293         * testsuite/24_iterators/insert_iterator/constexpr.cc: Likewise.
2294
2295         PR libstdc++/94831
2296         * include/bits/alloc_traits.h (_S_construct): Restore placement
2297         new-expression for C++11/14/17 and call std::construct_at directly
2298         for C++20.
2299         * include/bits/stl_construct.h (_Construct): Revert to non-constexpr
2300         function returning void.
2301         * testsuite/20_util/specialized_algorithms/
2302         uninitialized_value_construct/94831.cc: New test.
2303         * testsuite/23_containers/vector/cons/94831.cc: New test.
2304
2305 2020-04-28  Patrick Palka  <ppalka@redhat.com>
2306
2307         LWG 3433 subrange::advance(n) has UB when n < 0
2308         * include/std/ranges (subrange::prev): Fix typo.
2309         (subrange::advance): Handle a negative argument as per the proposed
2310         resolution of LWG 3433.
2311         * testsuite/std/ranges/subrange/lwg3433.cc: New test.
2312
2313 2020-04-28  Jonathan Wakely  <jwakely@redhat.com>
2314             Iain Sandoe  <iain@sandoe.co.uk>
2315
2316         PR c++/94759
2317         * include/std/coroutine: Implement handing for non-
2318         class coroutine return types.
2319
2320 2020-04-24  Jonathan Wakely  <jwakely@redhat.com>
2321
2322         * include/experimental/executor (service_already_exists): Make default
2323         constructor public (LWG 3414).
2324         * testsuite/experimental/net/execution_context/make_service.cc: Check
2325         the service_already_exists can be default constructed.
2326
2327 2020-04-24  Kamlesh Kumar  <kamleshbhalui@gmail.com>
2328             Jonathan Wakely  <jwakely@redhat.com>
2329
2330         PR libstdc++/90415
2331         PR libstdc++/92156
2332         * include/std/any (any): Rename template parameters for consistency
2333         with the standard.
2334         (any::_Decay): Rename to _Decay_if_not_any.
2335         (any::any(T&&):: Remove is_constructible from constraints. Remove
2336         non-standard overload.
2337         (any::any(in_place_type_t<T>, Args&&...))
2338         (any::any(in_place_type_t<T>, initializer_list<U>, Args&&...))
2339         (any::emplace(Args&&...))
2340         (any::emplace(initializer_list<U>, Args&&...)):
2341         Use decay_t instead of _Decay.
2342         * testsuite/20_util/any/cons/90415.cc: New test.
2343         * testsuite/20_util/any/cons/92156.cc: New Test.
2344         * testsuite/20_util/any/misc/any_cast_neg.cc: Make dg-error directives
2345         more robust.
2346         * testsuite/20_util/any/modifiers/92156.cc: New test.
2347
2348 2020-04-23  Jonathan Wakely  <jwakely@redhat.com>
2349
2350         * doc/xml/manual/status_cxx2020.xml: Update C++20 status table.
2351         * doc/html/*: Regenerate.
2352
2353         * include/bits/stl_iterator.h (__cpp_lib_array_constexpr): Revert
2354         value for C++17 to 201803L because P0858R0 is supported for C++17.
2355         * include/std/version (__cpp_lib_array_constexpr): Likewise.
2356         * testsuite/23_containers/array/element_access/constexpr_c++17.cc:
2357         Check for value corresponding to P0031R0 features being tested.
2358         * testsuite/23_containers/array/requirements/constexpr_iter.cc:
2359         Check for value corresponding to P0858R0 features being tested.
2360
2361         * include/std/version (__cpp_lib_three_way_comparison): Define for
2362         freestanding builds.
2363
2364 2020-04-23  Thomas Rodgers  <rodgert@appliantology.com>
2365
2366         * include/experimental/net/executor (system_context): Mark
2367         system_context::system_context() = delete.
2368         * testsuite/experimental/net/executor/1.cc: Add new
2369         test to check system_context is not default constructible.
2370
2371 2020-04-23  Iain Sandoe  <iain@sandoe.co.uk>
2372
2373         * include/std/coroutine: Update the inline namespace to __n4861.
2374         Add the __cpp_lib_coroutine define, set to 201902L.
2375         * include/std/version: Add __cpp_lib_coroutine, set to 201902L.
2376
2377 2020-04-22  Jonathan Wakely  <jwakely@redhat.com>
2378
2379         * include/std/execution (__cpp_lib_execution): Define to indicate
2380         support for P0024R2 and P1001R2.
2381         * include/std/version (__cpp_lib_execution): Define.
2382         * testsuite/25_algorithms/pstl/feature_test.cc: Only test macro
2383         defined by <algorithm>, move other tests to new tests ...
2384         * testsuite/25_algorithms/pstl/feature_test-2.cc: New test.
2385         * testsuite/25_algorithms/pstl/feature_test-3.cc: New test.
2386         * testsuite/25_algorithms/pstl/feature_test-4.cc: New test.
2387         * testsuite/25_algorithms/pstl/feature_test-5.cc: New test.
2388
2389         * include/bits/stl_iterator.h (__cpp_lib_array_constexpr): Define
2390         different values for C++17 and C++20, to indicate different feature
2391         sets. Update value for C++20 to indicate P1032R1 support.
2392         * include/std/version (__cpp_lib_array_constexpr): Likewise.
2393         * testsuite/23_containers/array/comparison_operators/constexpr.cc:
2394         Check feature test macro.
2395         * testsuite/23_containers/array/element_access/constexpr_c++17.cc:
2396         New test.
2397         * testsuite/23_containers/array/requirements/constexpr_fill.cc: Check
2398         feature test macro.
2399         * testsuite/23_containers/array/requirements/constexpr_iter.cc: Test
2400         in C++17 mode and check feature test macro.
2401
2402         * include/std/utility (__cpp_lib_constexpr_algorithms): Do not define
2403         here.
2404         * testsuite/20_util/exchange/constexpr.cc: Do not expect macro to be
2405         defined by <utility>.
2406
2407         * include/std/functional (__cpp_lib_concepts): Update macro value to
2408         indicate P1964R2 support.
2409         * include/std/version (__cpp_lib_concepts): Likewise.
2410         * testsuite/std/concepts/1.cc: Adjust expected value.
2411         * testsuite/std/concepts/2.cc: Likewise.
2412
2413         * include/std/functional (__cpp_lib_constexpr_invoke): Rename to
2414         __cpp_lib_constexpr_functional.
2415         * include/std/version (__cpp_lib_constexpr_invoke): Likewise.
2416         * testsuite/20_util/function_objects/invoke/constexpr.cc: Adjust.
2417
2418         * include/bits/ptr_traits.h (__cpp_lib_constexpr_memory): Define to
2419         indicate P1006R1 support.
2420         (__cpp_lib_to_address): Define to indicate P0653R2 support.
2421         * include/bits/range_access.h (__cpp_lib_ssize): Define to indicate
2422         P1227R2 support.
2423         * include/bits/ranges_algo.h (__cpp_lib_shift): Define to indicate
2424         P0769R2 support.
2425         * include/std/atomic (__cpp_lib_atomic_float): Define to indicate
2426         P0020R6 support.
2427         * include/std/memory (__cpp_lib_assume_aligned): Define to indicate
2428         P1007R3 support.
2429         * include/std/memory_resource (__cpp_lib_polymorphic_allocator):
2430         Define to indicate P0339R6 support.
2431         * include/std/string_view (__cpp_lib_starts_ends_with): Define to
2432         indicate P0457R2 support.
2433         * include/std/type_traits (__cpp_lib_is_nothrow_convertible): Define
2434         to indicate P0758R1 support.
2435         (__cpp_lib_remove_cvref): Define to indicate P0550R2 support.
2436         (__cpp_lib_type_identity): Define to indicate P0887R1 support.
2437         * include/std/version (__cpp_lib_atomic_float)
2438         (__cpp_lib_is_nothrow_convertible, __cpp_lib_remove_cvref)
2439         (__cpp_lib_type_identity, __cpp_lib_assume_aligned)
2440         (__cpp_lib_constexpr_memory, __cpp_lib_polymorphic_allocator)
2441         (__cpp_lib_shift, __cpp_lib_ssize, __cpp_lib_starts_ends_with)
2442         (__cpp_lib_to_address): Define.
2443         * testsuite/20_util/to_address/1_neg.cc: Adjust dg-error line number.
2444
2445         * include/bits/stl_map.h (__cpp_lib_map_insertion): Remove old
2446         macro.
2447         * include/bits/unordered_map.h (__cpp_lib_unordered_map_insertion):
2448         Likewise.
2449         * include/std/version (__cpp_lib_map_insertion)
2450         (__cpp_lib_unordered_map_insertion): Remove.
2451
2452         * include/std/condition_variable (__cpp_lib_jthread): Remove
2453         redundant definition.
2454         * include/std/stop_token (__cpp_lib_jthread): Update macro value to
2455         indicate P1869R1 support.
2456         * include/std/version (__cpp_lib_jthread): Update value.
2457         * testsuite/30_threads/condition_variable_any/stop_token/1.cc: Check
2458         for updated macro value.
2459         * testsuite/30_threads/condition_variable_any/stop_token/2.cc:
2460         Likewise.
2461         * testsuite/30_threads/jthread/1.cc: Likewise.
2462         * testsuite/30_threads/jthread/2.cc: Likewise.
2463         * testsuite/30_threads/stop_token/1.cc: Likewise.
2464         * testsuite/30_threads/stop_token/2.cc: Likewise.
2465
2466         * testsuite/21_strings/basic_string/erasure.cc: Check for
2467         __cpp_lib_erase_if macro.
2468         * testsuite/23_containers/deque/erasure.cc: Add header name to #error
2469         messages.
2470         * testsuite/23_containers/forward_list/erasure.cc: Likewise.
2471         * testsuite/23_containers/list/erasure.cc: Likewise.
2472         * testsuite/23_containers/map/erasure.cc: Likewise.
2473         * testsuite/23_containers/set/erasure.cc: Likewise.
2474         * testsuite/23_containers/unordered_map/erasure.cc: Likewise.
2475         * testsuite/23_containers/unordered_set/erasure.cc: Likewise.
2476         * testsuite/23_containers/vector/erasure.cc: Likewise.
2477
2478 2020-04-21  Jonathan Wakely  <jwakely@redhat.com>
2479
2480         * include/bits/stl_iterator.h (__normal_iterator): Use synth-three-way
2481         to define operator<=>.
2482         * testsuite/24_iterators/normal_iterator/cmp_c++20.cc: New test.
2483
2484         * doc/Makefile.am (xml_sources_manual): Add missing XML files.
2485         * doc/Makefile.in: Regenerate.
2486         * doc/xml/manual/status_cxx1998.xml: Refer to "this section" instead
2487         of "this page".
2488         * doc/xml/manual/status_cxx2011.xml: Formatting and other corrections
2489         to the C++11 status table.
2490         * doc/xml/manual/status_cxx2014.xml: Replace list of C++14 feature
2491         proposals with table matching contents of the C++14 standard.
2492         * doc/xml/manual/status_cxx2017.xml: Add table matching contents of
2493         the C++17 standard.
2494         * doc/html/*: Regenerate.
2495
2496         PR c++/94149
2497         * include/std/type_traits (__is_nt_constructible_impl): Add partial
2498         specializations for bounded arrays with non-empty initializers.
2499         * testsuite/20_util/is_nothrow_constructible/value_c++20.cc: New test.
2500
2501 2020-04-20  Thomas Rodgers  <trodgers@redhat.com>
2502
2503         * testsuite/lib/libstdc++.exp: Add additional_flags=
2504         -DTBB_SUPRESS_DEPRECATED_MESSAGES=1 to suppress warnings when
2505         compiling with a newer Thread Building Blocks.
2506
2507 2020-04-20  Jonathan Wakely  <jwakely@redhat.com>
2508
2509         * testsuite/24_iterators/istreambuf_iterator/sentinel.cc: New test.
2510
2511         * testsuite/20_util/is_constructible/51185.cc: Make test class a
2512         non-aggregate so that the test verifies the same thing in all -std
2513         modes.
2514         * testsuite/20_util/is_constructible/value-2.cc: Adjust expected
2515         results for some types when paren-init for aggregates is supported.
2516
2517         * include/std/version (__cpp_lib_three_way_comparison): Update value.
2518         * libsupc++/compare (__cpp_lib_three_way_comparison): Likewise.
2519         (__detail::__synth3way): Add noexcept-specifier.
2520
2521         * include/bits/stl_map.h (map): Define operator<=> and remove
2522         operator< for C++20.
2523         * include/bits/stl_multimap.h (multimap): Likewise.
2524         * include/bits/stl_multiset.h (multiset): Likewise.
2525         * include/bits/stl_set.h (set): Likewise.
2526         * include/bits/stl_tree.h (_Rb_tree): Likewise.
2527         (_Rb_tree_iterator, _Rb_tree_const_iterator): Remove redundant
2528         operator!= for C++20.
2529         * include/debug/map.h (__gnu_debug::map): Define operator<=> for C++20.
2530         * include/debug/multimap.h (__gnu_debug::multimap): Likewise.
2531         * include/debug/multiset.h (__gnu_debug::multiset): Likewise.
2532         * include/debug/set.h (__gnu_debug::set): Likewise.
2533         * testsuite/23_containers/map/operators/cmp_c++20.cc: New test.
2534         * testsuite/23_containers/multimap/operators/cmp_c++20.cc: New test.
2535         * testsuite/23_containers/multiset/operators/cmp_c++20.cc: New test.
2536         * testsuite/23_containers/set/operators/cmp_c++20.cc: New test.
2537
2538 2020-04-20  Matthias Kretz  <kretz@kde.org>
2539
2540         * testsuite/lib/libstdc++.exp: Avoid illegal argument to verbose.
2541
2542 2020-04-19  Jonathan Wakely  <jwakely@redhat.com>
2543
2544         * include/bits/stl_queue.h (queue): Define operator<=> for C++20.
2545         * include/bits/stl_stack.h (stack): Likewise.
2546         * testsuite/23_containers/queue/cmp_c++20.cc: New test.
2547         * testsuite/23_containers/stack/cmp_c++20.cc: New test.
2548
2549         * include/bits/unordered_map.h (unordered_map, unordered_multimap):
2550         Remove redundant operator!= for C++20.
2551         * include/bits/unordered_set.h (unordered_set, unordered_multiset):
2552         Likewise.
2553         * include/debug/unordered_map (unordered_map, unordered_multimap):
2554         Likewise.
2555         * include/debug/unordered_set (unordered_set, unordered_multiset):
2556         Likewise.
2557
2558         PR other/94629
2559         * include/debug/formatter.h (_Error_formatter::_Parameter): Fix
2560         redundant assignment in constructor.
2561
2562 2020-04-18  Jonathan Wakely  <jwakely@redhat.com>
2563
2564         * include/std/chrono (duration, time_point): Define operator<=> and
2565         remove redundant operator!= for C++20.
2566         * testsuite/20_util/duration/comparison_operators/three_way.cc: New
2567         test.
2568         * testsuite/20_util/time_point/comparison_operators/three_way.cc: New
2569         test.
2570
2571         * testsuite/util/native_type/native_priority_queue.hpp: Use
2572         allocator_traits to rebind allocator.
2573
2574 2020-04-17  Jonathan Wakely  <jwakely@redhat.com>
2575
2576         * include/bits/forward_list.h (forward_list): Define operator<=> and
2577         remove redundant comparison operators for C++20.
2578         * include/bits/stl_bvector.h (vector<bool, Alloc>): Likewise.
2579         * include/bits/stl_deque.h (deque): Likewise.
2580         * include/bits/stl_iterator.h (__normal_iterator): Likewise.
2581         * include/bits/stl_list.h (list): Likewise.
2582         * include/bits/stl_vector.h (vector): Likewise.
2583         * include/debug/deque (__gnu_debug::deque): Likewise.
2584         * include/debug/forward_list (__gnu_debug::forward_list): Likewise.
2585         * include/debug/list (__gnu_debug::list): Likewise.
2586         * include/debug/safe_iterator.h (__gnu_debug::_Safe_iterator):
2587         Likewise.
2588         * include/debug/vector (__gnu_debug::vector): Likewise.
2589         * include/ext/pointer.h (__gnu_cxx::_Pointer_adapter): Define
2590         operator<=> for C++20.
2591         * testsuite/23_containers/deque/operators/cmp_c++20.cc: New test.
2592         * testsuite/23_containers/forward_list/cmp_c++20.cc: New test.
2593         * testsuite/23_containers/list/cmp_c++20.cc: New test.
2594         * testsuite/23_containers/vector/bool/cmp_c++20.cc: New test.
2595         * testsuite/23_containers/vector/cmp_c++20.cc: New test.
2596
2597         * include/bits/basic_string.h (basic_string): Define operator<=> and
2598         remove redundant comparison operators for C++20.
2599         * include/bits/char_traits.h (__gnu_cxx::char_traits, char_traits):
2600         Add comparison_category members.
2601         (__detail::__char_traits_cmp_cat): New helper to get comparison
2602         category from char traits class.
2603         * include/bits/regex.h (regex_traits::_RegexMask::operator!=): Do not
2604         define for C++20.
2605         (sub_match): Define operator<=> and remove redundant comparison
2606         operators for C++20.
2607         (match_results): Remove redundant operator!= for C++20.
2608         * include/std/string_view (basic_string_view): Define operator<=> and
2609         remove redundant comparison operators for C++20.
2610         * testsuite/21_strings/basic_string/operators/char/cmp_c++20.cc: New
2611         test.
2612         * testsuite/21_strings/basic_string/operators/wchar_t/cmp_c++20.cc:
2613         New test.
2614         * testsuite/21_strings/basic_string_view/operations/copy/char/
2615         constexpr.cc: Initialize variable.
2616         * testsuite/21_strings/basic_string_view/operations/copy/wchar_t/
2617         constexpr.cc: Likewise.
2618         * testsuite/21_strings/basic_string_view/operators/char/2.cc: Add
2619         dg-do directive and remove comments showing incorrect signatures.
2620         * testsuite/21_strings/basic_string_view/operators/wchar_t/2.cc:
2621         Likewise.
2622         * testsuite/21_strings/basic_string_view/operators/char/cmp_c++20.cc:
2623         New test.
2624         * testsuite/21_strings/basic_string_view/operators/wchar_t/cmp_c++20.cc:
2625         New test.
2626         * testsuite/28_regex/sub_match/compare_c++20.cc: New test.
2627
2628 2020-04-16  Jonathan Wakely  <jwakely@redhat.com>
2629
2630         * testsuite/20_util/unsynchronized_pool_resource/allocate.cc: Remove
2631         name of unused parameter.
2632
2633 2020-04-15  Jonathan Wakely  <jwakely@redhat.com>
2634
2635         * include/bits/fs_dir.h (file_status): Define operator== for C++20.
2636         (directory_entry): Define operator<=> and remove redundant comparison
2637         operators for C++20.
2638         * include/bits/fs_fwd.h (space_info): Define operator== for C++20.
2639         * include/bits/fs_path.h (path): Define operator<=> and remove
2640         redundant comparison operators for C++20.
2641         * testsuite/27_io/filesystem/path/compare/compare.cc: Fix comment.
2642         * testsuite/27_io/filesystem/path/compare/lwg2936.cc: Likewise.
2643         * testsuite/27_io/filesystem/path/compare/path.cc: Likewise.
2644         * testsuite/27_io/filesystem/path/compare/strings.cc: Likewise.
2645
2646         * include/bits/allocator.h (operator!=): Do not define for C++20.
2647         * include/bits/locale_classes.h (operator!=): Likewise.
2648         * include/bits/std_function.h (operator==(nullptr_t, const function&))
2649         (operator!=(const function&, nullptr_t))
2650         (operator!=(nullptr_t, const function&)): Likewise.
2651         * include/ext/bitmap_allocator.h (operator!=): Likewise.
2652         * include/ext/debug_allocator.h (operator!=): Likewise.
2653         * include/ext/extptr_allocator.h (operator!=): Likewise.
2654         * include/ext/malloc_allocator.h (operator!=): Likewise.
2655         * include/ext/mt_allocator.h (operator!=): Likewise.
2656         * include/ext/new_allocator.h (operator!=): Likewise.
2657         * include/ext/pool_allocator.h (operator!=): Likewise.
2658         * include/ext/throw_allocator.h (operator!=): Likewise.
2659         * include/std/bitset (bitset::operator!=): Likewise.
2660         * include/std/memory_resource (operator!=): Likewise.
2661         * include/std/scoped_allocator (operator!=): Likewise.
2662
2663         * include/std/typeindex (operator<=>): Define for C++20.
2664         * testsuite/20_util/typeindex/comparison_operators_c++20.cc: New test.
2665
2666 2020-04-14  Jonathan Wakely  <jwakely@redhat.com>
2667
2668         * libsupc++/compare (compare_three_way): Fix constraint so that
2669         BUILTIN-PTR-THREE-WAY does not require three_way_comparable_with.
2670         * testsuite/18_support/comparisons/object/builtin-ptr-three-way.cc:
2671         New test.
2672
2673         PR libstdc++/94562
2674         * include/bits/shared_ptr.h (operator<=>): Define for C++20.
2675         * include/bits/shared_ptr_base.h (operator<=>): Likewise.
2676         * include/bits/unique_ptr.h (operator<=>): Add inline specifier.
2677         * testsuite/20_util/shared_ptr/comparison/cmp_c++20.cc: New test.
2678         * testsuite/20_util/shared_ptr/comparison/less.cc: Do not expect
2679         std::less<A*> to be used when comparing std::shared_ptr<A> objects in
2680         C++20.
2681
2682         PR libstdc++/94565
2683         * libsupc++/compare (__unspec): Add noexcept-specifier to constructor.
2684         * testsuite/18_support/comparisons/categories/94565.cc: New test.
2685
2686 2020-04-13  Iain Sandoe  <iain@sandoe.co.uk>
2687
2688         * include/std/coroutine: Update coroutines builtin define,
2689         per n4861.
2690
2691 2020-04-09  Jonathan Wakely  <jwakely@redhat.com>
2692
2693         * libsupc++/compare (compare_three_way): Fix noexcept-specifier.
2694         (strong_order, weak_order, partial_order): Replace uses of <=> with
2695         compare_three_way function object (LWG 3324).
2696         * testsuite/18_support/comparisons/algorithms/partial_order.cc: Add
2697         equality operator so that X satisfies three_way_comparable.
2698         * testsuite/18_support/comparisons/algorithms/strong_order.cc:
2699         Likewise.
2700         * testsuite/18_support/comparisons/algorithms/weak_order.cc: Likewise.
2701
2702         * include/bits/unique_ptr.h (operator<=>): Define for C++20.
2703         * testsuite/20_util/default_delete/48631_neg.cc: Adjust dg-error line.
2704         * testsuite/20_util/default_delete/void_neg.cc: Likewise.
2705         * testsuite/20_util/unique_ptr/comparison/compare.cc: New test.
2706         * testsuite/20_util/unique_ptr/comparison/compare_c++20.cc: New test.
2707
2708 2020-04-08  Jonathan Wakely  <jwakely@redhat.com>
2709
2710         * include/bits/slice_array.h (operator==(const slice&, const slice&)):
2711         Define for C++20.
2712         * include/std/complex (operator==(const T&, const complex<T>&))
2713         (operator!=(const complex<T>&, const complex<T>&))
2714         (operator!=(const complex<T>&, const T&))
2715         (operator!=(const T&, const complex<T>&)): Do not declare for C++20.
2716         * testsuite/26_numerics/slice/compare.cc: New test.
2717
2718         * include/std/charconv (to_chars_result, from_chars_result): Add
2719         defaulted equality comparisons for C++20.
2720         * testsuite/20_util/from_chars/compare.cc: New test.
2721         * testsuite/20_util/to_chars/compare.cc: New test.
2722
2723 2020-04-07  Jonathan Wakely  <jwakely@redhat.com>
2724
2725         PR libstdc++/94520
2726         * include/std/charconv (__integer_to_chars_result_type)
2727         (__integer_from_chars_result_type): Use __or_ instead of __or_v_ to
2728         allow use in C++14.
2729         * testsuite/20_util/from_chars/1.cc: Run test as C++14 and replace
2730         use of std::string_view with std::string.
2731         * testsuite/20_util/from_chars/2.cc: Likewise.
2732         * testsuite/20_util/to_chars/1.cc: Likewise.
2733         * testsuite/20_util/to_chars/2.cc: Likewise.
2734
2735 2020-04-06  Jonathan Wakely  <jwakely@redhat.com>
2736
2737         PR libstdc++/94498
2738         * include/bits/char_traits.h (__gnu_cxx::char_traits::move): Make it
2739         usable in constant expressions for C++20.
2740         (__gnu_cxx::char_traits::copy, __gnu_cxx::char_traits::assign): Add
2741         _GLIBCXX20_CONSTEXPR.
2742         (std::char_traits<char>, std::char_traits<wchar_t>)
2743         (std::char_traits<char8_t>): Make move, copy and assign usable in
2744         constant expressions for C++20.
2745         (std::char_traits<char16_t>, std::char_traits<char32_t>): Make move
2746         and copy usable in constant expressions for C++20.
2747         * include/std/string_view (basic_string_view::copy): Add
2748         _GLIBCXX20_CONSTEXPR.
2749         * testsuite/21_strings/basic_string_view/operations/copy/char/
2750         constexpr.cc: New test.
2751         * testsuite/21_strings/basic_string_view/operations/copy/wchar_t/
2752         constexpr.cc: New test.
2753
2754 2020-04-05  Gerald Pfeifer  <gerald@pfeifer.com>
2755
2756         * doc/xml/manual/appendix_contributing.xml: Refer to Git
2757         documentation instead of Subversion.  Switch to https.
2758         * doc/html/manual/appendix_contributing.html: Regenerate.
2759
2760 2020-04-03  Jonathan Wakely  <jwakely@redhat.com>
2761
2762         PR libstdc++/93960
2763         * include/bits/ptr_traits.h (__to_address): Add special case for debug
2764         iterators, to avoid dereferenceable check.
2765         * testsuite/20_util/to_address/1_neg.cc: Adjust dg-error line number.
2766         * testsuite/20_util/to_address/debug.cc: New test.
2767
2768 2020-04-01  Andrea Corallo  <andrea.corallo@arm.com>
2769
2770         * testsuite/experimental/net/execution_context/use_service.cc:
2771         Require pthread and gthreads.
2772
2773 2020-04-01  Gerald Pfeifer  <gerald@pfeifer.com>
2774
2775         * doc/xml/manual/appendix_free.xml: Move "free books" list from
2776         fsf.org to gnu.org.
2777         * doc/html/manual/appendix_free.html: Regenerate.
2778
2779 2020-03-31  Ville Voutilainen  <ville.voutilainen@gmail.com>
2780
2781         Library-side tests for parenthesized aggregate init
2782
2783         PR c++/92878
2784         PR c++/92947
2785
2786         * testsuite/20_util/allocator_traits/members/92878_92947.cc: New.
2787         * testsuite/20_util/any/assign/92878_92947.cc: Likewise.
2788         * testsuite/20_util/any/cons/92878_92947.cc: Likewise.
2789         * testsuite/20_util/is_constructible/92878_92947.cc: Likewise.
2790         * testsuite/20_util/optional/assignment/92878_92947.cc: Likewise.
2791         * testsuite/20_util/optional/cons/92878_92947.cc: Likewise.
2792         * testsuite/20_util/pair/cons/92878_92947.cc: Likewise.
2793         * testsuite/20_util/shared_ptr/creation/92878_92947.cc: Likewise.
2794         * testsuite/20_util/specialized_algorithms/construct_at/92878_92947.cc:
2795         Likewise.
2796         * testsuite/20_util/unique_ptr/creation/92878_92947.cc: Likewise.
2797         * testsuite/20_util/uses_allocator/92878_92947.cc: Likewise.
2798         * testsuite/20_util/variant/92878_92947.cc: Likewise.
2799         * testsuite/23_containers/deque/modifiers/emplace/92878_92947.cc:
2800         Likewise.
2801         * testsuite/23_containers/forward_list/modifiers/92878_92947.cc:
2802         Likewise.
2803         * testsuite/23_containers/list/modifiers/emplace/92878_92947.cc:
2804         Likewise.
2805         * testsuite/23_containers/map/modifiers/emplace/92878_92947.cc:
2806         Likewise.
2807         * testsuite/23_containers/multimap/modifiers/emplace/92878_92947.cc:
2808         Likewise.
2809         * testsuite/23_containers/multiset/modifiers/emplace/92878_92947.cc:
2810         Likewise.
2811         * testsuite/23_containers/priority_queue/92878_92947.cc: Likewise.
2812         * testsuite/23_containers/queue/92878_92947.cc: Likewise.
2813         * testsuite/23_containers/set/modifiers/emplace/92878_92947.cc:
2814         Likewise.
2815         * testsuite/23_containers/stack/92878_92947.cc: Likewise.
2816         * testsuite/23_containers/unordered_map/modifiers/92878_92947.cc:
2817         Likewise.
2818         * testsuite/23_containers/unordered_multimap/modifiers/92878_92947.cc:
2819         Likewise.
2820         * testsuite/23_containers/unordered_multiset/modifiers/92878_92947.cc:
2821         Likewise.
2822         * testsuite/23_containers/unordered_set/modifiers/92878_92947.cc:
2823         Likewise.
2824         * testsuite/23_containers/vector/modifiers/emplace/92878_92947.cc:
2825         Likewise.
2826
2827 2020-03-28  Jonathan Wakely  <jwakely@redhat.com>
2828
2829         * testsuite/20_util/is_constructible/value-2.cc: Fix test to account
2830         for changes due to parenthesized aggregate-initialization in C++20.
2831         * testsuite/20_util/time_point/cons/81468.cc: Fix test to not clash
2832         with std::chrono::sys_time in C++20.
2833
2834         * include/bits/stl_iterator.h (reverse_iterator): Use requires-clause
2835         to constrain C++20 versions of comparison operators. Fix backwards
2836         logic of relational operators.
2837         (move_iterator): Use requires-clause to constrain comparison operators
2838         in C++20. Do not declare non-standard same-type overloads for C++20.
2839         * testsuite/24_iterators/move_iterator/rel_ops_c++20.cc: Check result
2840         of comparisons and check using greedy_ops type.
2841         * testsuite/24_iterators/reverse_iterator/rel_ops_c++20.cc: Likewise.
2842         * testsuite/24_iterators/move_iterator/greedy_ops.cc: Remove redundant
2843         main function from compile-only test.
2844         * testsuite/24_iterators/reverse_iterator/greedy_ops.cc: Likewise.
2845
2846 2020-03-27  Jonathan Wakely  <jwakely@redhat.com>
2847
2848         * include/bits/range_cmp.h (__cpp_lib_ranges): Define.
2849         * include/bits/stl_iterator.h: Check value of __cpp_concepts so that
2850         C++20 concepts are required.
2851         * include/bits/stl_iterator_base_types.h: Likewise.
2852         * include/std/concepts: Likewise.
2853         * include/std/version: Likewise.
2854         * testsuite/std/ranges/headers/ranges/synopsis.cc: Check feature test
2855         macro.
2856
2857         * include/bits/stl_iterator.h (reverse_iterator::iterator_concept)
2858         (reverse_iterator::iterator_category): Define for C++20.
2859         (reverse_iterator): Define comparison operators correctly for C++20.
2860         (__normal_iterator): Add constraints to comparison operators for C++20.
2861         (move_iterator::operator++(int)) [__cpp_lib_concepts]: Define new
2862         overload for input iterators.
2863         (move_iterator): Add constraints to comparison operators for C++20.
2864         Define operator<=> for C++20.
2865         * testsuite/24_iterators/move_iterator/input_iterator.cc: New test.
2866         * testsuite/24_iterators/move_iterator/move_only.cc: New test.
2867         * testsuite/24_iterators/move_iterator/rel_ops_c++20.cc: New test.
2868         * testsuite/24_iterators/reverse_iterator/rel_ops_c++20.cc: New test.
2869
2870         * include/bits/iterator_concepts.h (__detail::__decay_copy)
2871         (__detail::__member_begin, __detail::__adl_begin): Move here from
2872         <bits/range_access.h>.
2873         (__detail::__ranges_begin, __detail::__range_iter_t): Define.
2874         * bits/range_access.h (__cust_access::__decay_copy)
2875         (__cust_access::__member_begin, __cust_access::__adl_begin): Move to
2876         <bits/iterator_concepts.h>.
2877         (ranges::iterator_t): Use __detail::__range_iter_t.
2878         * include/bits/stl_iterator.h (back_insert_iterator): Simplify
2879         conditional compilation. Add _GLIBCXX20_CONSTEXPR to all members.
2880         (front_insert_iterator): Likewise.
2881         (insert_iterator): Implement changes from P0896R4 for C++20.
2882         * testsuite/24_iterators/back_insert_iterator/constexpr.cc: New test.
2883         * testsuite/24_iterators/front_insert_iterator/constexpr.cc: New test.
2884         * testsuite/24_iterators/headers/iterator/synopsis_c++17.cc: Adjust
2885         for inclusion in synopsis_c++20.cc which expects different signatures
2886         for some function templates.
2887         * testsuite/24_iterators/insert_iterator/constexpr.cc: New test.
2888
2889         * include/std/type_traits (__is_array_convertible): Move definition
2890         to immediately after is_convertible.
2891
2892 2020-03-26  Jonathan Wakely  <jwakely@redhat.com>
2893
2894         * include/std/chrono (chrono::days, chrono::weeks, chrono::years)
2895         (chrono::months, chrono::sys_days, chrono::local_t)
2896         (chrono::local_time, chrono::local_seconds, chrono::local_days):
2897         Define for C++20.
2898         (chrono::time_point): Add missing static assert.
2899         * testsuite/20_util/time_point/requirements/duration_neg.cc: New test.
2900         * testsuite/std/time/clock/file/overview.cc: New test.
2901         * testsuite/std/time/clock/file/members.cc: New test.
2902         * testsuite/std/time/syn_c++20.cc: New test.
2903
2904 2020-03-25  Mike Crowe  <mac@mcrowe.com>
2905
2906         * testsuite/30_threads/shared_timed_mutex/try_lock_until/1.cc: New
2907         test.
2908         * testsuite/30_threads/shared_timed_mutex/try_lock_until/2.cc: New
2909         test.
2910
2911 2020-03-25  Jonathan Wakely  <jwakely@redhat.com>
2912
2913         * include/bits/fs_fwd.h (filesystem::__file_clock): Move to ...
2914         * include/std/chrono (filesystem::__file_clock): Here.
2915         (filesystem::__file_clock::from_sys, filesystem::__file_clock::to_sys):
2916         Define public member functions for C++20.
2917         (is_clock, is_clock_v): Define traits for C++20.
2918         * include/std/condition_variable (condition_variable::wait_until): Add
2919         check for valid clock.
2920         * include/std/future (_State_baseV2::wait_until): Likewise.
2921         * include/std/mutex (__timed_mutex_impl::_M_try_lock_until): Likewise.
2922         * include/std/shared_mutex (shared_timed_mutex::try_lock_shared_until):
2923         Likewise.
2924         * include/std/thread (this_thread::sleep_until): Likewise.
2925         * testsuite/30_threads/condition_variable/members/2.cc: Qualify
2926         slow_clock with new namespace.
2927         * testsuite/30_threads/condition_variable/members/clock_neg.cc: New
2928         test.
2929         * testsuite/30_threads/condition_variable_any/members/clock_neg.cc:
2930         New test.
2931         * testsuite/30_threads/future/members/clock_neg.cc: New test.
2932         * testsuite/30_threads/recursive_timed_mutex/try_lock_until/3.cc:
2933         Qualify slow_clock with new namespace.
2934         * testsuite/30_threads/recursive_timed_mutex/try_lock_until/
2935         clock_neg.cc: New test.
2936         * testsuite/30_threads/shared_future/members/clock_neg.cc: New
2937         test.
2938         * testsuite/30_threads/shared_lock/locking/clock_neg.cc: New test.
2939         * testsuite/30_threads/shared_timed_mutex/try_lock_until/clock_neg.cc:
2940         New test.
2941         * testsuite/30_threads/timed_mutex/try_lock_until/3.cc: Qualify
2942         slow_clock with new namespace.
2943         * testsuite/30_threads/timed_mutex/try_lock_until/4.cc: Likewise.
2944         * testsuite/30_threads/timed_mutex/try_lock_until/clock_neg.cc: New
2945         test.
2946         * testsuite/30_threads/unique_lock/locking/clock_neg.cc: New test.
2947         * testsuite/std/time/traits/is_clock.cc: New test.
2948         * testsuite/util/slow_clock.h (slow_clock): Move to __gnu_test
2949         namespace.
2950
2951 2020-03-21  Jonathan Wakely  <jwakely@redhat.com>
2952
2953         PR libstdc++/93245
2954         * include/experimental/bits/fs_path.h (path::generic_string<C,T,A>()):
2955         * testsuite/experimental/filesystem/path/generic/generic_string.cc:
2956         Improve test coverage.
2957
2958         PR libstdc++/94242
2959         * include/bits/fs_path.h (path::_S_str_convert): Replace first
2960         parameter with basic_string_view so that strings with different
2961         allocators can be accepted.
2962         (path::generic_string<C,T,A>()): Use basic_string object that uses the
2963         right allocator type.
2964         * testsuite/27_io/filesystem/path/generic/94242.cc: New test.
2965         * testsuite/27_io/filesystem/path/generic/generic_string.cc: Improve
2966         test coverage.
2967
2968 2020-03-18  Jonathan Wakely  <jwakely@redhat.com>
2969
2970         PR libstdc++/94033
2971         * include/std/type_traits (__is_nt_default_constructible_atom): Remove.
2972         (__is_nt_default_constructible_impl): Remove.
2973         (__is_nothrow_default_constructible_impl): Remove.
2974         (__is_nt_constructible_impl): Add bool template parameter. Adjust
2975         partial specializations.
2976         (__is_nothrow_constructible_impl): Replace class template with alias
2977         template.
2978         (is_nothrow_default_constructible): Derive from alias template
2979         __is_nothrow_constructible_impl instead of
2980         __is_nothrow_default_constructible_impl.
2981         * testsuite/20_util/is_nothrow_constructible/94003.cc: New test.
2982
2983         * include/std/stop_token (stop_token::_Stop_state_ref): Define
2984         comparison operators explicitly if the compiler won't synthesize them.
2985
2986         * include/bits/stl_algobase.h (__lexicographical_compare_aux): Check
2987         __cpp_lib_concepts before using iter_reference_t.
2988         * include/bits/stream_iterator.h (istream_iterator): Check
2989         __cpp_lib_concepts before using default_sentinel_t.
2990         * include/bits/streambuf_iterator.h (istreambuf_iterator): Likewise.
2991
2992         PR libstdc++/94203
2993         * include/experimental/executor (executor::executor(Executor)): Call
2994         make_shared directly instead of _M_create. Create _Tgt1 object.
2995         (executor::executor(allocator_arg_t, const ProtoAlloc&, Executor)):
2996         Call allocate_shared directly instead of _M_create. Create _Tgt2
2997         object.
2998         (executor::target_type): Add cast needed for new _Tgt interface.
2999         (executor::target): Define when RTTI is disabled. Use _Tgt::_M_func.
3000         (executor::_Tgt): Define the same interface whether RTTI is enabled or
3001         not.
3002         (executor::_Tgt::target_type, executor::_Tgt::target): Do not use
3003         std::type_info in the interface.
3004         (executor::_Tgt::_M_func): Add data member.
3005         (executor::_TgtImpl): Replace with _Tgt1 and _Tgt2 class templates.
3006         (executor::_Tgt1::_S_func): Define function to access target without
3007         depending on RTTI.
3008         (executor::_M_create): Remove.
3009         (operator==, operator!=): Simplify comparisons for executor.
3010         * include/experimental/socket (is_error_code_enum<socket_errc>):
3011         Define specialization before use.
3012         * testsuite/experimental/net/executor/1.cc: New test.
3013
3014 2020-03-16  Jonathan Wakely  <jwakely@redhat.com>
3015
3016         PR libstdc++/94199
3017         * include/experimental/executor (service_already_exists): Add default
3018         constructor. Declare make_service to be a friend.
3019         * testsuite/experimental/net/execution_context/make_service.cc: New
3020         test.
3021
3022 2020-03-12  Jonathan Wakely  <jwakely@redhat.com>
3023
3024         * testsuite/tr1/8_c_compatibility/cstdlib/functions.cc: Do not pass
3025         a null pointer to functions with nonnull(1) attribute.
3026
3027 2020-03-11  Patrick Palka  <ppalka@redhat.com>
3028
3029         * include/std/ranges (split_view::_OuterIter::_OuterIter): Typo fix,
3030         'address' -> 'std::__addressof'.
3031         * testsuite/std/ranges/adaptors/split.cc: Test taking the split_view of
3032         a non-forward input_range.
3033         * testsuite/util/testsuite_iterators.h (output_iterator_wrapper): Make
3034         default constructor protected instead of deleted, like with
3035         input_iterator_wrapper.
3036         (test_range::iterator): Add comment explaining that this type is used
3037         only when the underlying wrapper is input_iterator_wrapper or
3038         output_iterator_wrapper.  Remove delegating defaulted constructor so
3039         that the inherited default constructor is used instead.
3040
3041         LWG 3286 ranges::size is not required to be valid after a call to
3042         ranges::begin on an input range
3043         * include/std/ranges (subrange::subrange): Split single-argument
3044         constructor into two, one constrained by _S_store_size and another by
3045         !_S_store_size.
3046         (take_view::begin): Call size() before calling ranges::begin(_M_base).
3047         * testsuite/std/ranges/adaptors/lwg3286.cc: New test.
3048         * testsuite/std/ranges/subrange/lwg3286.cc: New test.
3049
3050 2020-03-10  Jonathan Wakely  <jwakely@redhat.com>
3051
3052         * include/std/ranges (split_view::_OuterIter::__at_end): Use __current
3053         instead of _M_current.
3054         (split_view::_OuterIter::operator++): Likewise.
3055
3056         * include/std/ranges (transform_view::_Iterator::__iter_move): Remove.
3057         (transform_view::_Iterator::operator*): Add noexcept-specifier.
3058         (transform_view::_Iterator::iter_move): Inline __iter_move body here.
3059         (split_view::_OuterIter::__current): Add noexcept.
3060         (split_view::_InnerIter::__iter_swap): Remove.
3061         (split_view::_InnerIter::__iter_move): Remove.
3062         (split_view::_InnerIter::_M_i_current): New accessors.
3063         (split_view::_InnerIter::__at_end): Use _M_i_current().
3064         (split_view::_InnerIter::operator*): Likewise.
3065         (split_view::_InnerIter::operator++): Likewise.
3066         (iter_move(const _InnerIter&)): Likewise.
3067         (iter_swap(const _InnerIter&, const _InnerIter&)): Likewise.
3068         * testsuite/std/ranges/adaptors/split.cc: Check noexcept-specifier
3069         for iter_move and iter_swap on split_view's inner iterator.
3070
3071         PR c++/94117
3072         * include/std/ranges (ranges::transform_view::_Iterator::iter_move):
3073         Change expression in noexcept-specifier to match function body.
3074
3075         * testsuite/23_containers/unordered_set/allocator/ext_ptr.cc: Add
3076         comment explaining multiple dg-do directives.
3077         * testsuite/24_iterators/ostream_iterator/1.cc: Fix do-do directive
3078         so test is run as well as compiled.
3079
3080 2020-03-09  Jonathan Wakely  <jwakely@redhat.com>
3081
3082         PR libstdc++/94063
3083         * src/c++17/fs_path.cc (path::operator+=(const path&)): Add kluge to
3084         handle concatenations that change the type of the first component.
3085         (path::operator+=(basic_string_view<value_type>)): Likewise.
3086         * testsuite/27_io/filesystem/path/concat/94063.cc: New test.
3087
3088 2020-03-06  Patrick Palka  <ppalka@redhat.com>
3089
3090         * include/std/ranges (join_view::_Sentinel<_Const>): Befriend
3091         join_view::_Sentinel<!_Const>.
3092         * testsuite/std/ranges/adaptors/join.cc: Augment test.
3093
3094         PR libstdc++/93978
3095         * include/bits/range_access.h (__cust_access::_Empty::operator()):
3096         Declare return type to be bool instead of auto.
3097         * testsuite/std/ranges/adaptors/93978.cc: New test.
3098
3099 2020-03-06  Jonathan Wakely  <jwakely@redhat.com>
3100
3101         PR libstdc++/94069
3102         * include/std/shared_mutex [!PTHREAD_RWLOCK_INITIALIZER]
3103         (__shared_mutex_pthread::__shared_mutex_pthread()): Remove incorrect
3104         second argument to __glibcxx_rwlock_init.
3105         * testsuite/30_threads/shared_timed_mutex/94069.cc: New test.
3106
3107         PR libstdc++/93244
3108         * testsuite/27_io/filesystem/path/generic/generic_string.cc: Adjust
3109         test to not fail due to PR 94063.
3110         * testsuite/27_io/filesystem/path/generic/utf.cc: Likewise.
3111         * testsuite/27_io/filesystem/path/generic/wchar_t.cc: Likewise.
3112
3113 2020-03-06  Andreas Krebbel  <krebbel@linux.ibm.com>
3114
3115         * src/c++11/system_error.cc: Omit the ENOTSUP case statement if it
3116         would match ENOSYS.
3117
3118 2020-03-05  Jonathan Wakely  <jwakely@redhat.com>
3119
3120         * testsuite/27_io/filesystem/operations/all.cc: Mark unused variable.
3121         * testsuite/27_io/filesystem/operations/copy.cc: Fix typo.
3122         * testsuite/experimental/filesystem/operations/copy.cc: Likewise.
3123         * testsuite/27_io/filesystem/operations/file_size.cc: Use correct type
3124         for return value, and in comparison.
3125         * testsuite/experimental/filesystem/operations/file_size.cc: Likewise.
3126
3127         PR libstdc++/94051
3128         * include/std/string_view: Include <bits/ostream_insert.h>.
3129         * testsuite/21_strings/basic_string_view/inserters/94051.cc: New test.
3130
3131 2020-03-04  Jonathan Wakely  <jwakely@redhat.com>
3132
3133         * include/bits/cpp_type_traits.h (__memcpyable): Fix comment.
3134
3135 2020-03-04  Patrick Palka  <ppalka@redhat.com>
3136
3137         PR libstdc++/94017
3138         * include/bits/ranges_algobase.h (__fill_n_fn::operator()): Refine
3139         condition for when to use memset, making sure to additionally check that
3140         the output pointer's value type is a non-volatile byte type.  Instead of
3141         requiring that the fill type is a byte type, just require that it's an
3142         integral type.
3143         * testsuite/20_util/specialized_algorithms/uninitialized_fill/94017.cc:
3144         New test.
3145         * testsuite/20_util/specialized_algorithms/uninitialized_fill_n/94017.cc:
3146         New test.
3147         * testsuite/25_algorithms/fill/94013.cc: Uncomment part of test that was
3148         blocked by PR 94017.
3149         * testsuite/25_algorithms/fill/94017.cc: New test.
3150         * testsuite/25_algorithms/fill_n/94017.cc: New test.
3151
3152         LWG 3355 The memory algorithms should support move-only input iterators
3153         introduced by P1207
3154         * include/bits/ranges_uninitialized.h
3155         (__uninitialized_copy_fn::operator()): Use std::move to avoid attempting
3156         to copy __ifirst, which could be a move-only input iterator.  Use
3157         operator- instead of ranges::distance to compute distance from a sized
3158         sentinel.
3159         (__uninitialized_copy_n_fn::operator()): Likewise.
3160         (__uninitialized_move_fn::operator()): Likewise.
3161         (__uninitialized_move_n_fn::operator()): Likewise.
3162         (__uninitialized_destroy_fn::operator()): Use std::move to avoid
3163         attempting to copy __first.
3164         (__uninitialized_destroy_n_fn::operator()): Likewise.
3165         * testsuite/20_util/specialized_algorithms/destroy/constrained.cc:
3166         Augment test.
3167         * .../specialized_algorithms/uninitialized_copy/constrained.cc:
3168         Likewise.
3169         * .../specialized_algorithms/uninitialized_move/constrained.cc:
3170         Likewise.
3171
3172         * testsuite/util/testsuite_iterators.h (test_range::get_iterator): Make
3173         protected instead of private.
3174         (test_sized_range_sized_sent): New.
3175
3176         * testsuite/util/testsuite_iterators.h (input_iterator_wrapper_nocopy):
3177         New testsuite iterator.
3178         * testsuite/24_iterators/counted_iterator/lwg3389.cc: use it.
3179         * testsuite/24_iterators/move_iterator/lwg3390.cc: Likewise.
3180
3181         * include/bits/ranges_uninitialized.h
3182         (uninitialized_copy_fn::operator()): Pass a reference type as the first
3183         argument to is_nothrow_assignable_v.
3184         (uninitialized_copy_fn::operator()): Likewise.
3185         (uninitialized_move_fn::operator()): Likewise.  Return an in_out_result
3186         with the input iterator stripped of its move_iterator.
3187         (uninitialized_move_n_fn::operator()): Likewise.
3188         (uninitialized_fill_fn::operator()): Pass a reference type as the first
3189         argument to is_nothrow_assignable_v.
3190         (uninitialized_fill_n_fn::operator()): Likewise.
3191
3192 2020-03-03  Jonathan Wakely  <jwakely@redhat.com>
3193
3194         PR libstdc++/94013
3195         * include/bits/cpp_type_traits.h (__memcpyable, __memcmpable): New
3196         traits to control when to use memmove and memcmp optimizations.
3197         (__is_nonvolatile_trivially_copyable): New helper trait.
3198         * include/bits/ranges_algo.h (__lexicographical_compare_fn): Do not
3199         use memcmp optimization with volatile data.
3200         * include/bits/ranges_algobase.h (__equal_fn): Use __memcmpable.
3201         (__copy_or_move, __copy_or_move_backward): Use __memcpyable.
3202         * include/bits/stl_algobase.h (__copy_move_a2): Use __memcpyable.
3203         (__copy_move_backward_a2): Likewise.
3204         (__equal_aux1): Use __memcmpable.
3205         (__lexicographical_compare_aux): Do not use memcmp optimization with
3206         volatile data.
3207         * testsuite/25_algorithms/copy/94013.cc: New test.
3208         * testsuite/25_algorithms/copy_backward/94013.cc: New test.
3209         * testsuite/25_algorithms/equal/94013.cc: New test.
3210         * testsuite/25_algorithms/fill/94013.cc: New test.
3211         * testsuite/25_algorithms/lexicographical_compare/94013.cc: New test.
3212         * testsuite/25_algorithms/move/94013.cc: New test.
3213         * testsuite/25_algorithms/move_backward/94013.cc: New test.
3214
3215         * include/bits/stl_algobase.h (lexicographical_compare_three_way):
3216         Avoid redundant iterator comparisons (LWG 3410).
3217
3218 2020-03-02  Jonathan Wakely  <jwakely@redhat.com>
3219
3220         PR libstdc++/93972
3221         * include/bits/stl_algobase.h (__memcmp): Allow pointer types to
3222         differ.
3223         * testsuite/25_algorithms/lexicographical_compare/uchar.cc: New test.
3224
3225         * include/std/ranges (__detail::__maybe_empty_t): Rename to
3226         __maybe_present_t.
3227         (__adaptor::_RangeAdaptor, join_view, split_view): Use new name.
3228
3229         * include/bits/ranges_algo.h (shift_right): Add 'typename' to
3230         dependent type.
3231
3232 2020-03-01  H.J. Lu  <hongjiu.lu@intel.com>
3233
3234         * config/abi/post/x86_64-linux-gnu/x32/baseline_symbols.txt: Updated.
3235
3236 2020-02-29  John David Anglin  <danglin@gcc.gnu.org>
3237
3238         * testsuite/17_intro/headers/c++1998/charset.cc: Skip on *-*-hpux*.
3239         * testsuite/17_intro/headers/c++2011/charset.cc: Likewise.
3240         * testsuite/17_intro/headers/c++2014/charset.cc: Likewise.
3241         * testsuite/17_intro/headers/c++2017/charset.cc: Likewise.
3242         * testsuite/17_intro/headers/c++2020/charset.cc: Likewise.
3243
3244         * testsuite/30_threads/condition_variable_any/stop_token/wait_on.cc:
3245         Add libatomic option.
3246         * testsuite/30_threads/jthread/jthread.cc: Likewise.
3247
3248 2020-02-29  François Dumont  <fdumont@gcc.gnu.org>
3249
3250         * include/bits/stl_algo.h
3251         (__find_if, __count_if, __is_permutation, std::is_permutation): Move...
3252         * include/bits/stl_algobase.h: ...here.
3253         * include/bits/hashtable_policy.h: Remove <bits/stl_algo.h> include.
3254
3255 2020-02-29  John David Anglin  <danglin@gcc.gnu.org>
3256
3257         * testsuite/30_threads/stop_token/stop_callback.cc: Add libatomic
3258         option.
3259         * testsuite/30_threads/stop_token/stop_callback/deadlock-mt.cc:
3260         Likewise.
3261         * testsuite/30_threads/stop_token/stop_callback/deadlock.cc: Likewise.
3262         * testsuite/30_threads/stop_token/stop_callback/destroy.cc: Likewise.
3263         * testsuite/30_threads/stop_token/stop_callback/invoke.cc: Likewise.
3264         * testsuite/30_threads/stop_token/stop_source.cc: Likewise.
3265         * testsuite/30_threads/stop_token/stop_source/assign.cc: Likewise.
3266         * testsuite/30_threads/stop_token/stop_token.cc: Likewise.
3267         * testsuite/30_threads/stop_token/stop_token/stop_possible.cc:
3268         Likewise.
3269
3270         PR libstdc++/92906
3271         * config/abi/post/hppa-linux-gnu/baseline_symbols.txt: Update.
3272
3273 2020-02-28  Patrick Palka  <ppalka@redhat.com>
3274
3275         PR libstdc++/93972
3276         * include/bits/ranges_algo.h (__lexicographical_compare_fn::operator()):
3277         Fix condition for when to use memcmp, making it consistent with the
3278         corresponding condition used in std::lexicographical_compare.
3279         * testsuite/25_algorithms/lexicographical_compare/93972.cc: New test.
3280
3281         * testsuite/26_numerics/headers/numeric/synopsis.cc: Add signatures for
3282         functions introduced in C++11, C++17 and C++2a.  Add 'constexpr' to
3283         existing signatures for C++2a.
3284
3285 2020-02-28  Jonathan Wakely  <jwakely@redhat.com>
3286
3287         * testsuite/24_iterators/range_operations/advance_debug_neg.cc: Run
3288         test instead of just compiling it.
3289
3290 2020-02-28  Patrick Palka  <ppalka@redhat.com>
3291
3292         * include/std/ranges (reverse_view::_S_needs_cached_begin): Set to false
3293         whenever the underlying range models common_range.
3294
3295         * include/std/ranges (__detail::_CachedPosition): New struct.
3296         (views::filter_view::_S_needs_cached_begin): New member variable.
3297         (views::filter_view::_M_cached_begin): New member variable.
3298         (views::filter_view::begin): Use _M_cached_begin to cache its
3299         result.
3300         (views::drop_view::_S_needs_cached_begin): New static member variable.
3301         (views::drop_view::_M_cached_begin): New member variable.
3302         (views::drop_view::begin): Use _M_cached_begin to cache its result
3303         when _S_needs_cached_begin.
3304         (views::drop_while_view::_M_cached_begin): New member variable.
3305         (views::drop_while_view::begin): Use _M_cached_begin to cache its
3306         result.
3307         (views::reverse_view::_S_needs_cached_begin): New static member
3308         variable.
3309         (views::reverse_view::_M_cached_begin): New member variable.
3310         (views::reverse_view::begin): Use _M_cached_begin to cache its result
3311         when _S_needs_cached_begin.
3312         * testsuite/std/ranges/adaptors/drop.cc: Augment test to check that
3313         drop_view::begin caches its result.
3314         * testsuite/std/ranges/adaptors/drop_while.cc: Augment test to check
3315         that drop_while_view::begin caches its result.
3316         * testsuite/std/ranges/adaptors/filter.cc: Augment test to check that
3317         filter_view::begin caches its result.
3318         * testsuite/std/ranges/adaptors/reverse.cc: Augment test to check that
3319         reverse_view::begin caches its result.
3320
3321 2020-02-28  Jonathan Wakely  <jwakely@redhat.com>
3322
3323         * testsuite/27_io/filesystem/operations/last_write_time.cc: Fixes for
3324         filesystems that silently truncate timestamps.
3325         * testsuite/experimental/filesystem/operations/last_write_time.cc:
3326         Likewise.
3327
3328         * testsuite/21_strings/basic_string/cons/char/1.cc: Disable
3329         -Wstringop-overflow warnings.
3330
3331 2020-02-27  Jonathan Wakely  <jwakely@redhat.com>
3332
3333         * testsuite/lib/libstdc++.exp (v3_target_compile): Add
3334         -fdiagnostics-urls=never to options.
3335
3336 2020-02-27  Patrick Palka  <ppalka@redhat.com>
3337
3338         * include/std/ranges (transform_view::_Iterator<_Const>): Befriend
3339         _Iterator<!_Const>.
3340         (transform_view::_Sentinel<_Const>): Befriend _Sentinel<!_Const>.
3341         (take_view::_Sentinel<_Const>): Likewise.
3342         (take_while_view::_Sentinel<_Const>): Likewise.
3343         (split_view::_OuterIter<_Const>): Befriend _OuterIter<!_Const>.
3344         * testsuite/std/ranges/adaptors/split.cc: Augment test.
3345         * testsuite/std/ranges/adaptors/take.cc: Augment test.
3346         * testsuite/std/ranges/adaptors/take_while.cc: Augment test.
3347         * testsuite/std/ranges/adaptors/transform.cc: Augment test.
3348
3349         * testsuite/25_algorithms/copy/constrained.cc: Don't assume that the
3350         base() of a vector<>::iterator is a pointer.
3351         * testsuite/25_algorithms/copy_backward/constrained.cc: Likewise.
3352         * testsuite/25_algorithms/move/constrained.cc: Likewise.
3353         * testsuite/25_algorithms/move_backward/constrained.cc: Likewise.
3354         * testsuite/25_algorithms/inplace_merge/constrained.cc: Use foo.data()
3355         instead of &foo[0].
3356         * testsuite/25_algorithms/partial_sort/constrained.cc: Likewise.
3357         * testsuite/25_algorithms/partial_sort_copy/constrained.cc: Likewise.
3358         * testsuite/25_algorithms/shuffle/constrained.cc: Likewise.
3359         * testsuite/25_algorithms/sort/constrained.cc: Likewise.
3360         * testsuite/25_algorithms/stable_sort/constrained.cc: Likewise.
3361
3362 2020-02-27  Jonathan Wakely  <jwakely@redhat.com>
3363
3364         * include/debug/array (operator<=>): Define for C++20.
3365         * testsuite/23_containers/array/tuple_interface/get_debug_neg.cc:
3366         Adjust dg-error line numbers.
3367         * testsuite/23_containers/array/tuple_interface/
3368         tuple_element_debug_neg.cc: Likewise.
3369
3370         * testsuite/23_containers/span/back_assert_neg.cc: Add #undef before
3371         defining _GLIBCXX_ASSERTIONS.
3372         * testsuite/23_containers/span/first_2_assert_neg.cc: Likewise.
3373         * testsuite/23_containers/span/first_assert_neg.cc: Likewise.
3374         * testsuite/23_containers/span/front_assert_neg.cc: Likewise.
3375         * testsuite/23_containers/span/index_op_assert_neg.cc: Likewise.
3376         * testsuite/23_containers/span/last_2_assert_neg.cc: Likewise.
3377         * testsuite/23_containers/span/last_assert_neg.cc: Likewise.
3378         * testsuite/23_containers/span/subspan_2_assert_neg.cc: Likewise.
3379         * testsuite/23_containers/span/subspan_3_assert_neg.cc: Likewise.
3380         * testsuite/23_containers/span/subspan_4_assert_neg.cc: Likewise.
3381         * testsuite/23_containers/span/subspan_5_assert_neg.cc: Likewise.
3382         * testsuite/23_containers/span/subspan_6_assert_neg.cc: Likewise.
3383         * testsuite/23_containers/span/subspan_assert_neg.cc: Likewise.
3384
3385         * include/debug/string (__gnu_debug::basic_string::insert): Fix for
3386         C++98 where the member function of the base class returns void.
3387
3388         * testsuite/util/testsuite_iterators.h (forward_iterator_wrapper): Add
3389         equality comparisons that support value-initialized iterators.
3390
3391         * include/bits/boost_concept_check.h (__function_requires): Add
3392         _GLIBCXX14_CONSTEXPR.
3393         * testsuite/25_algorithms/min/concept_checks.cc: New test.
3394
3395 2020-02-26  Patrick Palka  <ppalka@redhat.com>
3396
3397         PR libstdc++/93936
3398         * include/std/ranges (split_view::_InnerIter::operator==): Compare
3399         the operands' _M_i rather than their _M_i.current().
3400         * testsuite/std/ranges/adaptors/split.cc: Augment test.
3401
3402         P1645R1 constexpr for <numeric> algorithms
3403         * include/bits/stl_numeric.h (iota, accumulate, inner_product,
3404         partial_sum, adjacent_difference): Make conditionally constexpr for
3405         C++20.
3406         * include/std/numeric (__cpp_lib_constexpr_numeric): Define this feature
3407         test macro.
3408         (reduce, transform_reduce, exclusive_scan, inclusive_scan,
3409         transform_exclusive_scan, transform_inclusive_scan): Make conditionally
3410         constexpr for C++20.
3411         * include/std/version (__cpp_lib_constexpr_numeric): Define.
3412         * testsuite/26_numerics/accumulate/constexpr.cc: New test.
3413         * testsuite/26_numerics/adjacent_difference/constexpr.cc: Likewise.
3414         * testsuite/26_numerics/exclusive_scan/constexpr.cc: Likewise.
3415         * testsuite/26_numerics/inclusive_scan/constexpr.cc: Likewise.
3416         * testsuite/26_numerics/inner_product/constexpr.cc: Likewise.
3417         * testsuite/26_numerics/iota/constexpr.cc: Likewise.
3418         * testsuite/26_numerics/partial_sum/constexpr.cc: Likewise.
3419         * testsuite/26_numerics/reduce/constexpr.cc: Likewise.
3420         * testsuite/26_numerics/transform_exclusive_scan/constexpr.cc: Likewise.
3421         * testsuite/26_numerics/transform_inclusive_scan/constexpr.cc: Likewise.
3422         * testsuite/26_numerics/transform_reduce/constexpr.cc: Likewise.
3423
3424 2020-02-26  Jonathan Wakely  <jwakely@redhat.com>
3425
3426         * include/bits/ranges_algo.h (__lexicographical_compare_fn): Declare
3427         variables in smaller scope and avoid calling ranges::distance when we
3428         know they are pointers. Remove statically-unreachable use of
3429         __builtin_unreachable().
3430         * include/bits/stl_algobase.h (__lexicographical_compare::__lc):
3431         Define inline.
3432
3433         * include/std/ranges (__detail::__maybe_empty_t): Define new helper
3434         alias.
3435         (__detail::__maybe_const_t): Likewise.
3436         (__adaptor::_RangeAdaptor): Use __maybe_empty_t.
3437         (transform_view, take_view, take_while_view, elements_view): Use
3438         __maybe_const_t.
3439         (join_view, split_view): Use both.
3440
3441 2020-02-25  Patrick Palka  <ppalka@redhat.com>
3442
3443         LWG 3397 basic_istream_view::iterator should not provide
3444         iterator_category
3445         * include/std/ranges (basic_istream_view:_Iterator::iterator_category):
3446         Rename to ...
3447         (basic_istream_view:_Iterator::iterator_concept): ... this.
3448         * testsuite/std/ranges/istream_view.cc: Augment test.
3449
3450         LWG 3325 Constrain return type of transformation function for
3451         transform_view
3452         * include/std/ranges (transform_view): Constrain the return type of the
3453         transformation function as per LWG 3325.
3454         * testsuite/std/ranges/adaptors/lwg3325_neg.cc: New test.
3455
3456         LWG 3313 join_view::_Iterator::operator-- is incorrectly constrained
3457         * include/std/ranges (join_view::_Iterator::operator--): Require that
3458         range_reference_t<_Base> models common_range.
3459         * testsuite/std/ranges/adaptors/lwg3313_neg.cc: New test.
3460
3461         LWG 3301 transform_view::_Iterator has incorrect iterator_category
3462         * include/std/ranges (transform_view::_Iterator::_S_iter_cat): Adjust
3463         determination of iterator_category as per LWG 3301.
3464         * testsuite/std/ranges/adaptors/transform.cc: Augment test.
3465
3466         LWG 3292 iota_view is under-constrained
3467         * include/std/ranges (iota_view): Require that _Winc models semiregular
3468           as per LWG 3292.
3469         * testsuite/std/ranges/iota/lwg3292_neg.cc: New test.
3470
3471 2020-02-25  Jonathan Wakely  <jwakely@redhat.com>
3472
3473         * include/bits/ranges_algobase.h (__copy_or_move): Do not use memmove
3474         during constant evaluation. Call __builtin_memmove directly instead of
3475         __memmove.
3476         (__copy_or_move_backward): Likewise.
3477         * include/bits/stl_algobase.h (__memmove): Remove.
3478         (__copy_move<M, true, random_access_iterator_tag>::__copy_m)
3479         (__copy_move_backward<M, true, random_access_iterator_tag>::__copy_m):
3480         Use __builtin_memmove directly instead of __memmove.
3481         (__copy_move_a2): Do not use memmove during constant evaluation.
3482         (__copy_move_backward_a2): Use _IsMove constant to select correct
3483         __copy_move_backward specialization.
3484         * testsuite/25_algorithms/copy_backward/constexpr.cc: Check for copies
3485         begin turned into moves during constant evaluation.
3486
3487         * testsuite/25_algorithms/move_backward/93872.cc: Add test left out of
3488         previous commit.
3489
3490         PR libstdc++/93872
3491         * include/bits/stl_algobase.h (__memmove): Cast away const before
3492         doing move assignment.
3493         * testsuite/25_algorithms/move/93872.cc: New test.
3494         * testsuite/25_algorithms/move_backward/93872.cc: New test.
3495
3496 2020-02-24  Patrick Palka  <ppalka@redhat.com>
3497
3498         PR libstdc++/93884
3499         * include/bits/ranges_algobase.h (__copy_or_move,
3500         __copy_or_move_backward): Don't inspect the iter_value_t of the output
3501         iterator, instead inspect its iterator_traits directly.
3502         * include/bits/stl_iterator.h (back_insert_iterator::container):
3503         Conditionally initialize.
3504         (back_insert_iterator::difference_type): Conditionally define.
3505         (back_insert_iterator::back_insert_iterator): Conditionally define this
3506         default constructor.
3507         (front_insert_iterator::container): Conditionally initialize.
3508         (front_insert_iterator::difference_type): Conditionally define.
3509         (front_insert_iterator::front_insert_iterator): Conditionally define
3510         this default constructor.
3511         * 24_iterators/back_insert_iterator/pr93884.cc: New test.
3512         * 24_iterators/front_insert_iterator/pr93884.cc: New test.
3513
3514         P0769R2 Add shift to <algorithm>
3515         * include/bits/ranges_algo.h (shift_left, shift_right): New.
3516         * testsuite/25_algorithms/shift_left/1.cc: New test.
3517         * testsuite/25_algorithms/shift_right/1.cc: New test.
3518
3519 2020-02-24  Jonathan Wakely  <jwakely@redhat.com>
3520
3521         * include/bits/stream_iterator.h (istream_iterator(default_sentinel_t)):
3522         Make noexcept-specifier conditional.
3523         * testsuite/24_iterators/istream_iterator/cons/sentinel.cc: Check
3524         noexcept-specifier.
3525
3526         * include/bits/stream_iterator.h (istream_iterator(default_sentinel_t)):
3527         Add constructor.
3528         (operator==(istream_iterator, default_sentinel_t)): Add operator.
3529         (ostream_iterator::difference_type): Define to ptrdiff_t for C++20.
3530         * include/bits/streambuf_iterator.h
3531         (istreambuf_iterator(default_sentinel_t)): Add constructor.
3532         (operator==(istreambuf_iterator, default_sentinel_t)): Add operator.
3533         * testsuite/24_iterators/istream_iterator/cons/sentinel.cc:
3534         New test.
3535         * testsuite/24_iterators/istream_iterator/sentinel.cc: New test.
3536         * testsuite/24_iterators/istreambuf_iterator/cons/sentinel.cc:
3537         New test.
3538         * testsuite/24_iterators/istreambuf_iterator/sentinel.cc: New test.
3539
3540         * include/std/ranges (__deep_const_range, __enable_view_impl): Remove.
3541         (ranges::enable_view): Simplify (LWG 3326).
3542         * include/bits/range_access.h (ranges::enable_view): Declare.
3543         * include/bits/regex.h (__enable_view_impl): Remove partial
3544         specialization.
3545         * include/bits/stl_multiset.h (__enable_view_impl): Likewise.
3546         * include/bits/stl_set.h (__enable_view_impl): Likewise.
3547         * include/bits/unordered_set.h (__enable_view_impl): Likewise.
3548         * include/debug/multiset.h (__enable_view_impl): Likewise.
3549         * include/debug/set.h (__enable_view_impl): Likewise.
3550         * include/debug/unordered_set (__enable_view_impl): Likewise.
3551         * include/experimental/string_view (ranges::enable_view): Define
3552         partial specialization.
3553         * include/std/span (ranges::enable_view): Likewise.
3554         * include/std/string_view (ranges::enable_view): Likewise.
3555         * testsuite/std/ranges/view.cc: Check satisfaction of updated concept.
3556
3557 2020-02-21  Jonathan Wakely  <jwakely@redhat.com>
3558
3559         * include/std/optional (operator<=>(optional<T>, optional<U>))
3560         (operator<=>(optional<T>, nullopt), operator<=>(optional<T>, U)):
3561         Define for C++20.
3562         * include/std/tuple (__tuple_cmp): New helper function for <=>.
3563         (operator<=>(tuple<T...>, tuple<U>...)): Define for C++20.
3564         * include/std/variant (operator<=>(variant<T...>, variant<T...>))
3565         (operator<=>(monostate, monostate)): Define for C++20.
3566         * testsuite/20_util/optional/relops/three_way.cc: New test.
3567         * testsuite/20_util/tuple/comparison_operators/three_way.cc: New test.
3568         * testsuite/20_util/variant/89851.cc: Move to ...
3569         * testsuite/20_util/variant/relops/89851.cc: ... here.
3570         * testsuite/20_util/variant/90008.cc: Move to ...
3571         * testsuite/20_util/variant/relops/90008.cc: ... here.
3572         * testsuite/20_util/variant/relops/three_way.cc: New test.
3573
3574 2020-02-20  Patrick Palka  <ppalka@redhat.com>
3575
3576         * include/std/ranges (views::__adaptor::__maybe_refwrap): New utility
3577         function.
3578         (views::__adaptor::_RangeAdaptor::operator()): Add comments.  Use
3579         __maybe_refwrap to capture lvalue references by reference, and then use
3580         unwrap_reference_t to forward the by-reference captures as references.
3581         * testsuite/std/ranges/adaptors/split.cc: Augment test.
3582         * testsuite/std/ranges/adaptors/split_neg.cc: New test.
3583
3584         * include/std/ranges (iota_view): Forward declare _Sentinel.
3585         (iota_view::_Iterator): Befriend _Sentinel.
3586         (iota_view::_Sentinel::_M_equal): New member function.
3587         (iota_view::_Sentinel::operator==): Use it.
3588         (views::_Iota::operator()): Forward __f using the correct type.
3589         * testsuite/std/ranges/access/ssize.cc (test06): Don't call views::iota
3590         with integers of different signedness, to appease iota_view's deduction
3591         guide.
3592         * testsuite/std/ranges/iota/iota_view.cc: Augment test.
3593
3594 2020-02-20  Jonathan Wakely  <jwakely@redhat.com>
3595
3596         * include/bits/range_access.h (ranges::begin): Reject array of
3597         incomplete type.
3598         (ranges::end, ranges::size): Require arrays to be bounded.
3599         (ranges::data): Require lvalue or borrowed_range.
3600         (ranges::iterator_t): Remove constraint.
3601         * testsuite/std/ranges/access/begin.cc: Do not check array of
3602         incomplete type.
3603         * testsuite/std/ranges/access/begin_neg.cc: New test.
3604         * testsuite/std/ranges/access/end_neg.cc: Adjust expected error.
3605         * testsuite/std/ranges/access/size_neg.cc: Adjust expected error.
3606         * testsuite/std/ranges/access/ssize.cc: Do not check array of
3607         incomplete type.
3608
3609         * include/std/system_error (error_category::operator<=>)
3610         (operator<=>(const error_code&, const error_code&))
3611         (operator<=>(const error_condition&, const error_condition&)): Define
3612         for C++20.
3613         * testsuite/19_diagnostics/error_category/operators/less.cc: New test.
3614         * testsuite/19_diagnostics/error_category/operators/three_way.cc: New
3615         test.
3616         * testsuite/19_diagnostics/error_code/operators/equal.cc: Remove
3617         incorrect comment.
3618         * testsuite/19_diagnostics/error_code/operators/less.cc: New test.
3619         * testsuite/19_diagnostics/error_code/operators/not_equal.cc: Remove
3620         incorrect comment.
3621         * testsuite/19_diagnostics/error_code/operators/three_way.cc: New test.
3622         * testsuite/19_diagnostics/error_condition/operators/equal.cc: Remove
3623         incorrect comment.
3624         * testsuite/19_diagnostics/error_condition/operators/less.cc: New test.
3625         * testsuite/19_diagnostics/error_condition/operators/not_equal.cc:
3626         Remove incorrect comment.
3627         * testsuite/19_diagnostics/error_condition/operators/three_way.cc: New
3628         test.
3629
3630         * libsupc++/typeinfo (type_info::operator!=): Remove for C++20.
3631
3632         * include/std/thread (thread::id::operator<=>): Define for C++20.
3633         * testsuite/30_threads/thread/id/70294.cc: Do not take addresses of
3634         functions in namespace std.
3635         * testsuite/30_threads/thread/id/operators_c++20.cc: New test.
3636
3637 2020-02-19  Patrick Palka  <ppalka@redhat.com>
3638
3639         * testsuite/std/ranges/adaptors/split.cc (test03): Don't include the
3640         null terminator of the underlying string as part of the test_range.
3641         (main): Call test03.
3642
3643 2020-02-19  Jonathan Wakely  <jwakely@redhat.com>
3644
3645         * include/bits/stl_iterator.h (common_iterator): Add copyable<I>
3646         requirement (LWG 3385).
3647         * testsuite/24_iterators/headers/iterator/synopsis_c++20.cc: Adjust
3648         expected declaration.
3649
3650         * include/std/ranges (take_while_view, drop_view, drop_while_view)
3651         (elements_view:_Iterator): Initialize data members (LWG 3364).
3652
3653         * libsupc++/compare (three_way_comparable): Remove always-false check
3654         that should have been removed with weak_equality (P1959R0).
3655         (three_way_comparable_with): Likewise. Reorder requirements (LWG 3360).
3656
3657         * include/std/concepts (__detail::__partially_ordered_with): Move here
3658         from <compare>.
3659         (totally_ordered, totally_ordered_with): Use __partially_ordered_with
3660         to simplify definition (LWG 3331).
3661         * libsupc++/compare (__detail::__partially_ordered_with): Move to
3662         <concepts>.
3663
3664         * include/std/concepts (totally_ordered_with): Remove redundant
3665         requirement (LWG 3329).
3666
3667         * include/std/ranges (__detail::__convertible_to_non_slicing): New
3668         helper concept.
3669         (__detail::__pair_like_convertible_to): Remove.
3670         (__detail::__pair_like_convertible_from): Add requirements for
3671         non-slicing conversions.
3672         (subrange): Constrain constructors with __convertible_to_non_slicing.
3673         Remove constructors from pair-like types. Add new deduction guide.
3674         * testsuite/std/ranges/subrange/lwg3282_neg.cc: New test.
3675
3676         * include/bits/iterator_concepts.h (iter_move): Add declaration to
3677         prevent unqualified lookup finding a suitable declaration (LWG 3247).
3678
3679         * include/std/memory_resource (polymorphic_allocator::allocate)
3680         (polymorphic_allocator::allocate_object): Change type of exception to
3681         bad_array_new_length (LWG 3237).
3682         * testsuite/20_util/polymorphic_allocator/lwg3237.cc: New test.
3683
3684         * include/std/type_traits (__cpp_lib_unwrap_ref): Define (LWG 3348).
3685         * include/std/version (__cpp_lib_unwrap_ref): Likewise.
3686         * testsuite/20_util/unwrap_reference/1.cc: Check macro.
3687         * testsuite/20_util/unwrap_reference/3.cc: New test.
3688
3689         * include/std/numeric (midpoint(T8, T*)): Do not check for complete
3690         type during overload resolution, use static assert instead (LWG 3200).
3691         * testsuite/26_numerics/midpoint/pointer.cc: Do not test with
3692         incomplete type.
3693         * testsuite/26_numerics/midpoint/pointer_neg.cc: New test.
3694
3695         * include/std/span (span(T (&)[N])): Use non-deduced context to
3696         prevent first parameter from interfering with class template argument
3697         deduction (LWG 3369).
3698         * testsuite/23_containers/span/deduction.cc: Add missing 'const'.
3699         * testsuite/23_containers/span/lwg3255.cc: Check for construction from
3700         rvalues.
3701
3702         * include/std/span (span::const_iterator, span::const_reverse_iterator)
3703         (span::cbegin(), span::cend(), span::crbegin(), span::crend()):
3704         Remove (LWG 3320).
3705         * testsuite/23_containers/span/everything.cc: Replace uses of cbegin
3706         and cend.
3707         * testsuite/20_util/specialized_algorithms/destroy/constrained.cc:
3708         Likewise.
3709         * testsuite/20_util/specialized_algorithms/uninitialized_copy/
3710         constrained.cc: Likewise.
3711         * testsuite/20_util/specialized_algorithms/
3712         uninitialized_default_construct/constrained.cc: Likewise.
3713         * testsuite/20_util/specialized_algorithms/uninitialized_fill/
3714         constrained.cc: Likewise.
3715         * testsuite/20_util/specialized_algorithms/uninitialized_move/
3716         constrained.cc: Likewise.
3717         * testsuite/20_util/specialized_algorithms/
3718         uninitialized_value_construct/constrained.cc: Likewise.
3719
3720         * include/bits/range_access.h (range_size_t): Define alias template.
3721         * include/std/ranges (all_view): Rename to views::all_t (LWG 3335).
3722         * testsuite/std/ranges/adaptors/filter.cc: Adjust to new name.
3723
3724         * include/std/ranges (filter_view, transform_view, take_view)
3725         (join_view, split_view, reverse_view): Remove commented-out converting
3726         constructors (LWG 3280).
3727
3728         * include/std/memory (uninitialized_construct_using_allocator): Use
3729         std::construct_at (LWG 3321).
3730
3731         * include/std/memory_resource (polymorphic_allocator::allocate_bytes)
3732         (polymorphic_allocator::allocate_object)
3733         (polymorphic_allocator::new_object): Add nodiscard attribute (LWG3304).
3734
3735         LWG 3379. "safe" in several library names is misleading
3736         * include/bits/range_access.h (enable_safe_range): Rename to
3737         enable_borrowed_range.
3738         (__detail::__maybe_safe_range): Rename to __maybe_borrowed_range.
3739         (safe_range): Rename to borrowed_range.
3740         * include/bits/ranges_algo.h: Adjust to use new names.
3741         * include/bits/ranges_algobase.h: Likewise.
3742         * include/bits/ranges_uninitialized.h: Likewise.
3743         * include/std/ranges: Likewise.
3744         (safe_iterator_t): Rename to borrowed_iterator_t.
3745         (safe_subrange_t): Rename to borrowed_subrange_t.
3746         * include/std/span: Adjust to use new names.
3747         * include/std/string_view: Likewise.
3748         * include/experimental/string_view: Likewise.
3749         * testsuite/std/ranges/access/begin.cc: Likewise.
3750         * testsuite/std/ranges/access/cbegin.cc: Likewise.
3751         * testsuite/std/ranges/access/cdata.cc: Likewise.
3752         * testsuite/std/ranges/access/cend.cc: Likewise.
3753         * testsuite/std/ranges/access/crbegin.cc: Likewise.
3754         * testsuite/std/ranges/access/crend.cc: Likewise.
3755         * testsuite/std/ranges/access/data.cc: Likewise.
3756         * testsuite/std/ranges/access/end.cc: Likewise.
3757         * testsuite/std/ranges/access/rbegin.cc: Likewise.
3758         * testsuite/std/ranges/access/rend.cc: Likewise.
3759         * testsuite/std/ranges/safe_range.cc: Likewise.
3760         * testsuite/std/ranges/safe_range_types.cc: Likewise.
3761         * testsuite/util/testsuite_iterators.h: Likewise.
3762
3763         * include/std/ranges (tuple_element<0, const subrange<I, S, K>>)
3764         (tuple_element<1, const subrange<I, S, K>>): Add partial
3765         specializations (LWG 3398).
3766         * testsuite/std/ranges/subrange/tuple_like.cc: New test.
3767
3768         * include/bits/ranges_algo.h (__find_fn, __find_first_of_fn)
3769         (__adjacent_find_fn, __remove_if_fn, __remove_copy_if_fn)
3770         (__unique_fn, __unique_copy_fn): Remove redundant conversions to bool.
3771
3772 2020-02-18  Patrick Palka  <ppalka@redhat.com>
3773
3774         P1983R0 Wording for GB301, US296, US292, US291, and US283
3775         * include/std/ranges (filter_view::pred): New member function.
3776         (join_view::_Iterator::_Iterator): Remove now-redundant comment since
3777         P1983R0 fixes the highlighted issue in the same way.
3778         (join_view::_Iterator<_Const>): Add friend
3779         join_view::_Iterator<!_Const>.
3780         (join_view::_M_inner): Remove mutable specifier, effectively reverting
3781         the proposed wording changes of P3278.
3782         (join_view::begin): Refine the condition for when to return a const
3783         iterator.
3784         (split_view::_OuterIter::_OuterIter): Adjust constraints.
3785         * testsuite/std/ranges/adaptors/filter.cc: Test that filter_view::pred
3786         exists and works.
3787
3788 2020-02-18  Jonathan Wakely  <jwakely@redhat.com>
3789
3790         PR libstdc++/93818
3791         * include/std/ranges (_RangeAdaptor): Add deduction guide.
3792         (filter_view::_Iterator): Add alias _Vp_iter and use in place of
3793         iterator_t<_Vp>.
3794         (filter_view::_Iterator::_S_iter_cat()): Add 'typename'.
3795         (transform_view::_Iterator): Add alias _Base_iter and use in place of
3796         iterator_t<_Base>.
3797         (transform_view::_Iterator::_S_iter_cat()): Add 'typename'.
3798         (join_view::_Iterator): Add _Outer_iter and _Inner_iter aliases.
3799         (join_view::_Iterator::_S_iter_cat()): Add 'typename'.
3800         (split_view::_InnerIter::_S_iter_cat()): Likewise.
3801
3802         * testsuite/20_util/integer_comparisons/equal.cc: Fix invalid
3803         assumption that long is wider than int.
3804         * testsuite/20_util/integer_comparisons/greater_equal.cc: Likewise.
3805         * testsuite/20_util/integer_comparisons/less.cc: Likewise.
3806         * testsuite/20_util/integer_comparisons/less_equal.cc: Likewise.
3807         * testsuite/20_util/integer_comparisons/not_equal.cc: Likewise.
3808
3809         P1976R2 Fixed-size span construction from dynamic range
3810         * include/std/span (__cpp_lib_span): Update value.
3811         (span(It, size_type), span(It, End)): Make conditionally explicit. Add
3812         assertion.
3813         (span(R&&), span(const span<OType, OExtent>&)): Likewise and relax
3814         constraints.
3815         (span::first<Count>(), span::last<Count>()): Use explicit type in
3816         return statement.
3817         (as_bytes, as_writable_bytes): Likewise.
3818         * include/std/version (__cpp_lib_span): Update value.
3819         * testsuite/23_containers/span/1.cc: Check new value.
3820         * testsuite/23_containers/span/2.cc: Check new value.
3821         * testsuite/23_containers/span/explicit.cc: New test.
3822
3823         * include/std/span (span::__is_compatible_array): Simplify alias
3824         template by using requires-clause.
3825         (span::__is_compatible_ref): New alias template for constraining
3826         constructors.
3827         (span::__is_compatible_iterator, span::__is_compatible_range): Remove.
3828         (span(It, size_type), span(It, End)): Use __is_compatible_ref.
3829         (span(T(&)[N], span(array<T, N>&), span(const array<T, N>&)): Remove
3830         redundant parentheses.
3831         (span(R&&)): Add missing constraints.
3832
3833         * include/std/span (span): Reorder members and rename template
3834         parameters to match declarations in the C++2a working paper.
3835
3836         P2116R0 Remove tuple-like protocol support from fixed-extent span
3837         * include/std/span (get, tuple_size, tuple_element): Remove.
3838         * testsuite/23_containers/span/everything.cc: Remove checks for
3839         tuple-like API.
3840         * testsuite/23_containers/span/get_neg.cc: Remove.
3841         * testsuite/23_containers/span/tuple_element_dynamic_neg.cc: Remove.
3842         * testsuite/23_containers/span/tuple_element_oob_neg.cc: Remove.
3843         * testsuite/23_containers/span/tuple_size_neg.cc: Remove.
3844
3845 2020-02-17  Patrick Palka  <ppalka@redhat.com>
3846
3847         P2106R0 Alternative wording for GB315 and GB316
3848         * include/bits/ranges_algo.h (in_fun_result): New.
3849         (for_each_result, for_each_n_result): Change into an alias of
3850         in_fun_result.
3851         (in_in_result): New.
3852         (mismatch_result): Change into an alias of in_in_result.
3853         (copy_if_result): Change into an alias of in_out_result.
3854         (swap_ranges_result): Change into an alias of in_in_result.
3855         (unary_transform_result): Change into an alias of in_out_result.
3856         (in_in_out_result): New.
3857         (binary_transform_result): Change into an alias of in_in_out_result.
3858         (replace_copy_result, replace_copy_if_result, remove_copy_if_result,
3859         remove_copy_result, unique_copy_result, reverse_copy_result,
3860         rotate_copy_result, partial_sort_copy_result): Change into an alias of
3861         in_out_result.
3862         (in_out_out_result): New.
3863         (partition_copy_result, merge_result): Change into an alias of
3864         in_out_out_result.
3865         (set_union_result, set_intersection_result): Change into an alias of
3866         in_in_out_result.
3867         (set_difference_result): Change into an alias of in_out_result.
3868         (set_symmetric_difference): Change into an alias of in_in_out_result.
3869         (min_max_result): New.
3870         (minmax_result, minmax_element_result): Change into an alias of
3871         min_max_result.
3872         (in_found_result): New.
3873         (next_permutation_result, prev_permutation_result): Change into an alias
3874         of in_found_result.
3875         (__next_permutation_fn::operator(), __prev_permutation_fn::operator()):
3876         Adjust following changes to next_permutation_result and
3877         prev_permutation_result.
3878         * include/bits/ranges_algobase.h (in_out_result): New.
3879         (copy_result, move_result, move_backward_result, copy_backward_result,
3880         copy_n_result): Change into an alias of in_out_result.
3881         * include/bits/ranges_uninitialized.h (uninitialized_copy_result,
3882         uninitialized_copy_n_result, uninitialized_move_result,
3883         uninitialized_move_n_result): Likewise.
3884         * testsuite/25_algorithms/next_permutation/constrained.cc: Adjust uses of
3885         structured bindings.
3886         * testsuite/25_algorithms/prev_permutation/constrained.cc: Likewise.
3887
3888         P1243R4 Rangify new algorithms
3889         * include/bits/ranges_algo.h (for_each_n_result, __for_each_n_fn,
3890         for_each_n, __sample_fn, sample, __clamp_fn, clamp): New.
3891         * testsuite/25_algorithms/clamp/constrained.cc: New test.
3892         * testsuite/25_algorithms/for_each/constrained.cc: Augment test.
3893         * testsuite/25_algorithms/sample/constrained.cc: New test.
3894
3895 2020-02-17  Jonathan Wakely  <jwakely@redhat.com>
3896
3897         P1964R2 Wording for boolean-testable
3898         * include/bits/ranges_algo.h (__find_fn, __find_first_of_fn)
3899         (__adjacent_find_fn): Cast result of predicate to bool.
3900         * include/std/concepts (__boolean): Remove.
3901         (__detail::__boolean_testable_impl, __detail::__boolean_testable): Add
3902         new helper concepts.
3903         (__detail::__weakly_eq_cmp_with, totally_ordered, totally_ordered_with)
3904         (predicate): Use __boolean_testable instead of boolean.
3905         * libsupc++/compare (__detail::__partially_ordered, _Synth3way):
3906         Likewise.
3907
3908         P1970R2 Consistency for size() functions: Add ranges::ssize
3909         * include/bits/range_access.h (_SSize, ssize): Define for C++20.
3910         * testsuite/std/ranges/access/ssize.cc: New test.
3911
3912         P1956R1 On the names of low-level bit manipulation functions
3913         * include/bits/hashtable_policy.h: Update comment.
3914         * include/std/bit (__ispow2, __ceil2, __floor2, __log2p1): Rename.
3915         (ispow2, ceil2, floor2, log2p1): Likewise.
3916         (__cpp_lib_int_pow2): Add feature test macro.
3917         * include/std/charconv (__to_chars_len_2): Adjust use of __log2p1.
3918         * include/std/memory (assume_aligned): Adjust use of ispow2.
3919         * include/std/version (__cpp_lib_int_pow2): Add.
3920         * libsupc++/new_opa.cc: Adjust use of __ispow2.
3921         * src/c++17/memory_resource.cc: Likewise, and for __ceil2 and __log2p1.
3922         * testsuite/17_intro/freestanding.cc: Adjust use of ispow2.
3923         * testsuite/26_numerics/bit/bit.pow.two/ceil2.cc: Rename to ...
3924         * testsuite/26_numerics/bit/bit.pow.two/bit_ceil.cc: ... here.
3925         * testsuite/26_numerics/bit/bit.pow.two/ceil2_neg.cc: Rename to ...
3926         * testsuite/26_numerics/bit/bit.pow.two/bit_ceil_neg.cc: ... here.
3927         * testsuite/26_numerics/bit/bit.pow.two/floor2.cc: Rename to ...
3928         * testsuite/26_numerics/bit/bit.pow.two/bit_floor.cc: ... here.
3929         * testsuite/26_numerics/bit/bit.pow.two/log2p1.cc: Rename to ...
3930         * testsuite/26_numerics/bit/bit.pow.two/bit_width.cc: ... here.
3931         * testsuite/26_numerics/bit/bit.pow.two/ispow2.cc: Rename to ...
3932         * testsuite/26_numerics/bit/bit.pow.two/has_single_bit.cc: ... here.
3933
3934         * include/std/charconv: Add comment.
3935
3936         PR libstdc++/92546 (partial)
3937         * include/bits/random.h (uniform_random_bit_generator): Move definition
3938         to <bits/uniform_int_dist.h>.
3939         * include/bits/ranges_algo.h: Include <bits/uniform_int_dist.h> instead
3940         of <bits/random.h>.
3941         * include/bits/ranges_algobase.h: Do not include <cmath>.
3942         * include/bits/uniform_int_dist.h (uniform_random_bit_generator):
3943         Move here.
3944         * include/std/ranges: Do not include <limits>.
3945         * testsuite/26_numerics/random/pr60037-neg.cc: Adjust dg-error lineno.
3946
3947         PR libstdc++/92546 (partial)
3948         * include/Makefile.am: Add new header.
3949         * include/Makefile.in: Regenerate.
3950         * include/bits/int_limits.h: New header.
3951         * include/bits/parse_numbers.h (__select_int::_Select_int): Replace
3952         numeric_limits with __detail::__int_limits.
3953         * include/std/bit (__rotl, __rotr, __countl_zero, __countl_one)
3954         (__countr_zero, __countr_one, __popcount, __ceil2, __floor2, __log2p1):
3955         Likewise.
3956         * include/std/charconv (__to_chars_8, __from_chars_binary)
3957         (__from_chars_alpha_to_num, from_chars): Likewise.
3958         * include/std/memory_resource (polymorphic_allocator::allocate)
3959         (polymorphic_allocator::allocate_object): Likewise.
3960         * include/std/string_view (basic_string_view::_S_compare): Likewise.
3961         * include/std/utility (in_range): Likewise.
3962         * testsuite/20_util/integer_comparisons/in_range_neg.cc: Adjust for
3963         extra error about incomplete type __int_limits<bool>.
3964         * testsuite/26_numerics/bit/bit.count/countl_one.cc: Include <limits>.
3965         * testsuite/26_numerics/bit/bit.count/countl_zero.cc: Likewise.
3966         * testsuite/26_numerics/bit/bit.count/countr_one.cc: Likewise.
3967         * testsuite/26_numerics/bit/bit.count/countr_zero.cc: Likewise.
3968         * testsuite/26_numerics/bit/bit.count/popcount.cc: Likewise.
3969         * testsuite/26_numerics/bit/bit.pow.two/ceil2_neg.cc: Likewise.
3970         * testsuite/26_numerics/bit/bit.pow.two/ceil2.cc: Likewise.
3971         * testsuite/26_numerics/bit/bit.pow.two/floor2.cc: Likewise.
3972         * testsuite/26_numerics/bit/bit.pow.two/ispow2.cc: Likewise.
3973         * testsuite/26_numerics/bit/bit.pow.two/log2p1.cc: Likewise.
3974         * testsuite/26_numerics/bit/bit.rotate/rotl.cc: Likewise.
3975         * testsuite/26_numerics/bit/bit.rotate/rotr.cc: Likewise.
3976
3977         * python/libstdcxx/v6/printers.py (StdCmpCatPrinter.to_string): Update
3978         value for partial_ordering::unordered.
3979
3980         * include/bits/iterator_concepts.h (indirectly_copyable_storable): Add
3981         const-qualified expression variations.
3982         * include/std/concepts (copyable): Likewise.
3983
3984         * include/std/type_traits (__is_standard_integer): New helper trait.
3985         * include/std/utility (cmp_equal, cmp_not_equal, cmp_less, cmp_greater)
3986         (cmp_less_equal, cmp_greater_equal, in_range): Define for C++20.
3987         * include/std/version (__cpp_lib_integer_comparison_functions): Define.
3988         * testsuite/20_util/integer_comparisons/1.cc: New test.
3989         * testsuite/20_util/integer_comparisons/2.cc: New test.
3990         * testsuite/20_util/integer_comparisons/equal.cc: New test.
3991         * testsuite/20_util/integer_comparisons/equal_neg.cc: New test.
3992         * testsuite/20_util/integer_comparisons/greater_equal.cc: New test.
3993         * testsuite/20_util/integer_comparisons/greater_equal_neg.cc: New test.
3994         * testsuite/20_util/integer_comparisons/greater_neg.cc: New test.
3995         * testsuite/20_util/integer_comparisons/in_range.cc: New test.
3996         * testsuite/20_util/integer_comparisons/in_range_neg.cc: New test.
3997         * testsuite/20_util/integer_comparisons/less.cc: New test.
3998         * testsuite/20_util/integer_comparisons/less_equal.cc: New test.
3999         * testsuite/20_util/integer_comparisons/less_equal_neg.cc: New test.
4000         * testsuite/20_util/integer_comparisons/less_neg.cc: New test.
4001         * testsuite/20_util/integer_comparisons/not_equal.cc: New test.
4002         * testsuite/20_util/integer_comparisons/not_equal_neg.cc: New test.
4003
4004 2020-02-16  Patrick Palka  <ppalka@redhat.com>
4005
4006         * include/bits/ranges_algo.h (__lexicographical_compare_fn::operator()):
4007         Move code after an early exit constexpr if to under an else branch.
4008         * include/bits/ranges_algobase.h (__equal_fn::operator()): Likewise.
4009
4010 2020-02-15  Patrick Palka  <ppalka@redhat.com>
4011
4012         * include/bits/ranges_algo.h: Adjust whitespace and formatting.
4013         * include/bits/ranges_algobase.h: Likewise.
4014         * include/bits/ranges_uninitialized.h: Likewise.
4015
4016         * include/bits/ranges_algo.h: (adjacent_find, all_of, any_of,
4017         binary_search, copy_if, count, count_if, equal_range, find, find_end,
4018         find_first_of, find_if, find_if_not, for_each, generate, generate_n,
4019         includes, inplace_merge, is_heap, is_heap_until, is_partitioned,
4020         is_permutation, is_sorted, is_sorted_until, lexicographical_compare,
4021         lower_bound, make_heap, max, max_element, merge, min, min_element,
4022         minmax, minmax_element, mismatch, next_permutation, none_of,
4023         nth_element, partial_sort, partial_sort_copy, partition, partition_copy,
4024         partition_point, pop_heap, prev_permutation, push_heap, remove,
4025         remove_copy, remove_copy_if, remove_if, replace, replace_copy,
4026         replace_copy_if, replace_if, reverse, reverse_copy, rotate, rotate_copy,
4027         search, search_n, set_difference, set_intersection,
4028         set_symmetric_difference, set_union, shuffle, sort, sort_heap,
4029         stable_partition, stable_sort, swap_ranges, transform, unique,
4030         unique_copy, upper_bound): Convert into function objects.
4031         * include/bits/ranges_algobase.h: (equal, copy, move, copy_n, fill_n,
4032         fill, move_backward, copy_backward): Likewise.
4033         * include/bits/ranges_uninitialized.h (uninitialized_default_construct,
4034         uninitialized_default_construct_n, uninitialized_value_construct,
4035         uninitialized_value_construct_n, uninitialized_copy,
4036         uninitialized_copy_n, uninitialized_move, uninitialized_move_n,
4037         uninitialized_fill, uninitialized_fill_n, construct_at, destroy_at,
4038         destroy, destroy_n): Likewise.
4039
4040         * include/bits/ranges_algo.h (ranges::__find_end): Fold into ...
4041         (ranges::find_end): ... here.
4042         (ranges::__lexicographical_compare): Fold into ...
4043         (ranges::lexicographical_compare): ... here.
4044         * include/bits/ranges_algobase.h (ranges::__equal): Fold into ...
4045         (ranges::equal): ... here.
4046
4047 2020-02-15  Jonathan Wakely  <jwakely@redhat.com>
4048
4049         * include/bits/erase_if.h (__cpp_lib_erase_if): Define to 202002L.
4050         * include/std/deque: Likewise.
4051         * include/std/forward_list: Likewise.
4052         * include/std/list: Likewise.
4053         * include/std/string: Likewise.
4054         * include/std/vector: Likewise.
4055         * include/std/version: Likewise.
4056         * testsuite/23_containers/deque/erasure.cc: Test for new value.
4057         * testsuite/23_containers/forward_list/erasure.cc: Likewise.
4058         * testsuite/23_containers/list/erasure.cc: Likewise.
4059         * testsuite/23_containers/map/erasure.cc: Likewise.
4060         * testsuite/23_containers/set/erasure.cc: Likewise.
4061         * testsuite/23_containers/unordered_map/erasure.cc: Likewise.
4062         * testsuite/23_containers/unordered_set/erasure.cc: Likewise.
4063         * testsuite/23_containers/vector/erasure.cc: Likewise.
4064
4065 2020-02-15  Jonathan Wakely  <jwakely@redhat.com>
4066
4067         * include/bits/random.h (uniform_random_bit_generator): Require min()
4068         and max() to be constant expressions and min() to be less than max().
4069         * testsuite/26_numerics/random/concept.cc: Check additional cases.
4070         * testsuite/26_numerics/random/pr60037-neg.cc: Adjust dg-error lineno.
4071
4072 2020-02-13  Patrick Palka  <ppalka@redhat.com>
4073
4074         * include/Makefile.am: Add <bits/ranges_uninitialized.h>.
4075         * include/Makefile.in: Regenerate.
4076         * include/bits/ranges_uninitialized.h: New header.
4077         * include/std/memory: Include it.
4078         * testsuite/20_util/specialized_algorithms/destroy/constrained.cc: New
4079         test.
4080         * .../uninitialized_copy/constrained.cc: New test.
4081         * .../uninitialized_default_construct/constrained.cc: New test.
4082         * .../uninitialized_fill/constrained.cc: New test.
4083         * .../uninitialized_move/constrained.cc: New test.
4084         * .../uninitialized_value_construct/constrained.cc: New test.
4085
4086         * include/Makefile.am: Add bits/ranges_algobase.h
4087         * include/Makefile.in: Regenerate.
4088         * bits/ranges_algo.h: Include <bits/ranges_algobase.h> and refactor
4089         existing #includes.
4090         (__detail::__is_normal_iterator, __detail::is_reverse_iterator,
4091         __detail::__is_move_iterator, copy_result, move_result,
4092         __equal, equal, copy_result, move_result, move_backward_result,
4093         copy_backward_result, __copy_or_move_backward, __copy_or_move, copy,
4094         move, copy_backward, move_backward, copy_n_result, copy_n, fill_n,
4095         fill): Split out into ...
4096         * bits/range_algobase.h: ... this new header.
4097
4098 2020-02-12  Patrick Palka  <ppalka@redhat.com>
4099
4100         LWG 3389 and LWG 3390
4101         * include/bits/stl_iterator.h (move_move_iterator): Use std::move when
4102         constructing the move_iterator with __i.
4103         (counted_iterator::counted_iterator): Use std::move when initializing
4104         M_current with __i.
4105         * testsuite/24_iterators/counted_iterator/lwg3389.cc: New test.
4106         * testsuite/24_iterators/move_iterator/lwg3390.cc: New test.
4107
4108 2020-02-12  Sandra Loosemore  <sandra@codesourcery.com>
4109
4110         PR libstdc++/79193
4111         PR libstdc++/88999
4112
4113         * configure: Regenerated.
4114
4115 2020-02-12  François Dumont  <fdumont@gcc.gnu.org>
4116
4117         * include/bits/hashtable.h
4118         (_Hashtable<>(_Hashtable&&, std::allocator_type&)): Add
4119         missing std namespace qualification to forward call.
4120
4121 2020-02-09  Jonathan Wakely  <jwakely@redhat.com>
4122
4123         * testsuite/20_util/function_objects/range.cmp/equal_to.cc: Fix
4124         comment.
4125         * testsuite/20_util/function_objects/range.cmp/less.ccL Likewise.
4126
4127         * include/std/ranges: Fix non-ASCII characters in comment.
4128
4129         * include/bits/range_cmp.h (__detail::__eq_builtin_ptr_cmp): Require
4130         equality comparison to be valid and return bool.
4131         (__detail::__less_builtin_ptr_cmp): Likewise for less-than comparison.
4132         * testsuite/20_util/function_objects/range.cmp/equal_to.cc: Check
4133         type with ambiguous conversion to fundamental types.
4134         * testsuite/20_util/function_objects/range.cmp/less.cc: Likewise.
4135
4136 2020-02-07  Jonathan Wakely  <jwakely@redhat.com>
4137
4138         * include/bits/iterator_concepts.h (iter_difference_t, iter_value_t):
4139         Use remove_cvref_t.
4140         (readable_traits): Rename to indirectly_readable_traits.
4141         (readable): Rename to indirectly_readable.
4142         (writable): Rename to indirectly_writable.
4143         (__detail::__iter_exchange_move): Do not use remove_reference_t.
4144         (indirectly_swappable): Adjust requires expression parameter types.
4145         expression.
4146         * include/bits/ranges_algo.h (ranges::transform, ranges::replace)
4147         (ranges::replace_if, ranges::generate_n, ranges::generate)
4148         (ranges::remove): Use new name for writable.
4149         * include/bits/stl_iterator.h (__detail::__common_iter_has_arrow):
4150         Use new name for readable.
4151         * include/ext/pointer.h (readable_traits<_Pointer_adapter<P>>): Use
4152         new name for readable_traits.
4153         * testsuite/24_iterators/associated_types/readable.traits.cc: Likewise.
4154         * testsuite/24_iterators/indirect_callable/projected.cc: Adjust for
4155         new definition of indirectly_readable.
4156
4157         * include/bits/stl_iterator.h (__detail::__common_iter_ptr): Change
4158         to take parameters of common_iterator, instead of the common_iterator
4159         type itself. Fix argument for __common_iter_has_arrow constraint.
4160         (iterator_traits<common_iterator<I, S>>::pointer): Adjust.
4161
4162 2020-02-07  Jonathan Wakely  <jwakely@redhat.com>
4163
4164         * include/std/ranges (iota_view): Add braces to prevent -Wempty-body
4165         warning.
4166         (basic_istream_view::_Iterator::operator++()): Add missing return.
4167
4168 2020-02-07  Patrick Palka  <ppalka@redhat.com>
4169
4170         * include/bits/ranges_algo.h: Remove extraneous &&.
4171
4172         * include/std/ranges (ranges::__detail::__stream_extractable,
4173         ranges::basic_istream_view, ranges::istream_view): Define.
4174         * testsuite/std/ranges/istream_view: New test.
4175
4176         Implement C++20 range adaptors
4177         * include/std/ranges: Include <bits/refwrap.h> and <tuple>.
4178         (subrange::_S_store_size): Mark as const instead of constexpr to
4179         avoid what seems to be a bug in GCC.
4180         (__detail::__box): Give it defaulted copy and move constructors.
4181         (ranges::views::_Single::operator()): Mark constexpr.
4182         (ranges::views::_Iota::operator()): Mark constexpr.
4183         (__detail::Empty): Define.
4184         (ranges::views::__closure::_RangeAdaptor,
4185         ranges::views::__closure::_RangeAdaptorClosure, ref_view, all_view,
4186         ranges::views::all, ranges::__detail::find_if,
4187         ranges::__detail::find_if_not, ranges::__detail::mismatch,
4188         ranges::detail::min, filter_view, ranges::views::filter, transform_view,
4189         ranges::views::transform, take_view, ranges::views::take,
4190         take_while_view, ranges::views::take_while, drop_view,
4191         ranges::views::drop, join_view, ranges::views::join,
4192         __detail::require_constant, __detail::tiny_range, split_view,
4193         ranges::views::split, ranges::views::_Counted, ranges::views::counted,
4194         common_view, ranges::views::common, reverse_view,
4195         ranges::views::reverse,
4196         ranges::views::__detail::__is_reversible_subrange,
4197         ranges::views::__detail::__is_reverse_view, reverse_view,
4198         ranges::views::reverse, __detail::__has_tuple_element, elements_view,
4199         ranges::views::elements, ranges::views::keys, ranges::views::values):
4200         Define.
4201         (views): Alias for ranges::views.
4202         (tuple_size<ranges::subrange<>>, tuple_element<0, ranges::subrange>,
4203         tuple_element<1, ranges::subrange>): New partial specializations.
4204         * testsuite/std/ranges/adaptors/all.cc: New test.
4205         * testsuite/std/ranges/adaptors/common.cc: Likewise.
4206         * testsuite/std/ranges/adaptors/counted.cc: Likewise.
4207         * testsuite/std/ranges/adaptors/drop.cc: Likewise.
4208         * testsuite/std/ranges/adaptors/drop_while.cc: Likewise.
4209         * testsuite/std/ranges/adaptors/elements.cc: Likewise.
4210         * testsuite/std/ranges/adaptors/filter.cc: Likewise.
4211         * testsuite/std/ranges/adaptors/join.cc: Likewise.
4212         * testsuite/std/ranges/adaptors/reverse.cc: Likewise.
4213         * testsuite/std/ranges/adaptors/split.cc: Likewise.
4214         * testsuite/std/ranges/adaptors/take.cc: Likewise.
4215         * testsuite/std/ranges/adaptors/take_while.cc: Likewise.
4216         * testsuite/std/ranges/adaptors/transform.cc: Likewise.
4217
4218 2020-02-07  Jonathan Wakely  <jwakely@redhat.com>
4219
4220         * libsupc++/compare (__cmp_cat::type): Define typedef for underlying
4221         type of enumerations and comparison category types.
4222         (__cmp_cat::_Ord, __cmp_cat::_Ncmp): Add underlying type.
4223         (__cmp_cat::_Ncmp::unordered): Change value to 2.
4224         (partial_ordering::_M_value, weak_ordering::_M_value)
4225         (strong_ordering::_M_value): Change type to __cmp_cat::type.
4226         (partial_ordering::_M_is_ordered): Remove data member.
4227         (partial_ordering): Use second bit of _M_value for unordered. Adjust
4228         comparison operators.
4229         (weak_ordering::operator partial_ordering): Simplify to remove
4230         branches.
4231         (operator<=>(unspecified, weak_ordering)): Likewise.
4232         (strong_ordering::operator partial_ordering): Likewise.
4233         (strong_ordering::operator weak_ordering): Likewise.
4234         (operator<=>(unspecified, strong_ordering)): Likewise.
4235         * testsuite/18_support/comparisons/categories/partialord.cc: New test.
4236         * testsuite/18_support/comparisons/categories/strongord.cc: New test.
4237         * testsuite/18_support/comparisons/categories/weakord.cc: New test.
4238
4239         * include/std/ranges (iota_view::_Iterator): Fix typo in name of
4240         __cpp_lib_three_way_comparison macro and use deduced return type for
4241         operator<=>.
4242         * testsuite/std/ranges/iota/iterator.cc: New test.
4243
4244 2020-02-07  Patrick Palka  <ppalka@redhat.com>
4245             Jonathan Wakely  <jwakely@redhat.com>
4246
4247         Implement C++20 constrained algorithms
4248         * include/Makefile.am: Add new header.
4249         * include/Makefile.in: Regenerate.
4250         * include/std/algorithm: Include <bits/ranges_algo.h>.
4251         * include/bits/ranges_algo.h: New file.
4252         * testsuite/25_algorithms/adjacent_find/constrained.cc: New test.
4253         * testsuite/25_algorithms/all_of/constrained.cc: New test.
4254         * testsuite/25_algorithms/any_of/constrained.cc: New test.
4255         * testsuite/25_algorithms/binary_search/constrained.cc: New test.
4256         * testsuite/25_algorithms/copy/constrained.cc: New test.
4257         * testsuite/25_algorithms/copy_backward/constrained.cc: New test.
4258         * testsuite/25_algorithms/copy_if/constrained.cc: New test.
4259         * testsuite/25_algorithms/copy_n/constrained.cc: New test.
4260         * testsuite/25_algorithms/count/constrained.cc: New test.
4261         * testsuite/25_algorithms/count_if/constrained.cc: New test.
4262         * testsuite/25_algorithms/equal/constrained.cc: New test.
4263         * testsuite/25_algorithms/equal_range/constrained.cc: New test.
4264         * testsuite/25_algorithms/fill/constrained.cc: New test.
4265         * testsuite/25_algorithms/fill_n/constrained.cc: New test.
4266         * testsuite/25_algorithms/find/constrained.cc: New test.
4267         * testsuite/25_algorithms/find_end/constrained.cc: New test.
4268         * testsuite/25_algorithms/find_first_of/constrained.cc: New test.
4269         * testsuite/25_algorithms/find_if/constrained.cc: New test.
4270         * testsuite/25_algorithms/find_if_not/constrained.cc: New test.
4271         * testsuite/25_algorithms/for_each/constrained.cc: New test.
4272         * testsuite/25_algorithms/generate/constrained.cc: New test.
4273         * testsuite/25_algorithms/generate_n/constrained.cc: New test.
4274         * testsuite/25_algorithms/heap/constrained.cc: New test.
4275         * testsuite/25_algorithms/includes/constrained.cc: New test.
4276         * testsuite/25_algorithms/inplace_merge/constrained.cc: New test.
4277         * testsuite/25_algorithms/is_partitioned/constrained.cc: New test.
4278         * testsuite/25_algorithms/is_permutation/constrained.cc: New test.
4279         * testsuite/25_algorithms/is_sorted/constrained.cc: New test.
4280         * testsuite/25_algorithms/is_sorted_until/constrained.cc: New test.
4281         * testsuite/25_algorithms/lexicographical_compare/constrained.cc: New
4282         test.
4283         * testsuite/25_algorithms/lower_bound/constrained.cc: New test.
4284         * testsuite/25_algorithms/max/constrained.cc: New test.
4285         * testsuite/25_algorithms/max_element/constrained.cc: New test.
4286         * testsuite/25_algorithms/merge/constrained.cc: New test.
4287         * testsuite/25_algorithms/min/constrained.cc: New test.
4288         * testsuite/25_algorithms/min_element/constrained.cc: New test.
4289         * testsuite/25_algorithms/minmax/constrained.cc: New test.
4290         * testsuite/25_algorithms/minmax_element/constrained.cc: New test.
4291         * testsuite/25_algorithms/mismatch/constrained.cc: New test.
4292         * testsuite/25_algorithms/move/constrained.cc: New test.
4293         * testsuite/25_algorithms/move_backward/constrained.cc: New test.
4294         * testsuite/25_algorithms/next_permutation/constrained.cc: New test.
4295         * testsuite/25_algorithms/none_of/constrained.cc: New test.
4296         * testsuite/25_algorithms/nth_element/constrained.cc: New test.
4297         * testsuite/25_algorithms/partial_sort/constrained.cc: New test.
4298         * testsuite/25_algorithms/partial_sort_copy/constrained.cc: New test.
4299         * testsuite/25_algorithms/partition/constrained.cc: New test.
4300         * testsuite/25_algorithms/partition_copy/constrained.cc: New test.
4301         * testsuite/25_algorithms/partition_point/constrained.cc: New test.
4302         * testsuite/25_algorithms/prev_permutation/constrained.cc: New test.
4303         * testsuite/25_algorithms/remove/constrained.cc: New test.
4304         * testsuite/25_algorithms/remove_copy/constrained.cc: New test.
4305         * testsuite/25_algorithms/remove_copy_if/constrained.cc: New test.
4306         * testsuite/25_algorithms/remove_if/constrained.cc: New test.
4307         * testsuite/25_algorithms/replace/constrained.cc: New test.
4308         * testsuite/25_algorithms/replace_copy/constrained.cc: New test.
4309         * testsuite/25_algorithms/replace_copy_if/constrained.cc: New test.
4310         * testsuite/25_algorithms/replace_if/constrained.cc: New test.
4311         * testsuite/25_algorithms/reverse/constrained.cc: New test.
4312         * testsuite/25_algorithms/reverse_copy/constrained.cc: New test.
4313         * testsuite/25_algorithms/rotate/constrained.cc: New test.
4314         * testsuite/25_algorithms/rotate_copy/constrained.cc: New test.
4315         * testsuite/25_algorithms/search/constrained.cc: New test.
4316         * testsuite/25_algorithms/search_n/constrained.cc: New test.
4317         * testsuite/25_algorithms/set_difference/constrained.cc: New test.
4318         * testsuite/25_algorithms/set_intersection/constrained.cc: New test.
4319         * testsuite/25_algorithms/set_symmetric_difference/constrained.cc: New
4320         test.
4321         * testsuite/25_algorithms/set_union/constrained.cc: New test.
4322         * testsuite/25_algorithms/shuffle/constrained.cc: New test.
4323         * testsuite/25_algorithms/sort/constrained.cc: New test.
4324         * testsuite/25_algorithms/stable_partition/constrained.cc: New test.
4325         * testsuite/25_algorithms/stable_sort/constrained.cc: New test.
4326         * testsuite/25_algorithms/swap_ranges/constrained.cc: New test.
4327         * testsuite/25_algorithms/transform/constrained.cc: New test.
4328         * testsuite/25_algorithms/unique/constrained.cc: New test.
4329         * testsuite/25_algorithms/unique_copy/constrained.cc: New test.
4330         * testsuite/25_algorithms/upper_bound/constrained.cc: New test.
4331
4332 2020-02-06  Jonathan Wakely  <jwakely@redhat.com>
4333
4334         * include/bits/stl_iterator.h (__detail::__common_iter_ptr): Fix PR
4335         number in comment. Fix indentation.
4336
4337         * include/bits/stl_algobase.h (__iter_swap, __iter_swap<true>): Remove
4338         redundant _GLIBCXX20_CONSTEXPR.
4339
4340         * include/std/ranges (viewable_range): Replace decay_t with
4341         remove_cvref_t (LWG 3375).
4342
4343 2020-02-05  Jonathan Wakely  <jwakely@redhat.com>
4344
4345         * include/bits/iterator_concepts.h (iter_reference_t)
4346         (iter_rvalue_reference_t, iter_common_reference_t, indirect_result_t):
4347         Remove workarounds for PR c++/67704.
4348         * testsuite/24_iterators/aliases.cc: New test.
4349
4350 2020-02-05  Patrick Palka  <ppalka@redhat.com>
4351
4352         * include/bits/stl_iterator.h (move_iterator::move_iterator): Move __i
4353         when initializing _M_current.
4354         (move_iterator::base): Split into two overloads differing in
4355         ref-qualifiers as in P1207R4 for C++20.
4356
4357 2020-02-04  Jonathan Wakely  <jwakely@redhat.com>
4358
4359         * include/std/functional (_GLIBCXX_NOT_FN_CALL_OP): Un-define after
4360         use.
4361
4362         PR libstdc++/93562
4363         * include/bits/unique_ptr.h (__uniq_ptr_impl::swap): Define.
4364         (unique_ptr::swap, unique_ptr<T[], D>::swap): Call it.
4365         * testsuite/20_util/unique_ptr/modifiers/93562.cc: New test.
4366
4367 2020-02-01  Andrew Burgess  <andrew.burgess@embecosm.com>
4368
4369         * configure: Regenerate.
4370
4371 2020-01-31  Patrick Palka  <ppalka@redhat.com>
4372
4373         * testsuite/24_iterators/range_operations/distance.cc: Do not assume
4374         test_range::end() returns the same type as test_range::begin().
4375         * testsuite/24_iterators/range_operations/next.cc: Likewise.
4376         * testsuite/24_iterators/range_operations/prev.cc: Likewise.
4377         * testsuite/util/testsuite_iterators.h (__gnu_test::test_range::end):
4378         Always return a sentinel<I>.
4379
4380 2020-01-29  Jonathan Wakely  <jwakely@redhat.com>
4381
4382         PR libstdc++/92895
4383         * include/std/stop_token (stop_token::stop_possible()): Call new
4384         _M_stop_possible() function.
4385         (stop_token::stop_requested()): Do not use stop_possible().
4386         (stop_token::binary_semaphore): New class, as temporary stand-in for
4387         std::binary_semaphore.
4388         (stop_token::_Stop_cb::_M_callback): Add noexcept to type.
4389         (stop_token::_Stop_cb::_M_destroyed, stop_token::_Stop_cb::_M_done):
4390         New data members for symchronization with stop_callback destruction.
4391         (stop_token::_Stop_cb::_Stop_cb): Make non-template.
4392         (stop_token::_Stop_cb::_M_linked, stop_token::_Stop_cb::_S_execute):
4393         Remove.
4394         (stop_token::_Stop_cb::_M_run): New member function.
4395         (stop_token::_Stop_state::_M_stopped, stop_token::_Stop_state::_M_mtx):
4396         Remove.
4397         (stop_token::_Stop_state::_M_owners): New data member to track
4398         reference count for ownership.
4399         (stop_token::_Stop_state::_M_value): New data member combining a
4400         spinlock, the stop requested flag, and the reference count for
4401         associated stop_source objects.
4402         (stop_token::_Stop_state::_M_requester): New data member for
4403         synchronization with stop_callback destruction.
4404         (stop_token::_Stop_state::_M_stop_possible()): New member function.
4405         (stop_token::_Stop_state::_M_stop_requested()): Inspect relevant bit
4406         of _M_value.
4407         (stop_token::_Stop_state::_M_add_owner)
4408         (stop_token::_Stop_state::_M_release_ownership)
4409         (stop_token::_Stop_state::_M_add_ssrc)
4410         (stop_token::_Stop_state::_M_sub_ssrc): New member functions for
4411         updating reference counts.
4412         (stop_token::_Stop_state::_M_lock, stop_token::_Stop_state::_M_unlock)
4413         (stop_token::_Stop_state::_M_lock, stop_token::_Stop_state::_M_unlock)
4414         (stop_token::_Stop_state::_M_try_lock)
4415         (stop_token::_Stop_state::_M_try_lock_and_stop)
4416         (stop_token::_Stop_state::_M_do_try_lock): New member functions for
4417         managing spinlock.
4418         (stop_token::_Stop_state::_M_request_stop): Use atomic operations to
4419         read and update state. Release lock while running callbacks. Use new
4420         data members to synchronize with callback destruction.
4421         (stop_token::_Stop_state::_M_remove_callback): Likewise.
4422         (stop_token::_Stop_state::_M_register_callback): Use atomic operations
4423         to read and update state.
4424         (stop_token::_Stop_state_ref): Handle type to manage _Stop_state,
4425         replacing shared_ptr.
4426         (stop_source::stop_source(const stop_source&)): Update reference count.
4427         (stop_source::operator=(const stop_source&)): Likewise.
4428         (stop_source::~stop_source()): Likewise.
4429         (stop_source::stop_source(stop_source&&)): Define as defaulted.
4430         (stop_source::operator=(stop_source&&)): Establish postcondition on
4431         parameter.
4432         (stop_callback): Enforce preconditions on template parameter. Replace
4433         base class with data member of new _Cb_impl type.
4434         (stop_callback::stop_callback(const stop_token&, Cb&&))
4435         (stop_callback::stop_callback(stop_token&&, Cb&&)): Fix TOCTTOU race.
4436         (stop_callback::_Cb_impl): New type wrapping _Callback member and
4437         defining the _S_execute member function.
4438         * testsuite/30_threads/stop_token/stop_callback/deadlock-mt.cc: New
4439         test.
4440         * testsuite/30_threads/stop_token/stop_callback/deadlock.cc: New test.
4441         * testsuite/30_threads/stop_token/stop_callback/destroy.cc: New test.
4442         * testsuite/30_threads/stop_token/stop_callback/destructible_neg.cc:
4443         New test.
4444         * testsuite/30_threads/stop_token/stop_callback/invocable_neg.cc: New
4445         test.
4446         * testsuite/30_threads/stop_token/stop_callback/invoke.cc: New test.
4447         * testsuite/30_threads/stop_token/stop_source/assign.cc: New test.
4448         * testsuite/30_threads/stop_token/stop_token/stop_possible.cc: New
4449         test.
4450
4451         * libsupc++/compare (__detail::__3way_builtin_ptr_cmp): Use
4452         three_way_comparable_with.
4453         (__detail::__3way_cmp_with): Remove workaround for fixed bug.
4454         (compare_three_way::operator()): Remove redundant constraint from
4455         requires-clause.
4456         (__detail::_Synth3way::operator()): Use three_way_comparable_with
4457         instead of workaround.
4458         * testsuite/18_support/comparisons/object/93479.cc: Prune extra
4459         output due to simplified constraints on compare_three_way::operator().
4460
4461         PR libstdc++/93479
4462         * libsupc++/compare (__3way_builtin_ptr_cmp): Require <=> to be valid.
4463         * testsuite/18_support/comparisons/object/93479.cc: New test.
4464
4465         * testsuite/std/ranges/access/end.cc: Do not assume test_range::end()
4466         returns the same type as test_range::begin(). Add comments.
4467         * testsuite/std/ranges/access/rbegin.cc: Likewise.
4468         * testsuite/std/ranges/access/rend.cc: Likewise.
4469         * testsuite/std/ranges/range.cc: Do not assume the sentinel for
4470         test_range is the same as its iterator type.
4471         * testsuite/util/testsuite_iterators.h (test_range::sentinel): Add
4472         operator- overloads to satisfy sized_sentinel_for when the iterator
4473         satisfies random_access_iterator.
4474
4475 2020-01-28  Jonathan Wakely  <jwakely@redhat.com>
4476
4477         PR libstdc++/93470
4478         * include/bits/refwrap.h (reference_wrapper::operator()): Restrict
4479         static assertion to object types.
4480
4481         PR libstdc++/93325
4482         * acinclude.m4 (GLIBCXX_ENABLE_LIBSTDCXX_TIME): Use AC_SEARCH_LIBS for
4483         clock_gettime instead of explicit glibc version check.
4484         * configure: Regenerate.
4485
4486 2020-01-28  Martin Liska  <mliska@suse.cz>
4487
4488         PR libstdc++/93478
4489         * include/std/atomic: Fix typo.
4490         * include/std/optional: Likewise.
4491
4492 2020-01-27  Andrew Burgess  <andrew.burgess@embecosm.com>
4493
4494         * configure: Regenerate.
4495
4496 2020-01-27  Jonathan Wakely  <jwakely@redhat.com>
4497
4498         PR libstdc++/93426
4499         * include/std/span (span): Fix deduction guide.
4500         * testsuite/23_containers/span/deduction.cc: New test.
4501
4502 2020-01-24  Jonathan Wakely  <jwakely@redhat.com>
4503
4504         * libsupc++/compare (__cmp_cat::_Eq): Remove enumeration type.
4505         (__cmp_cat::_Ord::equivalent): Add enumerator.
4506         (__cmp_cat::_Ord::_Less, __cmp_cat::_Ord::_Greater): Rename to less
4507         and greater.
4508         (partial_ordering, weak_ordering, strong_ordering): Remove
4509         constructors taking __cmp_cat::_Eq parameters. Use renamed
4510         enumerators.
4511
4512 2020-01-24  Maciej W. Rozycki  <macro@wdc.com>
4513
4514         * acinclude.m4: Handle `--with-toolexeclibdir='.
4515         * Makefile.in: Regenerate.
4516         * aclocal.m4: Regenerate.
4517         * configure: Regenerate.
4518         * doc/Makefile.in: Regenerate.
4519         * include/Makefile.in: Regenerate.
4520         * libsupc++/Makefile.in: Regenerate.
4521         * po/Makefile.in: Regenerate.
4522         * python/Makefile.in: Regenerate.
4523         * src/Makefile.in: Regenerate.
4524         * src/c++11/Makefile.in: Regenerate.
4525         * src/c++17/Makefile.in: Regenerate.
4526         * src/c++98/Makefile.in: Regenerate.
4527         * src/filesystem/Makefile.in: Regenerate.
4528         * testsuite/Makefile.in: Regenerate.
4529
4530 2020-01-23  Alexandre Oliva <oliva@adacore.com>
4531
4532         * crossconfig.m4 (GLIBCXX_CHECK_MATH_DECL): Reject macros.
4533         * configure: Rebuild.
4534
4535         * testsuite/27_io/fpos/mbstate_t/1.cc: Zero-init mbstate_t.
4536
4537 2020-01-23  Jonathan Wakely  <jwakely@redhat.com>
4538
4539         PR libstdc++/91947
4540         * include/Makefile.am (${host_builddir}/largefile-config.h): Simplify
4541         rule.
4542         * include/Makefile.in: Regenerate.
4543
4544 2020-01-20  Jonathan Wakely  <jwakely@redhat.com>
4545
4546         * doc/xml/faq.xml: Fix grammar.
4547         * doc/xml/manual/appendix_contributing.xml: Improve instructions.
4548         * doc/xml/manual/spine.xml: Update copyright years.
4549         * doc/html/*: Regenerate.
4550
4551 2020-01-19  Eric S. Raymond <esr@thyrsus.com>
4552
4553         * doc/xml/faq.xml: Update for SVN -> Git transition.
4554         * doc/xml/manual/appendix_contributing.xml: Likewise.
4555         * doc/xml/manual/status_cxx1998.xml: Likewise.
4556         * doc/xml/manual/status_cxx2011.xml: Likewise.
4557         * doc/xml/manual/status_cxx2014.xml: Likewise.
4558         * doc/xml/manual/status_cxx2017.xml: Likewise.
4559         * doc/xml/manual/status_cxx2020.xml: Likewise.
4560         * doc/xml/manual/status_cxxtr1.xml: Likewise.
4561         * doc/xml/manual/status_cxxtr24733.xml: Likewise.
4562
4563 2020-01-18  Iain Sandoe  <iain@sandoe.co.uk>
4564
4565         * include/Makefile.am: Add coroutine to the std set.
4566         * include/Makefile.in: Regenerated.
4567         * include/std/coroutine: New file.
4568
4569 2020-01-17  Jonathan Wakely  <jwakely@redhat.com>
4570
4571         PR libstdc++/92376
4572         * include/bits/c++config: Only do PSTL config when the header is
4573         present, to fix freestanding.
4574         * libsupc++/new_opa.cc [!_GLIBCXX_HOSTED]: Declare allocation
4575         functions if they were detected by configure.
4576
4577 2020-01-16  Kai-Uwe Eckhardt  <kuehro@gmx.de>
4578             Matthew Bauer  <mjbauer95@gmail.com>
4579             Jonathan Wakely  <jwakely@redhat.com>
4580
4581         PR bootstrap/64271 (partial)
4582         * config/os/bsd/netbsd/ctype_base.h (ctype_base::mask): Change type
4583         to unsigned short.
4584         (ctype_base::alpha, ctype_base::digit, ctype_base::xdigit)
4585         (ctype_base::print, ctype_base::graph, ctype_base::alnum): Sync
4586         definitions with NetBSD upstream.
4587         (ctype_base::blank): Use _CTYPE_BL.
4588         * config/os/bsd/netbsd/ctype_configure_char.cc (_C_ctype_): Remove
4589         Declaration.
4590         (ctype<char>::classic_table): Use _C_ctype_tab_ instead of _C_ctype_.
4591         (ctype<char>::do_toupper, ctype<char>::do_tolower): Cast char
4592         parameters to unsigned char.
4593         * config/os/bsd/netbsd/ctype_inline.h (ctype<char>::is): Likewise.
4594
4595 2020-01-16  François Dumont  <fdumont@gcc.gnu.org>
4596
4597         PR libstdc++/91263
4598         * include/bits/hashtable.h (_Hashtable<>): Make _Equality<> friend.
4599         * include/bits/hashtable_policy.h: Include <bits/stl_algo.h>.
4600         (_Equality_base): Remove.
4601         (_Equality<>::_M_equal): Review implementation. Use
4602         std::is_permutation.
4603         * testsuite/23_containers/unordered_multiset/operators/1.cc
4604         (Hash, Equal, test02, test03): New.
4605         * testsuite/23_containers/unordered_set/operators/1.cc
4606         (Hash, Equal, test02, test03): New.
4607
4608 2020-01-15  Jonathan Wakely  <jwakely@redhat.com>
4609
4610         PR libstdc++/93267
4611         * include/bits/iterator_concepts.h (__max_diff_type, __max_size_type):
4612         Move here from <bits/range_access.h> and define using __int128 when
4613         available.
4614         (__is_integer_like, __is_signed_integer_like): Move here from
4615         <bits/range_access.h>.
4616         (weakly_incrementable): Use __is_signed_integer_like.
4617         * include/bits/range_access.h (__max_diff_type, __max_size_type)
4618         (__is_integer_like, __is_signed_integer_like): Move to
4619         <bits/iterator_concepts.h>.
4620         (__make_unsigned_like_t): Move here from <ranges>.
4621         * include/std/ranges (__make_unsigned_like_t): Move to
4622         <bits/range_access.h>.
4623         (iota_view): Replace using-directive with using-declarations.
4624         * testsuite/std/ranges/iota/93267.cc: New test.
4625         * testsuite/std/ranges/iota_view.cc: Move to new 'iota' sub-directory.
4626
4627 2020-01-13  Jonathan Wakely  <jwakely@redhat.com>
4628
4629         PR libstdc++/93244
4630         * include/bits/fs_path.h (path::generic_string<C,A>)
4631         [_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Convert root-dir to forward-slash.
4632         * testsuite/27_io/filesystem/path/generic/generic_string.cc: Check
4633         root-dir is converted to forward slash in generic pathname.
4634         * testsuite/27_io/filesystem/path/generic/utf.cc: New test.
4635         * testsuite/27_io/filesystem/path/generic/wchar_t.cc: New test.
4636
4637         PR libstdc++/58605
4638         * include/bits/atomic_base.h (__cpp_lib_atomic_value_initialization):
4639         Define.
4640         (__atomic_flag_base, __atomic_base, __atomic_base<_PTp*>)
4641         (__atomic_float): Add default member initializer for C++20.
4642         * include/std/atomic (atomic): Likewise.
4643         (atomic::atomic()): Remove noexcept-specifier on default constructor.
4644         * include/std/version (__cpp_lib_atomic_value_initialization): Define.
4645         * testsuite/29_atomics/atomic/cons/assign_neg.cc: Adjust dg-error line
4646         number.
4647         * testsuite/29_atomics/atomic/cons/copy_neg.cc: Likewise.
4648         * testsuite/29_atomics/atomic/cons/value_init.cc: New test.
4649         * testsuite/29_atomics/atomic_flag/cons/value_init.cc: New test.
4650         * testsuite/29_atomics/atomic_flag/requirements/trivial.cc: Adjust
4651         expected result for is_trivially_default_constructible.
4652         * testsuite/29_atomics/atomic_float/requirements.cc: Likewise.
4653         * testsuite/29_atomics/atomic_float/value_init.cc: New test.
4654         * testsuite/29_atomics/atomic_integral/cons/assign_neg.cc: Likewise.
4655         * testsuite/29_atomics/atomic_integral/cons/copy_neg.cc: Likewise.
4656         * testsuite/29_atomics/atomic_integral/cons/value_init.cc
4657         * testsuite/29_atomics/atomic_integral/requirements/trivial.cc: Adjust
4658         expected results for is_trivially_default_constructible.
4659         * testsuite/util/testsuite_common_types.h (has_trivial_dtor): Add
4660         new test generator.
4661
4662 2020-01-10  Jonathan Wakely  <jwakely@redhat.com>
4663
4664         * testsuite/util/testsuite_iterators.h: Improve comment.
4665
4666         * testsuite/25_algorithms/equal/deque_iterators/1.cc: Don't use C++11
4667         initialization syntax.
4668
4669         PR libstdc++/92285
4670         * include/bits/streambuf_iterator.h (istreambuf_iterator): Make type
4671         of base class independent of __cplusplus value.
4672         [__cplusplus < 201103L] (istreambuf_iterator::reference): Override the
4673         type defined in the base class
4674         * testsuite/24_iterators/istreambuf_iterator/92285.cc: New test.
4675         * testsuite/24_iterators/istreambuf_iterator/requirements/
4676         base_classes.cc: Adjust expected base class for C++98.
4677
4678 2020-01-09  Olivier Hainque  <hainque@adacore.com>
4679
4680         * doc/xml/manual/appendix_contributing.xml: Document _C2
4681         as a reserved identifier, by VxWorks.
4682         * include/bits/stl_map.h: Rename _C2 template typenames as _Cmp2.
4683         * include/bits/stl_multimap.h: Likewise.
4684
4685 2020-01-09  Jonathan Wakely  <jwakely@redhat.com>
4686
4687         * include/ext/extptr_allocator.h (_ExtPtr_allocator::operator==)
4688         (_ExtPtr_allocator::operator!=): Add missing const qualifiers.
4689         * include/ext/pointer.h (readable_traits<_Pointer_adapter<S>>): Add
4690         partial specialization to disambiguate the two constrained
4691         specializations.
4692
4693         * include/experimental/type_traits (experimental::is_pod_v): Disable
4694         -Wdeprecated-declarations warnings around reference to std::is_pod.
4695         * include/std/type_traits (is_pod_v): Likewise.
4696         * testsuite/18_support/max_align_t/requirements/2.cc: Also check
4697         is_standard_layout and is_trivial. Do not check is_pod for C++20.
4698         * testsuite/20_util/is_pod/requirements/explicit_instantiation.cc:
4699         Add -Wno-deprecated for C++20.
4700         * testsuite/20_util/is_pod/requirements/typedefs.cc: Likewise.
4701         * testsuite/20_util/is_pod/value.cc: Likewise.
4702         * testsuite/experimental/type_traits/value.cc: Likewise.
4703
4704 2020-01-09  JeanHeyd "ThePhD" Meneide  <phdofthehouse@gmail.com>
4705
4706         * include/bits/c++config (_GLIBCXX20_DEPRECATED): Add new macro.
4707         * include/std/type_traits (is_pod, is_pod_v): Deprecate for C++20.
4708         * testuite/20_util/is_pod/deprecated-2a.cc: New test.
4709
4710 2020-01-09  Jonathan Wakely  <jwakely@redhat.com>
4711
4712         PR libstdc++/93205
4713         * include/bits/random.h (operator>>): Check stream operation succeeds.
4714         * include/bits/random.tcc (operator<<): Remove redundant __ostream_type
4715         typedefs.
4716         (operator>>): Remove redundant __istream_type typedefs. Check stream
4717         operations succeed.
4718         (__extract_params): New function to fill a vector from a stream.
4719         * testsuite/26_numerics/random/pr60037-neg.cc: Adjust dg-error line.
4720
4721         PR libstdc++/93208
4722         * config/abi/pre/gnu.ver: Add new exports.
4723         * include/std/memory_resource (memory_resource::~memory_resource()):
4724         Do not define inline.
4725         (monotonic_buffer_resource::~monotonic_buffer_resource()): Likewise.
4726         * src/c++17/memory_resource.cc (memory_resource::~memory_resource()):
4727         Define.
4728         (monotonic_buffer_resource::~monotonic_buffer_resource()): Define.
4729         * testsuite/20_util/monotonic_buffer_resource/93208.cc: New test.
4730
4731 2020-01-09  François Dumont  <fdumont@gcc.gnu.org>
4732
4733         PR libstdc++/92124
4734         * include/bits/hashtable.h (_Hashtable<>::__alloc_node_gen_t): New
4735         template alias.
4736         (_Hashtable<>::__fwd_value_for): New.
4737         (_Hashtable<>::_M_assign_elements<>): Remove _NodeGenerator template
4738         parameter.
4739         (_Hashtable<>::_M_assign<>): Add _Ht template parameter.
4740         (_Hashtable<>::operator=(const _Hashtable<>&)): Adapt.
4741         (_Hashtable<>::_M_move_assign): Adapt. Replace std::move_if_noexcept
4742         with std::move.
4743         (_Hashtable<>::_Hashtable(const _Hashtable&)): Adapt.
4744         (_Hashtable<>::_Hashtable(const _Hashtable&, const allocator_type&)):
4745         Adapt.
4746         (_Hashtable<>::_Hashtable(_Hashtable&&, const allocator_type&)):
4747         Adapt.
4748         * testsuite/23_containers/unordered_set/92124.cc: New.
4749
4750 2020-01-08  Jonathan Wakely  <jwakely@redhat.com>
4751
4752         PR libstdc++/93201
4753         * src/c++17/fs_ops.cc (do_remove_all): New function implementing more
4754         detailed error reporting for remove_all. Check result of recursive
4755         call before incrementing iterator.
4756         (remove_all(const path&), remove_all(const path&, error_code&)): Use
4757         do_remove_all.
4758         * src/filesystem/ops.cc (remove_all(const path&, error_code&)): Check
4759         result of recursive call before incrementing iterator.
4760         * testsuite/27_io/filesystem/operations/remove_all.cc: Check errors
4761         are reported correctly.
4762         * testsuite/experimental/filesystem/operations/remove_all.cc: Likewise.
4763
4764 2020-01-07  Thomas Rodgers  <trodgers@redhat.com>
4765
4766         * include/std/condition_variable
4767         (condition_variable_any::wait_on): Rename to match current draft
4768         standard.
4769         (condition_variable_any::wait_on_until): Likewise.
4770         (condition_variable_any::wait_on_for): Likewise.
4771         * testsuite/30_threads/condition_variable_any/stop_token/wait_on.cc:
4772         Adjust tests to account for renamed methods.
4773
4774 2020-01-07  François Dumont  <fdumont@gcc.gnu.org>
4775
4776         PR libstdc++/92124
4777         * include/bits/stl_tree.h
4778         (_Rb_tree<>::_M_move_assign(_Rb_tree&, false_type)): Replace
4779         std::move_if_noexcept by std::move.
4780         * testsuite/23_containers/map/92124.cc: New.
4781         * testsuite/23_containers/set/92124.cc: New.
4782
4783 2020-01-06  Jonathan Wakely  <jwakely@redhat.com>
4784
4785         * include/std/stop_token (stop_token): Remove operator!= (LWG 3254).
4786         (stop_source): Likewise (LWG 3362).
4787         * testsuite/30_threads/stop_token/stop_source.cc: Test equality
4788         comparisons.
4789
4790         * include/bits/stl_algobase.h (__is_byte_iter, __min_cmp)
4791         (lexicographical_compare_three_way): Do not depend on
4792         __cpp_lib_concepts.
4793         * include/std/version (__cpp_lib_three_way_comparison): Only define
4794         when __cpp_lib_concepts is defined.
4795         * libsupc++/compare (__cpp_lib_three_way_comparison): Likewise.
4796
4797 2020-01-03  Jonathan Wakely  <jwakely@redhat.com>
4798
4799         * include/bits/stl_algobase.h (lexicographical_compare_three_way):
4800         Only define four-argument overload when __cpp_lib_concepts is defined.
4801
4802 2020-01-01  John David Anglin  <danglin@gcc.gnu.org>
4803
4804         * config/abi/post/hppa-linux-gnu/baseline_symbols.txt: Update.
4805
4806 2020-01-01  Jakub Jelinek  <jakub@redhat.com>
4807
4808         Update copyright years.
4809 \f
4810 Copyright (C) 2020 Free Software Foundation, Inc.
4811
4812 Copying and distribution of this file, with or without modification,
4813 are permitted in any medium without royalty provided the copyright
4814 notice and this notice are preserved.