libstdc++-v3/ChangeLog

   1 2019-06-06  Jonathan Wakely  <jwakely@redhat.com>
   2
   3         * include/std/type_traits (is_empty, is_polymorphic, is_final)
   4         (is_abstract, is_aggregate): Remove static_assert.
   5         * testsuite/20_util/is_abstract/incomplete_neg.cc: Check for error
   6         from builtin only.
   7         * testsuite/20_util/is_aggregate/incomplete_neg.cc: Likewise. Add
   8         missing -std=gnu++17 option.
   9         * testsuite/20_util/is_empty/incomplete_neg.cc: New test.
  10         * testsuite/20_util/is_final/incomplete_neg.cc: New test.
  11         * testsuite/20_util/is_polymorphic/incomplete_neg.cc: Check for error
  12         from builtin only.
  13
  14         * testsuite/18_support/set_terminate.cc: Do not run for C++98 mode.
  15         * testsuite/18_support/set_unexpected.cc: Likewise.
  16         * testsuite/20_util/is_nothrow_invocable/value.cc: Test converting to
  17         void.
  18         * testsuite/20_util/is_nothrow_invocable/value_ext.cc: Fix constexpr
  19         function to be valid in C++11.
  20         * testsuite/26_numerics/complex/proj.cc: Do not run for C++98 mode.
  21         * testsuite/experimental/names.cc: Do not run for C++98 mode. Do not
  22         include Library Fundamentals or Networking headers in C++11 mode.
  23         * testsuite/ext/char8_t/atomic-1.cc: Do not run for C++98 mode.
  24
  25         * include/std/tuple (_TC): Replace with _TupleConstraints.
  26         (_TupleConstraints): New helper for SFINAE constraints, with more
  27         expressive member functions to reduce duplication when used.
  28         (tuple::_TC2, tuple::_TMC, tuple::_TNTC): Remove.
  29         (tuple::_TCC): Replace dummy type parameter with bool non-type
  30         parameter that can be used to check the pack size.
  31         (tuple::_ImplicitDefaultCtor, tuple::_ExplicitDefaultCtor)
  32         (tuple::_ImplicitCtor, tuple::_ExplicitCtor): New alias templates for
  33         checking constraints in constructors.
  34         (tuple::__valid_args, tuple::_UseOtherCtor, tuple::__use_other_ctor):
  35         New SFINAE helpers.
  36         (tuple::tuple): Use new helpers to reduce repitition in constraints.
  37         (tuple::tuple(allocator_arg_t, const Alloc&)): Constrain.
  38         (tuple<T1, T2>::_TCC, tuple<T1, T2>::_ImplicitDefaultCtor)
  39         (tuple<T1, T2>::_ExplicitDefaultCtor, tuple<T1, T2>::_ImplicitCtor)
  40         (tuple<T1, T2>::_ExplicitCtor): New alias templates for checking
  41         constraints in constructors.
  42         (tuple::__is_alloc_arg()): New SFINAE helpers.
  43         (tuple<T1, T2>::tuple): Use new helpers to reduce repitition in
  44         constraints.
  45         (tuple<T1, T2>::tuple(allocator_arg_t, const Alloc&)): Constrain.
  46         * testsuite/20_util/tuple/cons/90700.cc: New test.
  47         * testsuite/20_util/tuple/cons/allocators.cc: Add default constructor
  48         to meet new constraint on allocator-extended default constructor.
  49
  50 2019-06-03  Jonathan Wakely  <jwakely@redhat.com>
  51
  52         * include/bits/stl_map.h (map): Disable static assert for C++98 mode.
  53         * include/bits/stl_multimap.h (multimap): Likewise.
  54
  55 2019-06-03  François Dumont  <fdumont@gcc.gnu.org>
  56
  57         Rename variables and cleanup comments.
  58         * include/bits/hashtable_policy.h
  59         * include/bits/hashtable.h
  60
  61 2019-06-03  Jonathan Wakely  <jwakely@redhat.com>
  62
  63         * doc/xml/manual/status_cxx2020.xml: Add missing row for P0920R2.
  64         Fix bgcolor for P0340R3.
  65         * doc/html/*: Regenerate.
  66
  67         PR libstdc++/90686
  68         * doc/xml/manual/status_cxx2014.xml: Document what's missing from
  69         <experimental/memory_resource>.
  70         * doc/xml/manual/status_cxx2020.xml: Document status of P1285R0,
  71         P0339R6, P0340R3, P1164R1 and P1357R1.
  72         * doc/html/*: Regenerate.
  73
  74         * doc/xml/manual/status_cxx2020.xml: Document P1463R1 status.
  75         * include/bits/forward_list.h [__cplusplus > 201703]: Enable
  76         allocator::value_type assertion for C++2a.
  77         * include/bits/hashtable.h: Likewise.
  78         * include/bits/stl_deque.h: Likewise.
  79         * include/bits/stl_list.h: Likewise.
  80         * include/bits/stl_map.h: Likewise.
  81         * include/bits/stl_multimap.h: Likewise.
  82         * include/bits/stl_multiset.h: Likewise.
  83         * include/bits/stl_set.h: Likewise.
  84         * include/bits/stl_vector.h: Likewise.
  85         * testsuite/23_containers/deque/48101-3_neg.cc: New test.
  86         * testsuite/23_containers/forward_list/48101-3_neg.cc: New test.
  87         * testsuite/23_containers/list/48101-3_neg.cc: New test.
  88         * testsuite/23_containers/map/48101-3_neg.cc: New test.
  89         * testsuite/23_containers/multimap/48101-3_neg.cc: New test.
  90         * testsuite/23_containers/multiset/48101-3_neg.cc: New test.
  91         * testsuite/23_containers/set/48101-3_neg.cc: New test.
  92         * testsuite/23_containers/unordered_map/48101-3_neg.cc: New test.
  93         * testsuite/23_containers/unordered_multimap/48101-3_neg.cc: New test.
  94         * testsuite/23_containers/unordered_multiset/48101-3_neg.cc: New test.
  95         * testsuite/23_containers/unordered_set/48101-3_neg.cc: New test.
  96         * testsuite/23_containers/vector/48101-3_neg.cc: New test.
  97
  98 2019-05-31  Gerald Pfeifer  <gerald@pfeifer.com>
  99
 100         * doc/xml/manual/allocator.xml: Move hoard.org back to http.
 101
 102 2019-05-31  Jonathan Wakely  <jwakely@redhat.com>
 103
 104         * include/std/tuple (tuple<>): Add noexcept to allocator-extended
 105         constructors.
 106         (tuple<T1, T2>::__nothrow_default_constructible()): New helper
 107         function.
 108         (tuple<T1, T2>::tuple(), explicit tuple<T1, T2>::tuple()): Use helper.
 109
 110 2019-05-31  Jonathan Wakely  <jwakely@redhat.com>
 111
 112         * src/c++98/bitmap_allocator.cc: Add using-declaration for size_t.
 113
 114         PR libstdc++/90682
 115         * libsupc++/eh_term_handler.cc: Include eh_term_handler.h to get
 116         definition of _GLIBCXX_DEFAULT_TERM_HANDLER.
 117         * libsupc++/eh_term_handler.h: New header defining
 118         _GLIBCXX_DEFAULT_TERM_HANDLER.
 119         * libsupc++/eh_terminate.cc: Include eh_term_handler.h.
 120         (set_terminate): Restore default handler when argument is null.
 121         (set_unexpected): Likewise.
 122         * testsuite/18_support/set_terminate.cc: New test.
 123         * testsuite/18_support/set_unexpected.cc: New test.
 124
 125         * include/backward/hashtable.h (size_t, ptrdiff_t)
 126         (forward_iterator_tag, input_iterator_tag, _Construct, _Destroy)
 127         (distance, vector, pair, __iterator_category): Remove
 128         using-declarations that add these names to namespace __gnu_cxx.
 129         * include/ext/bitmap_allocator.h (size_t, ptrdiff_t): Likewise.
 130         * include/ext/debug_allocator.h (size_t): Likewise.
 131         * include/ext/functional (size_t, unary_function, binary_function)
 132         (mem_fun1_t, const_mem_fun1_t, mem_fun1_ref_t, const_mem_fun1_ref_t):
 133         Likewise.
 134         * include/ext/malloc_allocator.h (size_t, ptrdiff_t): Likewise.
 135         * include/ext/memory (ptrdiff_t, pair, __iterator_category): Likewise.
 136         * include/ext/mt_allocator.h (size_t, ptrdiff_t): Likewise.
 137         * include/ext/new_allocator.h (size_t, ptrdiff_t): Likewise.
 138         * include/ext/numeric (iota): Fix outdated comment.
 139         * include/ext/pool_allocator.h (size_t, ptrdiff_t): Likewise.
 140         * include/ext/rb_tree (_Rb_tree, allocator): Likewise.
 141         * include/ext/rope (size_t, ptrdiff_t, allocator, _Destroy): Likewise.
 142         * include/ext/ropeimpl.h (size_t, printf, basic_ostream)
 143         (__throw_length_error, _Destroy, std::__uninitialized_fill_n_a):
 144         Likewise.
 145         * include/ext/slist (size_t, ptrdiff_t, _Construct, _Destroy)
 146         (allocator, __true_type, __false_type): Likewise.
 147
 148 2019-05-31  Antony Polukhin  <antoshkka@gmail.com>
 149
 150         PR libstdc++/71579
 151         * include/std/type_traits __type_identity, __is_complete_or_unbounded):
 152         New helpers for checking preconditions in traits.
 153         (is_trivial, is_trivially_copyable, is_standard_layout, is_pod)
 154         (is_literal_type, is_empty, is_polymorphic, is_final, is_abstract)
 155         (is_destructible, is_nothrow_destructible, is_constructible)
 156         (is_default_constructible, is_copy_constructible)
 157         (is_move_constructible, is_nothrow_default_constructible)
 158         (is_nothrow_constructible, is_nothrow_copy_constructible)
 159         (is_nothrow_move_constructible, is_copy_assignable, is_move_assignable)
 160         (is_nothrow_assignable, is_nothrow_copy_assignable)
 161         (is_nothrow_move_assignable, is_trivially_constructible)
 162         (is_trivially_copy_constructible, is_trivially_move_constructible)
 163         is_trivially_assignable, is_trivially_copy_assignable)
 164         (is_trivially_move_assignable, is_trivially_destructible)
 165         (alignment_of, is_swappable, is_nothrow_swappable, is_invocable)
 166         (is_invocable_r, is_nothrow_invocable)
 167         (has_unique_object_representations, is_aggregate): Add static_asserts
 168         to make sure that type traits are not misused with incomplete types.
 169         (__is_constructible_impl, __is_nothrow_default_constructible_impl)
 170         (__is_nothrow_constructible_impl, __is_nothrow_assignable_impl): New
 171         base characteristics without assertions that can be reused in other
 172         traits.
 173         * testsuite/20_util/is_complete_or_unbounded/memoization.cc: New test.
 174         * testsuite/20_util/is_complete_or_unbounded/memoization_neg.cc: New
 175         test.
 176         * testsuite/20_util/is_complete_or_unbounded/value.cc: New test.
 177         * testsuite/20_util/is_abstract/incomplete_neg.cc: New test.
 178         * testsuite/20_util/is_aggregate/incomplete_neg.cc: New test.
 179         * testsuite/20_util/is_class/value.cc: Check incomplete type.
 180         * testsuite/20_util/is_function/value.cc: Likewise.
 181         * testsuite/20_util/is_move_constructible/incomplete_neg.cc: New test.
 182         * testsuite/20_util/is_nothrow_move_assignable/incomplete_neg.cc: New
 183         test.
 184         * testsuite/20_util/is_polymorphic/incomplete_neg.cc: New test.
 185         * testsuite/20_util/is_reference/value.cc: Check incomplete types.
 186         * testsuite/20_util/is_unbounded_array/value.cc: Likewise.
 187         * testsuite/20_util/is_union/value.cc: Likewise.
 188         * testsuite/20_util/is_void/value.cc: Likewise.
 189         * testsuite/util/testsuite_tr1.h: Add incomplete union type.
 190
 191 2019-05-31  Jonathan Wakely  <jwakely@redhat.com>
 192
 193         * include/bits/random.h (random_device::_M_init(const char*, size_t)):
 194         Add new private member function.
 195         * src/c++11/cow-string-inst.cc (random_device::_M_init(const string&))
 196         (random_device::_M_init_pretr1(const string&)): Call new private
 197         member with string data.
 198         * src/c++11/random.cc (random_device::_M_init(const char*, size_t)):
 199         Define.
 200         * testsuite/26_numerics/random/random_device/cons/default-cow.cc: New
 201         test using COW strings.
 202         * testsuite/26_numerics/random/random_device/cons/default.cc: Generate
 203         a value from the device.
 204         * testsuite/26_numerics/random/random_device/cons/token.cc: Likewise.
 205         Fix typo in token string.
 206
 207 2019-05-30  Nina Dinka Ranns  <dinka.ranns@gmail.com>
 208
 209         LWG2788 basic_string spurious use of a default constructible allocator
 210         * include/bits/basic_string.tcc [_GLIBCXX_USE_CXX11_ABI]
 211         (basic_string::_M_replace_dispatch): Construct temporary string with
 212         the current allocator.
 213         * testsuite/21_strings/basic_string/allocator/char/lwg2788.cc: New.
 214         * testsuite/21_strings/basic_string/allocator/wchar_t/lwg2788.cc: New.
 215
 216 2019-05-30  Jonathan Wakely  <jwakely@redhat.com>
 217
 218         * doc/xml/manual/diagnostics.xml: Update list of headers that define
 219         exception classes.
 220         * doc/xml/manual/support.xml: Rewrite advice around NULL. Rewrite
 221         section about new/delete overloads. Improve section on verbose
 222         terminate handler.
 223         * doc/html/*: Regenerate.
 224
 225         * doc/xml/manual/status_cxx2020.xml: Add feature-test macro for
 226         P0811R3. Change status of P1353R0.
 227         * doc/html/*: Regenerate.
 228
 229         * doc/xml/manual/status_cxx2011.xml: Use <variablelist> for
 230         documentation of implementation-defined types for [thread.req.native].
 231         * doc/xml/manual/status_cxx2017.xml: Update documentation of
 232         implementation-defined strings for [variant.bad.access]. Fix typo in
 233         documentation of implementation-defined support for [fs.conform.9945].
 234         * doc/html/*: Regenerate.
 235
 236 2019-05-29  Jonathan Wakely  <jwakely@redhat.com>
 237
 238         PR libstdc++/85494
 239         * testsuite/26_numerics/random/random_device/cons/token.cc: Fix test
 240         that fails on mingw-w64.
 241
 242         PR libstdc++/88881
 243         * src/c++17/fs_ops.cc [_GLIBCXX_FILESYSTEM_IS_WINDOWS]
 244         (status(const path&, error_code&)): Use parent_path() to remove
 245         trailing slash.
 246         (symlink_status(const path&, error_code&)): Duplicate workaround for
 247         bug in _wstat for paths with trailing slash.
 248         * testsuite/27_io/filesystem/operations/remove_all.cc: Check path
 249         with trailing slash.
 250         * testsuite/27_io/filesystem/operations/status.cc: Likewise.
 251         * testsuite/27_io/filesystem/operations/symlink_status.cc: Likewise.
 252
 253         * src/c++17/fs_path.cc (path::parent_path()): Create whole path at
 254         once instead of building it iteratively.
 255
 256         * testsuite/util/testsuite_api.h: Remove names of unused parameters.
 257
 258         PR libstdc++/85494 use rdseed and rand_s in std::random_device
 259         * acinclude.m4 (GLIBCXX_CHECK_X86_RDSEED): Define macro to check if
 260         the assembler supports rdseed.
 261         * config.h.in: Regenerate.
 262         * configure: Regenerate.
 263         * configure.ac: Use GLIBCXX_CHECK_X86_RDSEED.
 264         * config/os/mingw32-w64/os_defines.h (_GLIBCXX_USE_CRT_RAND_S): Define.
 265         * doc/html/*: Regenerate.
 266         * doc/xml/manual/status_cxx2011.xml: Document new tokens.
 267         * include/bits/random.h (random_device::random_device()): Always call
 268         _M_init rather than _M_init_pretr1.
 269         (random_device::random_device(const string&)): Likewise.
 270         (random_device::operator()()): Always call _M_getval().
 271         (random_device::_M_file): Replace first member of union with an
 272         anonymous struct, with _M_file as its first member.
 273         * src/c++11/random.cc [_GLIBCXX_X86_RDRAND] (USE_RDRAND): Define.
 274         [_GLIBCXX_X86_RDSEED] (USE_RDSEED): Define.
 275         (USE_MT19937): Define if none of the above are defined.
 276         (USE_POSIX_FILE_IO): Define.
 277         (_M_strtoul): Remove.
 278         [USE_RDSEED] (__x86_rdseed): Define new function.
 279         [_GLIBCXX_USE_CRT_RAND_S] (__winxp_rand_s): Define new function.
 280         (random_device::_M_init(const string&)): Initialize new union members.
 281         Add support for "rdseed" and "rand_s" tokens. Decide what the
 282         "default" token does according to which USE_* macros are defined.
 283         [USE_POSIX_FILE_IO]: Store a file descriptor.
 284         [USE_MT19937]: Forward to _M_init_pretr1 instead.
 285         (random_device::_M_init_pretr1(const string&)) [USE_MT19937]: Inline
 286         code from _M_strtoul.
 287         [!USE_MT19937]: Call _M_init, transforming the old default token or
 288         numeric tokens to "default".
 289         (random_device::_M_fini()) [USE_POSIX_FILE_IO]: Use close not fclose.
 290         (random_device::_M_getval()): Use new union members to obtain a
 291         random number from the stored function pointer or file descriptor.
 292         [USE_MT19937]: Obtain a value from the mt19937 engine.
 293         (random_device::_M_getval_pretr1()): Call _M_getval().
 294         (random_device::_M_getentropy()) [USE_POSIX_FILE_IO]: Use _M_fd
 295         instead of fileno.
 296         [!USE_MT19937] (mersenne_twister): Do not instantiate when not needed.
 297         * testsuite/26_numerics/random/random_device/85494.cc: New test.
 298
 299 2019-05-28  Jonathan Wakely  <jwakely@redhat.com>
 300
 301         PR libstdc++/90634
 302         * include/experimental/bits/fs_path.h (path::path(path&&)): Only call
 303         _M_split_cmpts() for a path with multiple components.
 304         (path::_S_is_dir_sep()): Add missing 'static' keyword to function.
 305         * src/filesystem/path.cc (path::_M_split_cmpts()): Count number of
 306         components and reserve space in vector. Return early when there is
 307         only one component.
 308         * testsuite/27_io/filesystem/path/construct/90634.cc: New test.
 309         * testsuite/experimental/filesystem/path/construct/90634.cc: New test.
 310
 311         * testsuite/util/testsuite_fs.h (compare_paths): Use three-argument
 312         form of std::equals for C++11 compatibility.
 313
 314 2019-05-26  Gerald Pfeifer  <gerald@pfeifer.com>
 315
 316         * doc/xml/manual/appendix_contributing.xml: Update pointer to
 317         C++ standard at ansi.org.
 318
 319 2019-05-24  Jonathan Wakely  <jwakely@redhat.com>
 320
 321         * include/std/numeric (midpoint(T*, T*)): Fix incorrect result.
 322         * testsuite/26_numerics/midpoint/pointer.cc: Change "compile" test
 323         to "run".
 324
 325         * testsuite/20_util/shared_ptr/cons/alias-rval.cc: Fix test.
 326         * testsuite/20_util/shared_ptr/cons/alias.cc: Remove unused function.
 327
 328 2019-05-23  Jonathan Wakely  <jwakely@redhat.com>
 329
 330         * testsuite/20_util/function_objects/invoke/1.cc: Move C++17-specific
 331         tests to ...
 332         * testsuite/20_util/function_objects/invoke/3.cc: New test.
 333         * testsuite/23_containers/unordered_set/allocator/ext_ptr.cc: Change
 334         "compile" test to "run".
 335
 336         * doc/xml/manual/intro.xml: Document LWG DR 2996 change.
 337         * doc/html/*: Regenerate.
 338         * include/bits/shared_ptr.h (shared_ptr(shared_ptr&&, T*)): Add
 339         rvalue aliasing constructor.
 340         (static_pointer_cast, const_pointer, dynamic_pointer_cast)
 341         (reinterpret_pointer_cast): Add overloads taking rvalues.
 342         * include/bits/shared_ptr_base.h (__shared_ptr(__shared_ptr&&, T*)):
 343         Add rvalue aliasing constructor.
 344         * testsuite/20_util/shared_ptr/casts/1.cc: Change "compile" test to
 345         "run" and check return values as well as types.
 346         * testsuite/20_util/shared_ptr/casts/reinterpret.cc: Likewise.
 347         * testsuite/20_util/shared_ptr/casts/rval.cc: New test.
 348         * testsuite/20_util/shared_ptr/cons/alias-rval.cc: New test.
 349         * testsuite/20_util/shared_ptr/cons/alias.cc: Remove unused return
 350         values.
 351
 352         * doc/xml/manual/evolution.xml: Document LWG DR 2921 change.
 353         * doc/xml/manual/intro.xml: Likewise.
 354         * include/std/future (__create_task_state): Add default arguments
 355         to make providing an allocator optional.
 356         (packaged_task::packaged_task(F&&)): Call __create_task_state directly
 357         instead of delegating to another constructor.
 358         (packaged_task::packaged_task(allocator_arg_t, const A&, ...)): Do not
 359         define allocator-extended constructors for C++17 and later.
 360         * testsuite/30_threads/packaged_task/cons/alloc.cc: Only run test for
 361         C++11 and C++14.
 362         * testsuite/30_threads/packaged_task/cons/alloc2.cc: Likewise.
 363         * testsuite/30_threads/packaged_task/cons/alloc_min.cc: Likewise.
 364         * testsuite/30_threads/packaged_task/uses_allocator.cc: Likewise.
 365
 366 2019-05-23  Hans-Peter Nilsson  <hp@axis.com>
 367
 368         * testsuite/26_numerics/random/poisson_distribution/operators/values.cc:
 369         Don't run the libstdc++/83237 part on simulator targets.
 370
 371 2019-05-23  Jonathan Wakely  <jwakely@redhat.com>
 372
 373         * doc/xml/manual/status_cxx2017.xml: Add feature test macro for
 374         P0040R3.
 375         * doc/html/*: Regenerate.
 376
 377         * include/experimental/any (__any_caster): Use RTTI if comparing
 378         addresses fails, to support non-unique addresses in shared libraries.
 379         * include/std/any (__any_caster): Likewise.
 380
 381         PR libstdc++/90220
 382         * include/experimental/any (__any_caster): Constrain to only be
 383         callable for object types. Use remove_cv_t instead of decay_t.
 384         If the type decays or isn't copy constructible, compare the manager
 385         function to a dummy specialization.
 386         (__any_caster): Add overload constrained for non-object types.
 387         (any::_Manager_internal<_Op>): Add dummy specialization.
 388         * testsuite/experimental/any/misc/any_cast.cc: Test function types
 389         and array types.
 390
 391 2019-05-22  Jonathan Wakely  <jwakely@redhat.com>
 392
 393         PR libstdc++/90557
 394         * src/c++17/fs_path.cc (path::_List::operator=(const _List&)): Fix
 395         reversed arguments to uninitialized_copy_n.
 396         * testsuite/27_io/filesystem/path/assign/copy.cc: Check that source
 397         is unchanged by copy assignment.
 398         * testsuite/util/testsuite_fs.h (compare_paths): Use std::equal to
 399         compare path components.
 400
 401         PR libstdc++/77691
 402         * include/experimental/memory_resource: Add system header pragma and
 403         do not define anything unless compiled as C++14 or later.
 404         (__resource_adaptor_common::__guaranteed_alignment): Remove.
 405         (__resource_adaptor_imp::do_allocate): If the requested alignment
 406         is a fundamental alignment then either allocate directly from _M_alloc
 407         or call the new _M_allocate function.
 408         (__resource_adaptor_imp::do_deallocate): Likewise for deallocation.
 409         (__resource_adaptor_imp::_M_allocate): New function that uses a copy
 410         of the allocator rebound to a POD type with the specified alignment.
 411         (__resource_adaptor_imp::_M_deallocate): Likewise for deallocation.
 412         * testsuite/experimental/memory_resource/new_delete_resource.cc:
 413         Adjust expected allocation sizes.
 414         * testsuite/experimental/memory_resource/resource_adaptor.cc: Remove
 415         xfail for Solaris x86.
 416
 417 2019-05-21  Thomas Rodgers  <trodgers@redhat.com>
 418
 419         LWG 3062 - Unnecessary decay_t in is_execution_policy_v
 420         * include/pstl/execution_defs.h (__enable_if_execution_policy):
 421         Use std::__remove_cvref_t when building with GCC.
 422
 423 2019-05-21  Jonathan Wakely  <jwakely@redhat.com>
 424
 425         PR libstdc++/90252
 426         * testsuite/lib/libstdc++.exp (check_effective_target_tbb-backend):
 427         Use "additional_flags" to pass -ltbb to v3_target_compile command.
 428         Use check_v3_target_prop_cached to cache the result of the test.
 429
 430         * doc/xml/manual/shared_ptr.xml: Fix names of lock policy constants.
 431
 432 2019-05-20  Thomas Rodgers  <trodgers@redhat.com>
 433
 434         PR libstdc++/90252
 435         * testsuite/lib/libstdc++.exp (check_effective_target_tbb-backend):
 436         Changed v3_target_compile check from preprocess to executable.
 437         Added "-ltbb" to v3_target_compile flags.
 438
 439 2019-05-20  Thomas Rodgers  <trodgers@redhat.com>
 440
 441         * testsuite/lib/libstdc++.exp (check_effective_target_tbb-backend):
 442         Add check for Thread Building Blocks 2018 or later.
 443
 444 2019-05-20  Jonathan Wakely  <jwakely@redhat.com>
 445
 446         * testsuite/experimental/names.cc: Only include Networking TS headers
 447         on targets with the necessary Gthreads support.
 448
 449 2019-05-20  Marek Polacek  <polacek@redhat.com>
 450
 451         CWG 2094 - volatile scalars are trivially copyable.
 452         PR c++/85679
 453         * testsuite/20_util/is_trivially_copyable/value.cc: Change the expected
 454         result for volatile int.
 455
 456 2019-05-20  Jonathan Wakely  <jwakely@redhat.com>
 457
 458         * testsuite/17_intro/names.cc: Do not check 'ptr' on Solaris.
 459         * testsuite/experimental/names.cc: Include <experimental/filesystem>
 460         conditionally.
 461
 462         PR c++/90532 Ensure __is_constructible(T[]) is false
 463         * include/std/type_traits (__do_is_default_constructible_impl)
 464         (__is_default_constructible_atom, __is_default_constructible_safe):
 465         Remove.
 466         (is_default_constructible): Use is_constructible.
 467         * testsuite/20_util/is_constructible/value.cc: Check int[] case.
 468         * testsuite/20_util/is_default_constructible/value.cc: Likewise.
 469         * testsuite/20_util/is_trivially_constructible/value.cc: Likewise.
 470         * testsuite/20_util/is_trivially_default_constructible/value.cc:
 471         Likewise.
 472
 473 2019-05-20  Pádraig Brady  <pbrady@fb.com>
 474
 475         * libstdc++-v3/include/ext/new_allocator.h (deallocate): Pass the size
 476         to the deallocator with -fsized-deallocation.
 477
 478 2019-05-20  Jonathan Wakely  <jwakely@redhat.com>
 479
 480         * testsuite/experimental/memory_resource/new_delete_resource.cc: Fix
 481         test by passing correct alignment to deallocate function.
 482
 483 2019-05-18  Jonathan Wakely  <jwakely@redhat.com>
 484
 485         PR libstdc++/90520
 486         * python/libstdcxx/v6/printers.py (UniquePointerPrinter.__init__):
 487         Raise exception if unique_ptr tuple member has unknown structure.
 488         * python/libstdcxx/v6/xmethods.py (UniquePtrGetWorker.__call__):
 489         Adjust worker to support new __uniq_ptr_data base class. Do not
 490         assume field called _M_head_impl is the first tuple element.
 491
 492 2019-05-17  François Dumont  <fdumont@gcc.gnu.org>
 493
 494         * include/bits/stl_deque.h
 495         (_Deque_iterator<>::__ptr_to): Remove, use std::__ptr_rebind.
 496         (_Deque_base(_Deque_base&&, const allocator_type&)): New.
 497         (_Deque_base::_Deque_impl_data): New.
 498         (_Deque_base::_Deque_impl): Inherit latter.
 499         (_Deque_base::_Deque_impl::_M_swap_data): Move...
 500         (_Deque_base::_Deque_impl_data::_M_swap_data): ... here.
 501         (_Deque_base::_Deque_impl()): Add noexcept qualification.
 502         (_Deque_base::_Deque_impl(_Deque_impl&&, _Tp_alloc_type&&)): New.
 503         (_Deque_base::_Deque_impl::_M_get_Tp_allocator()): Remove static_cast.
 504         (deque<>::deque()): Default.
 505         (deque<>::deque(deque&&)): Default.
 506         (deque<>::deque(deque&&, const allocator_type&, false_type)): New.
 507         (deque<>::deque(deque&&, const allocator_type&, true_type)): New.
 508         (deque<>::deque(deque&&, const allocator_type&)): Delegate to latters.
 509         (deque<>::deque<_It>(_It, _It, const allocator_type&)): Use
 510         _M_range_initialize.
 511         (deque<>::assign<_It>(_It, _It)): Use _M_assign_aux.
 512         (deque<>::resize(size_type, const value_type&)): Share a single
 513         implementation.
 514         (deque<>::insert<_It>(const_iterator, _It, _It)): Use
 515         _M_range_insert_aux.
 516         [__cplusplus >= 201103L](_M_initialize_dispatch): Remove.
 517         [__cplusplus >= 201103L](_M_assign_dispatch): Remove.
 518         [__cplusplus >= 201103L](_M_insert_dispatch): Remove.
 519         * testsuite/23_containers/deque/allocator/default_init.cc: New.
 520
 521 2019-05-17  Jonathan Wakely  <jwakely@redhat.com>
 522
 523         PR libstdc++/90246
 524         * include/std/variant (holds_alternative, get, get_if): Improve
 525         static assertion messages.
 526         (bad_variant_access::bad_variant_access()): Change default message.
 527         (__throw_bad_variant_access(bool)): New overload.
 528         (get): Use new overload.
 529         (visit, visit<R>): Improve exception message.
 530
 531         * testsuite/20_util/variant/compile.cc: Fix narrowing test for ILP32
 532         targets. Add more cases from P0608R3.
 533         * testsuite/20_util/variant/run.cc: Add more cases from P0608R3.
 534
 535         * include/bits/random.h (seed_seq::param): Fix non-reserved name.
 536         * include/experimental/type_traits (is_detected_exact)
 537         (is_detected_exact_v): Likewise.
 538         * include/pstl/execution_defs.h (is_execution_policy)
 539         (is_execution_policy_v, __enable_if_execution_policy): Likewise.
 540         * include/pstl/execution_impl.h (__policy_traits): Likewise.
 541         * testsuite/17_intro/names.cc: Check for more non-reserved names.
 542         * testsuite/experimental/names.cc: New test.
 543
 544         PR libstdc++/85965
 545         * include/bits/hashtable.h (_Hashtable::~_Hashtable()): Remove static
 546         assertions from the destructor.
 547         * include/bits/hashtable_policy.h (_Hash_code_base::_M_hash_code):
 548         Move static_assert for hash function to here.
 549         (_Hash_table_base::_M_equals): Move static_assert for equality
 550         predicate to here.
 551         * include/bits/stl_tree.h (_Rb_tree::_S_value(_Const_Link_type)):
 552         Remove.
 553         (_Rb_tree::_S_key(_Const_Link_type)): Move assertions here. Access
 554         the value directly instead of calling _S_value.
 555         (_Rb_tree::_S_value(_Const_Base_ptr)): Remove.
 556         (_Rb_tree::_S_key(_Const_Base_ptr)): Do downcast and forward to
 557         _S_key(_Const_Link_type).
 558         * testsuite/23_containers/set/85965.cc: Check construction,
 559         destruction, assignment and size() do not trigger the assertions.
 560         * testsuite/23_containers/unordered_set/85965.cc: Likewise.
 561         * testsuite/23_containers/map/48101_neg.cc: Call find and adjust
 562         expected errors.
 563         * testsuite/23_containers/multimap/48101_neg.cc: Likewise.
 564         * testsuite/23_containers/multiset/48101_neg.cc: Likewise.
 565         * testsuite/23_containers/set/48101_neg.cc: Likewise.
 566         * testsuite/23_containers/unordered_map/48101_neg.cc: Likewise.
 567         * testsuite/23_containers/unordered_multimap/48101_neg.cc: Likewise.
 568         * testsuite/23_containers/unordered_multiset/48101_neg.cc: Likewise.
 569         * testsuite/23_containers/unordered_set/48101_neg.cc: Likewise.
 570
 571         * include/bits/invoke.h [__cplusplus < 201703L] (__invoke_r<void>):
 572         Use _GLIBCXX14_CONSTEXPR because void functions cannot be constexpr
 573         in C++11.
 574
 575         * doc/xml/manual/status_cxx2020.xml: Update P0608R3, P0777R1, and
 576         P1165R1 entries.
 577         * doc/html/*: Regenerate.
 578         * include/std/tuple (make_from_tuple): Use remove_reference_t instead
 579         of decay_t (P0777R1).
 580
 581 2019-05-17  François Dumont  <fdumont@gcc.gnu.org>
 582
 583         Move from state of allocators (LWG2593)
 584         * include/bits/stl_deque.h
 585         (_Deque_base(_Deque_base&&, false_type)): Remove.
 586         (_Deque_base(_Deque_base&&, true_type)): Remove.
 587         (_Deque_base(_Deque_base&&)): Adapt.
 588         (_Deque_base::_M_move_impl()): Remove.
 589         * testsuite/util/testsuite_allocator.h
 590         (propagating_allocator(propagating_allocator&&)): Preserve move from
 591         state.
 592         * testsuite/23_containers/deque/allocator/move_assign.cc (test02):
 593         Adapt.
 594         * testsuite/23_containers/forward_list/allocator/move_assign.cc (test02):
 595         Adapt.
 596         * testsuite/23_containers/list/allocator/move_assign.cc (test02): Adapt.
 597         * testsuite/23_containers/map/allocator/move_assign.cc (test02): Adapt.
 598         * testsuite/23_containers/multimap/allocator/move_assign.cc (test02):
 599         Adapt.
 600         * testsuite/23_containers/multiset/allocator/move_assign.cc (test02):
 601         Adapt.
 602         * testsuite/23_containers/set/allocator/move_assign.cc (test02): Adapt.
 603         * testsuite/23_containers/unordered_map/allocator/move_assign.cc
 604         (test02): Adapt.
 605         * testsuite/23_containers/unordered_multimap/allocator/move_assign.cc
 606         (test02): Adapt.
 607         * testsuite/23_containers/unordered_multiset/allocator/move_assign.cc
 608         (test02): Adapt.
 609         * testsuite/23_containers/unordered_set/allocator/move_assign.cc
 610         (test02): Adapt.
 611         * testsuite/23_containers/vector/allocator/move_assign.cc (test02):
 612         Adapt.
 613         * testsuite/23_containers/vector/bool/allocator/move_assign.cc (test02):
 614         Adapt.
 615         * testsuite/21_strings/basic_string/allocator/char/move_assign.cc
 616         (test02): Adapt.
 617         * testsuite/21_strings/basic_string/allocator/wchar_t/move_assign.cc
 618         (test02): Adapt.
 619
 620 2019-05-16  Jonathan Wakely  <jwakely@redhat.com>
 621
 622         * src/c++17/fs_ops.cc (absolute(const path&, error_code&))
 623         [_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Remove bogus assertion.
 624
 625         * include/std/variant (__overload_set): Remove.
 626         (_Arr): New helper.
 627         (_Build_FUN): New class template to define a single FUN overload,
 628         with specializations to prevent unwanted conversions, as per P0608R3.
 629         (_Build_FUNs): New class template to build an overload set of FUN.
 630         (_FUN_type): New alias template to perform overload resolution.
 631         (__accepted_type): Use integer_constant base for failure case. Use
 632         _FUN_type for successful case.
 633         (variant::__accepted_index): Use _Tp instead of _Tp&&.
 634         (variant::variant(_Tp&&)): Likewise.
 635         (variant::operator=(_Tp&&)): Likewise.
 636
 637         * include/std/variant (_Variant_storage<false, _Types...>::_M_reset):
 638         Replace raw visitation with a runtime check for the valueless state
 639         and a non-raw visitor.
 640         (_Variant_storage<false, _Types...>::_M_reset_impl): Remove.
 641         (variant::index()): Remove branch.
 642         (variant::swap(variant&)): Use valueless_by_exception() instead of
 643         comparing the index to variant_npos, and add likelihood attribute.
 644
 645         * include/bits/hashtable_policy.h (_Equal_helper): Remove.
 646         (_Hashtable_base::_Equal_hash_code): Define new class template.
 647         (_Hashtable_base::_M_equals): Use _Equal_hash_code instead of
 648         _Equal_helper.
 649
 650         * include/bits/hashtable_policy.h (_Hashtable_ebo_helper::_S_get):
 651         Replace with _M_get non-static member function.
 652         (_Hashtable_ebo_helper::_S_cget): Replace with _M_cget non-static
 653         member function.
 654         (_Hash_code_base, _Local_iterator_base, _Hashtable_base):
 655         (_Hashtable_alloc): Adjust to use non-static members of EBO helper.
 656
 657         * include/bits/hashtable_policy.h (_Hash_code_base::_M_swap): Use
 658         _S_get accessors for members in EBO helpers.
 659         (_Hash_code_base::_M_extract(), _Hash_code_base::_M_ranged_hash())
 660         (_Hash_code_base::_M_h1(), _Hash_code_base::_M_h2()): Remove non-const
 661         overloads.
 662         (_Hashtable_base::_M_swap): Use _S_get accessors for members in EBO
 663         helpers.
 664         (_Hashtable_base::_M_eq()): Remove non-const overload.
 665
 666 2019-05-15  Jonathan Wakely  <jwakely@redhat.com>
 667
 668         * include/std/variant (visit, visit<R>): Qualify calls to __do_visit.
 669
 670 2019-05-14  Jonathan Wakely  <jwakely@redhat.com>
 671
 672         * testsuite/util/testsuite_allocator.h (NullablePointer::operator bool):
 673         Fix return value.
 674
 675 2019-05-14  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 676
 677         * config/os/solaris/solaris2.10: Move to ...
 678         * config/os/solaris: ... this.
 679         * configure.host (os_include_dir): Adapt.
 680         (abi_baseline_pair): Remove Solaris 10 handling.
 681         * config/abi/post/i386-solaris2.10: Remove.
 682         * config/abi/post/sparc-solaris2.10: Remove.
 683         * config/abi/post/i386-solaris2.11: Rename to ...
 684         * config/abi/post/i386-solaris: ... this.
 685         * config/abi/post/sparc-solaris2.11: Rename to ...
 686         * config/abi/post/sparc-solaris: ... this.
 687
 688         * libsupc++/new_opa.cc [_GLIBCXX_HAVE_MEMALIGN] [__sun]: Remove
 689         workaround.
 690
 691         * testsuite/ext/enc_filebuf/char/13598.cc: Remove *-*-solaris2.10
 692         xfail.
 693
 694 2019-05-14  Jonathan Wakely  <jwakely@redhat.com>
 695
 696         * include/std/variant (__visit_with_index): Remove typedef.
 697         (__deduce_visit_result): New tag type.
 698         (__raw_visit, __raw_idx_visit): New helper functions for "raw"
 699         visitation of possibly-valueless variants, forwarding to __do_visit
 700         with the relevant tag type.
 701         (_Variant_storage<false, _Types...>::_M_reset_impl): Use __raw_visit
 702         and make lambda return void.
 703         (__variant_construct): Likewise.
 704         (_Copy_assign_base::operator=, _Move_assign_base::operator=): Use
 705         __raw_idx_visit and make lambda return void.
 706         (_Multi_array::__untag_result): Add metafunction to check the function
 707         pointer type for a tag type that dictates the kind of visitation.
 708         (_Multi_array<_Ret(*)(_Visitor, _Variants...), __first, __rest...>):
 709         Use decltype(auto) instead of tagged function pointer type.
 710         (__gen_vtable_impl): Remove bool non-type parameter and unused
 711         _Variant_tuple parameter.
 712         (__gen_vtable_impl::__visit_invoke_impl): Remove.
 713         (__gen_vtable_impl::__do_visit_invoke): Remove.
 714         (__gen_vtable_impl::__do_visit_invoke_r): Remove.
 715         (__gen_vtable_impl::__visit_invoke): Use if-constexpr and __invoke_r
 716         for the visit<R> case, rather than dispatching to separate functions.
 717         (_VARIANT_RELATION_FUNCTION_TEMPLATE): Use __raw_idx_visit and make
 718         lambda return void.
 719         (variant::swap): Likewise.
 720         (__do_visit): Replace two non-type template parameters with a single
 721         type parameter, so that the caller must specify the visitor's return
 722         type (or one of the tag types).
 723         (visit): Deduce a return type from the visitor and use the
 724         __deduce_visit_result tag to enforce that all overloads return the
 725         same type.
 726         (visit<R>): Call __do_visit<R> with explicit result type.
 727         (__variant_hash_call_base_impl::operator()): Use __raw_visit and make
 728         lambda return void.
 729
 730 2019-05-14  Nina Dinka Ranns  <dinka.ranns@gmail.com>
 731
 732         nonesuch is insufficiently useless (lwg2996)
 733         * include/std/type_traits (struct __nonesuch): Added private base
 734         class to make __nonesuch not an aggregate and removed deleted default
 735         constructor.
 736         * include/bits/stl_pair.h (struct __nonesuch_no_braces): Removed.
 737         (operator=(const pair&)): Use __nonesuch instead of
 738         __nonesuch_no_braces.
 739         (operator=(pair&&)): Likewise
 740         * include/std/tuple (operator=(const tuple&)): Use __nonesuch instead
 741         of __nonesuch_no_braces.
 742         (operator=(tuple&&)): Likewise
 743         * include/experimental/type_traits (struct nonesuch): Added private
 744         base class to make nonesuch not an aggregate and removed deleted
 745         default constructor.
 746         * testsuite/20_util/nonesuch/nonesuch.cc: New.
 747         * testsuite/experimental/type_traits/nonesuch.cc: New.
 748
 749 2019-05-14  Jonathan Wakely  <jwakely@redhat.com>
 750
 751         * include/bits/std_function.h (_Simple_type_wrapper): Remove.
 752         (_Function_handler): Remove partial specializations for void return
 753         types and pointers to member.
 754         (_Function_handler::_M_manager): Adapt to removal of
 755         _Simple_type_wrapper.
 756         (_Function_handler::_M_invoke): Use __invoke_r instead of __invoke.
 757         * include/std/functional (_Bind_result::__enable_if_void)
 758         (_Bind_result::__disable_if_void): Remove sfinae helpers.
 759         (_Bind_result::__call): Use __invoke_r and remove overloads for void
 760         return types.
 761         * include/std/future (__future_base::_Task_state::_M_run)
 762         (__future_base::_Task_state::_M_run_delayed): Use __invoke_r and
 763         change return type of lambda expressions.
 764
 765         * include/bits/invoke.h (__invoke_r): Define new function implementing
 766         the INVOKE<R> pseudo-function.
 767         * testsuite/20_util/function_objects/invoke/1.cc: Add more tests.
 768         * testsuite/20_util/function_objects/invoke/2.cc: New test.
 769
 770         * include/std/type_traits (__is_nt_convertible_helper): Define it
 771         unconditionally, not only for C++20.
 772         (__is_nothrow_convertible): Define internal trait for use in C++11.
 773         (__is_nt_invocable_impl: Fix by using __is_nothrow_convertible.
 774         (is_invocable_r_v, is_nothrow_invocable_r_v): Add missing parameter.
 775         * testsuite/20_util/is_nothrow_convertible/value_ext.cc: New test.
 776         * testsuite/20_util/is_nothrow_convertible/value.cc: Check with type
 777         that has nothrow explicit conversion but potentially-throwing implicit
 778         conversion.
 779         * testsuite/20_util/is_nothrow_invocable/value.cc: Likewise.
 780         * testsuite/20_util/is_nothrow_invocable/value_ext.cc: Fix helper
 781         function to only consider implicit conversions.
 782         * testsuite/20_util/tuple/cons/noexcept_specs.cc: Add comment.
 783
 784         * include/std/iterator: Include <iosfwd> instead of <istream> and
 785         <ostream>.
 786
 787         * include/bits/stl_tree.h (_Rb_tree::erase(const Key*, const Key*)):
 788         Remove unused, non-standard function.
 789
 790         * include/bits/regex.h (match_results::max_size()): Adjust return
 791         value to account for prefix/suffix/unmatched subs.
 792         (match_results::_M_resize(unsigned int)): Use _Base_type::assign to
 793         reset the contained sub matches.
 794         (match_results::_M_establish_failed_match(_Bi_iter)): Add new member
 795         function to set result state following a failed match.
 796         * include/bits/regex.tcc (__regex_algo_impl): Remove loop to set
 797         sub_match states after _M_resize. Use _M_establish_failed_match.
 798
 799         PR libstdc++/69724
 800         * include/std/thread (thread::_State_impl, thread::_S_make_state):
 801         Replace single _Callable parameter with variadic _Args pack, to
 802         forward them directly to the tuple of decayed copies.
 803         * testsuite/30_threads/thread/cons/69724.cc: New test.
 804
 805 2019-05-14  Nina Dinka Ranns  <dinka.ranns@gmail.com>
 806
 807         Inconsistency wrt Allocators in basic_string assignment (LWG2579)
 808         * include/bits/basic_string.h: (operator=(const basic_string&):
 809         Move allocator decision to assign.
 810         (assign(const basic_string&)): Move allocator decision here.
 811         * testsuite/21_strings/basic_string/allocator/char/copy_assign.cc:
 812         Add tests.
 813         * testsuite/21_strings/basic_string/allocator/wchar_t/copy_assign.cc:
 814         Add tests.
 815
 816 2019-05-14  Jonathan Wakely  <jwakely@redhat.com>
 817
 818         * testsuite/util/testsuite_allocator.h (memory_resource)
 819         (default_resource_mgr): Fix indentation.
 820
 821         * testsuite/20_util/allocator_traits/members/allocate_hint_nonpod.cc:
 822         Use operator-> to access raw pointer member.
 823         * testsuite/23_containers/vector/59829.cc: Likewise.
 824         * testsuite/23_containers/vector/bool/80893.cc: Likewise.
 825         * testsuite/libstdc++-prettyprinters/cxx11.cc: Use NullablePointer.
 826         * testsuite/util/testsuite_allocator.h (NullablePointer): New utility
 827         for tests.
 828         (PointerBase, PointerBase_void): Derive from NullablePointer and use
 829         its constructors and equality operators. Change converting
 830         constructors to use operator-> to access private member of the other
 831         pointer type.
 832         (PointerBase_void::operator->()): Add, for access to private member.
 833         (operator-(PointerBase, PointerBase)): Change to hidden friend.
 834         (operator==(PointerBase, PointerBase)): Remove.
 835         (operator!=(PointerBase, PointerBase)): Remove.
 836
 837         * python/libstdcxx/v6/printers.py (UniquePointerPrinter.__init__): Do
 838         not assume field called _M_head_impl is the first tuple element.
 839         * testsuite/libstdc++-prettyprinters/compat.cc: Make tuple
 840         implementation more accurate.
 841         * testsuite/libstdc++-prettyprinters/cxx11.cc: Check unique_ptr with
 842         empty pointer type and non-empty deleter.
 843
 844         LWG 2899 - Make is_move_constructible correct for unique_ptr
 845         * include/bits/unique_ptr.h (__uniq_ptr_impl): Add move constructor,
 846         move assignment operator.
 847         (__uniq_ptr_impl::release(), __uniq_ptr_impl::reset(pointer)): Add.
 848         (__uniq_ptr_data): New class template with conditionally deleted
 849         special members.
 850         (unique_ptr, unique_ptr<T[], D>): Change type of data member from
 851         __uniq_ptr_impl<T, D> to __uniq_ptr_data<T, D>. Define move
 852         constructor and move assignment operator as defaulted.
 853         (unique_ptr::release(), unique_ptr<T[], D>::release()): Forward to
 854         __uniq_ptr_impl::release().
 855         (unique_ptr::reset(pointer), unique_ptr<T[], D>::reset<U>(U)): Forward
 856         to __uniq_ptr_impl::reset(pointer).
 857         * python/libstdcxx/v6/printers.py (UniquePointerPrinter.__init__):
 858         Check for new __uniq_ptr_data type.
 859         * testsuite/20_util/unique_ptr/dr2899.cc: New test.
 860
 861 2019-05-13  Jonathan Wakely  <jwakely@redhat.com>
 862
 863         PR libstdc++/90454.cc path construction from void*
 864         * include/bits/fs_path.h (path::_Path): Use remove_pointer so that
 865         pointers to void are rejected as well as void.
 866         * include/experimental/bits/fs_path.h (path::_Path): Likewise.
 867         * testsuite/27_io/filesystem/path/construct/80762.cc: Also check
 868         pointers to void.
 869         * testsuite/experimental/filesystem/path/construct/80762.cc: Likewise.
 870
 871         * doc/xml/manual/policy_data_structures.xml: Comment out stray
 872         <remark> elements. Fix formatting of bibliography references.
 873
 874 2019-05-13  Edward Smith-Rowland  <3dw4rd@verizon.net>
 875
 876         * doc/xml/manual/status_cxx2020.xml: Document P0811R3 status.
 877
 878 2019-05-13  Jonathan Wakely  <jwakely@redhat.com>
 879
 880         Remove Profile Mode, deprecated since 7.1.0
 881         * doc/Makefile.am: Remove XML file for profile mode docs.
 882         * doc/Makefile.in: Regenerate.
 883         * doc/xml/authors.xml: Remove authors of profile mode docs.
 884         * doc/xml/manual/appendix_contributing.xml: Remove mention of profile
 885         mode.
 886         * doc/xml/manual/debug.xml: Likewise.
 887         * doc/xml/manual/evolution.xml: Document removal of profile mode.
 888         * doc/xml/manual/profile_mode.xml: Remove profile mode docs.
 889         * doc/xml/manual/spine.xml: Remove profile mode author credit.
 890         * doc/xml/manual/test.xml: Remove docs for dg-require-profile-mode
 891         directive.
 892         * doc/xml/manual/using.xml: Remove docs for profile mode headers and
 893         macro.
 894         * doc/html/*: Regenerate.
 895         * include/Makefile.am: Remove profile mode headers.
 896         * include/Makefile.in: Regenerate.
 897         * include/bits/c++config (std::__profile): Remove namespace.
 898         [_GLIBCXX_PROFILE]: Remove checks for macro.
 899         * include/profile/array: Remove.
 900         * include/profile/base.h: Remove.
 901         * include/profile/bitset: Remove.
 902         * include/profile/deque: Remove.
 903         * include/profile/forward_list: Remove.
 904         * include/profile/impl/profiler.h: Remove.
 905         * include/profile/impl/profiler_algos.h: Remove.
 906         * include/profile/impl/profiler_container_size.h: Remove.
 907         * include/profile/impl/profiler_hash_func.h: Remove.
 908         * include/profile/impl/profiler_hashtable_size.h: Remove.
 909         * include/profile/impl/profiler_list_to_slist.h: Remove.
 910         * include/profile/impl/profiler_list_to_vector.h: Remove.
 911         * include/profile/impl/profiler_map_to_unordered_map.h: Remove.
 912         * include/profile/impl/profiler_node.h: Remove.
 913         * include/profile/impl/profiler_state.h: Remove.
 914         * include/profile/impl/profiler_trace.h: Remove.
 915         * include/profile/impl/profiler_vector_size.h: Remove.
 916         * include/profile/impl/profiler_vector_to_list.h: Remove.
 917         * include/profile/iterator_tracker.h: Remove.
 918         * include/profile/list: Remove.
 919         * include/profile/map: Remove.
 920         * include/profile/map.h: Remove.
 921         * include/profile/multimap.h: Remove.
 922         * include/profile/multiset.h: Remove.
 923         * include/profile/ordered_base.h: Remove.
 924         * include/profile/set: Remove.
 925         * include/profile/set.h: Remove.
 926         * include/profile/unordered_base.h: Remove.
 927         * include/profile/unordered_map: Remove.
 928         * include/profile/unordered_set: Remove.
 929         * include/profile/vector: Remove.
 930         * scripts/run_doxygen: Do not process profile mode headers.
 931         * testsuite/23_containers/array/element_access/60497.cc: Don't use
 932         profile mode type.
 933         * testsuite/23_containers/array/specialized_algorithms/swap_cxx17.cc:
 934         Remove dg-skip-if for profile mode.
 935         * testsuite/23_containers/forward_list/capacity/1.cc: Remove
 936         preprocessor check for profile mode.
 937         * testsuite/23_containers/list/capacity/29134.cc: Likewise.
 938         * testsuite/23_containers/map/modifiers/extract.cc: Remove dg-skip-if
 939         for profile mode.
 940         * testsuite/23_containers/map/modifiers/insert_or_assign/1.cc:
 941         Likewise.
 942         * testsuite/23_containers/map/modifiers/try_emplace/1.cc: Likewise.
 943         * testsuite/23_containers/multimap/modifiers/extract.cc: Likewise.
 944         * testsuite/23_containers/multiset/modifiers/extract.cc: Likewise.
 945         * testsuite/23_containers/set/modifiers/extract.cc: Likewise.
 946         * testsuite/23_containers/unordered_map/modifiers/extract.cc:
 947         Likewise.
 948         * testsuite/23_containers/unordered_multimap/modifiers/extract.cc:
 949         Likewise.
 950         * testsuite/23_containers/unordered_multiset/modifiers/extract.cc:
 951         Likewise.
 952         * testsuite/23_containers/unordered_set/modifiers/extract.cc:
 953         Likewise.
 954         * testsuite/23_containers/vector/bool/capacity/29134.cc: Remove
 955         preprocessor check for profile mode.
 956         * testsuite/23_containers/vector/bool/modifiers/insert/31370.cc:
 957         Likewise.
 958         * testsuite/23_containers/vector/modifiers/insert_vs_emplace.cc:
 959         Remove dg-skip-if for profile mode.
 960         * testsuite/25_algorithms/binary_search/partitioned.cc: Likewise.
 961         * testsuite/25_algorithms/equal_range/partitioned.cc: Likewise.
 962         * testsuite/25_algorithms/lexicographical_compare/71545.cc: Likewise.
 963         * testsuite/25_algorithms/lower_bound/partitioned.cc: Likewise.
 964         * testsuite/25_algorithms/upper_bound/partitioned.cc: Likewise.
 965         * testsuite/Makefile.am: Remove profile_flags variable and
 966         * testsuite/Makefile.am: Remove profile_flags variable and
 967         check-profile target.
 968         * testsuite/Makefile.in: Regenerate.
 969         * testsuite/ext/profile/all.cc: Remove.
 970         * testsuite/ext/profile/mutex_extensions_neg.cc: Remove.
 971         * testsuite/ext/profile/profiler_algos.cc: Remove.
 972         * testsuite/ext/profile/replace_new.cc: Remove.
 973         * testsuite/ext/throw_allocator/deallocate_global.cc: Remove
 974         preprocessor check for profile mode.
 975         * testsuite/ext/throw_allocator/deallocate_local.cc: Likewise.
 976         * testsuite/lib/libstdc++.exp (check_v3_target_profile_mode): Remove.
 977         (check_v3_target_normal_mode): Do not check for profile mode macro.
 978         * testsuite/libstdc++-prettyprinters/80276.cc: Remove dg-skip-if for
 979         profile mode.
 980         * testsuite/libstdc++-prettyprinters/compat.cc: Likewise.
 981         * testsuite/libstdc++-prettyprinters/cxx11.cc: Likewise.
 982         * testsuite/libstdc++-prettyprinters/cxx17.cc: Likewise.
 983         * testsuite/libstdc++-prettyprinters/debug.cc: Likewise.
 984         * testsuite/libstdc++-prettyprinters/debug_cxx11.cc: Likewise.
 985         * testsuite/libstdc++-prettyprinters/libfundts.cc: Likewise.
 986         * testsuite/libstdc++-prettyprinters/simple.cc: Likewise.
 987         * testsuite/libstdc++-prettyprinters/simple11.cc: Likewise.
 988         * testsuite/libstdc++-prettyprinters/whatis.cc: Likewise.
 989         * testsuite/libstdc++-prettyprinters/whatis2.cc: Likewise.
 990
 991         Remove array_allocator extension, deprecated since 4.9.0
 992         * doc/xml/manual/allocator.xml: Remove documentation for
 993         array_allocator.
 994         * doc/xml/manual/evolution.xml: Document array_allocator removal.
 995         * doc/xml/manual/using.xml: Remove header from documentation.
 996         * include/Makefile.am: Remove <ext/array_allocator.h> header.
 997         * include/Makefile.in: Regenerate.
 998         * include/ext/array_allocator.h: Remove.
 999         * include/precompiled/extc++.h: Do not include removed header.
1000         * testsuite/ext/array_allocator/1.cc: Remove.
1001         * testsuite/ext/array_allocator/2.cc: Remove.
1002         * testsuite/ext/array_allocator/26875.cc: Remove.
1003         * testsuite/ext/array_allocator/3.cc: Remove.
1004         * testsuite/ext/array_allocator/check_deallocate_null.cc: Remove.
1005         * testsuite/ext/array_allocator/check_delete.cc: Remove.
1006         * testsuite/ext/array_allocator/check_new.cc: Remove.
1007         * testsuite/ext/array_allocator/variadic_construct.cc: Remove.
1008         * testsuite/ext/headers.cc: Do not include removed header.
1009
1010 2019-05-11  François Dumont  <fdumont@gcc.gnu.org>
1011
1012         * include/bits/stl_bvector.h
1013         (operator==(const _Bit_iterator_base&, const _Bit_iterator_base&)):
1014         Make hidden friend.
1015         (operator<(const _Bit_iterator_base&, const _Bit_iterator_base&)):
1016         Likewise.
1017         (operator!=(const _Bit_iterator_base&, const _Bit_iterator_base&)):
1018         Likewise.
1019         (operator>(const _Bit_iterator_base&, const _Bit_iterator_base&)):
1020         Likewise.
1021         (operator<=(const _Bit_iterator_base&, const _Bit_iterator_base&)):
1022         Likewise.
1023         (operator>=(const _Bit_iterator_base&, const _Bit_iterator_base&)):
1024         Likewise.
1025         (operator-(const _Bit_iterator_base&, const _Bit_iterator_base&)):
1026         Likewise.
1027         (_Bit_iterator::operator+(difference_type)): Likewise and allow NRVO
1028         copy elision.
1029         (_Bit_iterator::operator-(difference_type)): Likewise.
1030         (operator+(ptrdiff_t, const _Bit_iterator&)): Make hidden friend.
1031         (_Bit_const_iterator::operator+(difference_type)): Likewise and allow
1032         NRVO copy elision.
1033         (_Bit_const_iterator::operator-(difference_type)): Likewise.
1034         (operator+(ptrdiff_t, const _Bit_const_iterator&)): Make hidden friend.
1035
1036 2019-05-10  Jonathan Wakely  <jwakely@redhat.com>
1037
1038         PR libstdc++/81266
1039         * testsuite/util/thread/all.h: Do not use remove_pointer for
1040         std::thread::native_handle_type.
1041
1042         PR libstdc++/90397
1043         * include/std/variant (_Variant_storage<false, Types...>::_M_storage())
1044         (_Variant_storage<true, Types...>::_M_reset()))
1045         (_Variant_storage<true, Types...>::_M_storage())): Add noexcept.
1046         (__get_storage): Likewise.
1047         (variant): Add noexcept to friend declarations for __get and
1048         __get_storage.
1049
1050         PR libstdc++/90388
1051         * include/bits/unique_ptr.h (default_delete, default_delete<T[]>):
1052         Use _Require for constraints.
1053         (operator>(nullptr_t, const unique_ptr<T,D>&)): Implement exactly as
1054         per the standard.
1055         (__uniq_ptr_hash): New base class with conditionally-disabled call
1056         operator.
1057         (hash<unique_ptr<T,D>>): Derive from __uniq_ptr_hash.
1058         * testsuite/20_util/default_delete/48631_neg.cc: Adjust dg-error line.
1059         * testsuite/20_util/unique_ptr/hash/90388.cc: New test.
1060
1061         * include/bits/shared_ptr.h: Improve docs.
1062         * include/bits/shared_ptr_base.h: Likewise.
1063         * include/bits/stl_uninitialized.h: Likewise.
1064         * include/bits/unique_ptr.h: Likewise.
1065         * libsupc++/new: Likewise.
1066
1067 2019-05-09  François Dumont  <fdumont@gcc.gnu.org>
1068
1069         * include/bits/stl_deque.h
1070         (operator==(const _Deque_iterator<>&, const _Deque_iterator<>&)):
1071         Make hidden friend.
1072         (operator!=(const _Deque_iterator<>&, const _Deque_iterator<>&)):
1073         Likewise.
1074         (operator<(const _Deque_iterator<>&, const _Deque_iterator<>&)):
1075         Likewise.
1076         (operator<=(const _Deque_iterator<>&, const _Deque_iterator<>&)):
1077         Likewise.
1078         (operator>(const _Deque_iterator<>&, const _Deque_iterator<>&)):
1079         Likewise.
1080         (operator>=(const _Deque_iterator<>&, const _Deque_iterator<>&)):
1081         Likewise.
1082         (_Deque_iterator<>::operator+(difference_type)): Likewise and allow NRVO
1083         copy elision.
1084         (_Deque_iterator<>::operator-(difference_type)): Likewise.
1085
1086 2019-05-08  François Dumont  <fdumont@gcc.gnu.org>
1087
1088         PR libstdc++/90277
1089         * testsuite/23_containers/unordered_multiset/insert/24061-multiset.cc
1090         (test01): Reserve for number of insertions to avoid rehash during test.
1091         * testsuite/23_containers/unordered_multimap/insert/24061-multimap.cc
1092         (test01): Likewise.
1093         * testsuite/23_containers/unordered_multimap/insert/24061-multimap.cc
1094         (test01): Likewise.
1095         (test02): Likewise.
1096         (test03): Likewise.
1097
1098 2019-05-08  Jonathan Wakely  <jwakely@redhat.com>
1099
1100         * include/experimental/bits/fs_path.h: Improve docs.
1101         * include/experimental/bits/net.h: Fix wrong header name in comment.
1102         Do not document implementation details.
1103         * include/experimental/netfwd: Fix doxygen grouping.
1104
1105 2019-05-07  Jonathan Wakely  <jwakely@redhat.com>
1106
1107         * include/bits/stl_pair.h: Improve docs.
1108         * include/std/tuple: Likewise.
1109
1110         * doc/doxygen/doxygroups.cc (std::literals): Add documentation for
1111         inline namespace.
1112         * include/std/chrono: Improve docs.
1113         * include/std/ratio: Do not document implementation details.
1114         * testsuite/20_util/ratio/cons/cons_overflow_neg.cc: Adjust dg-error
1115         line numbers.
1116         * testsuite/20_util/ratio/operations/ops_overflow_neg.cc: Likewise.
1117
1118         PR libstdc++/89102
1119         * doc/xml/manual/intro.xml: Document DR 2408 and 2465 changes.
1120         * include/std/chrono (__duration_common_type_wrapper): Replace with ...
1121         (__duration_common_type): New helper.
1122         (common_type<chrono::duration<R1, P2>, chrono::duration<R2, P2>>): Use
1123         __duration_common_type.
1124         (__timepoint_common_type_wrapper): Replace with ...
1125         (__timepoint_common_type): New helper.
1126         (common_type<chrono::time_point<C, D2>, chrono::time_point<C, D2>>):
1127         Use __time_point_common_type.
1128         * include/std/type_traits (common_type<>): Define, as per LWG 2408.
1129         (__common_type_impl): If either argument is transformed by decay,
1130         use the common_type of the decayed types.
1131         (__common_type_impl<_Tp, _Up, _Tp, _Up>): If the types are already
1132         decayed, use __do_common_type_impl to get the common_type.
1133         (common_type<_Tp>): Use common_type<_Tp, _Tp>.
1134         (__do_member_type_wrapper, __member_type_wrapper)
1135         (__expanded_common_type_wrapper): Remove.
1136         (__common_type_pack, __common_type_fold): New helpers.
1137         (common_type<_Tp, _Up, _Vp...>): Use new helpers instead of
1138         __member_type_wrapper and __expanded_common_type_wrapper.
1139         * testsuite/20_util/common_type/requirements/explicit_instantiation.cc:
1140         Test zero-length template argument list.
1141         * testsuite/20_util/common_type/requirements/sfinae_friendly_1.cc:
1142         Test single argument cases and argument types that should decay.
1143         * testsuite/20_util/common_type/requirements/sfinae_friendly_2.cc:
1144         Adjust expected error.
1145         * testsuite/20_util/duration/literals/range_neg.cc: Use zero for
1146         dg-error lineno.
1147         * testsuite/20_util/duration/requirements/typedefs_neg1.cc: Likewise.
1148         * testsuite/20_util/duration/requirements/typedefs_neg2.cc: Likewise.
1149         * testsuite/20_util/duration/requirements/typedefs_neg3.cc: Likewise.
1150
1151         * doc/xml/manual/intro.xml: Fix DR 2537 and DR 2566 confusion.
1152
1153 2019-05-01  Nina Dinka Ranns  <dinka.ranns@gmail.com>
1154
1155         Make allocator propagation more consistent for
1156         operator+(basic_string) (P1165R1)
1157         * include/bits/basic_string.h
1158         (operator+(basic_string&&, basic_string&&): Changed resulting
1159         allocator to always be the one from the first parameter.
1160         * include/bits/basic_string.tcc
1161         (operator+(const _CharT*, const basic_string&)): Changed
1162         resulting allocator to be SOCCC on the second parameter's allocator.
1163         (operator+(_CharT, const basic_string&)): Likewise.
1164         * testsuite/21_strings/basic_string/allocator/char/operator_plus.cc:
1165         New.
1166         * testsuite/21_strings/basic_string/allocator/wchar_t/operator_plus.cc:
1167         New.
1168
1169 2019-05-07  Jonathan Wakely  <jwakely@redhat.com>
1170
1171         * include/bits/regex.h: Improve docs.
1172         * include/bits/regex.tcc: Do not document implementation details.
1173
1174         * testsuite/19_diagnostics/error_code/hash.cc: New test.
1175
1176 2019-05-06  François Dumont  <fdumont@gcc.gnu.org>
1177
1178         * python/libstdcxx/v6/printers.py (add_one_template_type_printer):
1179         Add type printer for container types in std::__debug namespace.
1180         * testsuite/lib/gdb-test.exp (whatis-regexp-test): New.
1181         (gdb-tests): Use distinct parameters for the type of test and use of
1182         regex.
1183         (gdb-test): Check for regex test even if 'whatis' test.
1184         * testsuite/libstdc++-prettyprinters/80276.cc: Adapt for _GLIBCXX_DEBUG
1185         mode.
1186         * testsuite/libstdc++-prettyprinters/cxx11.cc: Likewise.
1187         * testsuite/libstdc++-prettyprinters/cxx17.cc: Likewise.
1188         * testsuite/libstdc++-prettyprinters/libfundts.cc: Likewise.
1189         * testsuite/libstdc++-prettyprinters/simple.cc: Likewise.
1190         * testsuite/libstdc++-prettyprinters/simple11.cc: Likewise.
1191         * testsuite/libstdc++-prettyprinters/whatis.cc: Likewise.
1192         * testsuite/libstdc++-prettyprinters/whatis2.cc: Likewise.
1193
1194 2019-05-04  Jonathan Wakely  <jwakely@redhat.com>
1195
1196         * include/std/system_error (error_category): Fix comment.
1197
1198         PR libstdc++/90299
1199         * src/c++17/fs_ops.cc (absolute(const path&)): Report an error if the
1200         argument is an empty path.
1201         (absolute(const path&, error_code&)): Use invalid_argument as error
1202         code instead of no_such_file_or_directory.
1203         * testsuite/27_io/filesystem/operations/absolute.cc: Check handling
1204         of non-existent paths and empty paths with both overloads of absolute.
1205
1206         * include/std/system_error (error_category, error_code)
1207         (error_condition): Improve docs.
1208         * libsupc++/exception: Add missing @addtogroup Doxygen command.
1209         * libsupc++/exception_ptr.h (exception_ptr): Link equality operators
1210         to class documentation. Suppress documentation for implementation
1211         details.
1212         * libsupc++/nested_exception.h (throw_with_nested, rethrow_if_nested):
1213         Suppress documentation for implementation details.
1214
1215         * include/std/system_error (error_code): Remove friend declaration
1216         for hash<error_code>.
1217         (hash<error_code>::operator()): Use public member functions to access
1218         value and category.
1219         (hash<error_condition>::operator()): Use address of category, not
1220         its object representation.
1221         * src/c++11/compatibility-c++0x.cc (hash<error_code>::operator()):
1222         Use public member functions to access value and category.
1223         * testsuite/19_diagnostics/error_condition/hash.cc: New test.
1224
1225 2019-05-04  François Dumont  <fdumont@gcc.gnu.org>
1226
1227         * include/bits/hashtable.h (_Hashtable<>::rehash): Review comment.
1228         * include/bits/hashtable_policy.h
1229         (_Prime_rehash_policy::_M_bkt_for_elements): Use __builtin_ceill.
1230         (_Power2_rehash_policy::_M_bkt_for_elements): Likewise.
1231         (_Power2_rehash_policy::_M_next_bkt): Enforce returning a result not
1232         smaller than input value rather than always greater. Preserve
1233         _M_next_resize if called with 0 input. Use __builtin_floorl.
1234         (_Power2_rehash_policy::_M_need_rehash): Rehash only if number of
1235         elements + number of insertions is greater than _M_next_resize. Start
1236         with 11 buckets if not told otherwise. Use __builtin_floorl.
1237         (_Rehash_base<>::reserve): Use rehash policy _M_bkt_for_elements.
1238         * src/c++11/hashtable_c++0x.cc (_Prime_rehash_policy::_M_next_bkt):
1239         Preserve _M_next_resize if called with 0 input. Use __builtin_floorl.
1240         (_Prime_rehash_policy::_M_need_rehash): Start with 11 buckets if not
1241         told otherwise. Use __builtin_floorl.
1242         * testsuite/23_containers/unordered_set/hash_policy/71181.cc: Adapt test
1243         to also validate _Power2_rehash_policy.
1244         * testsuite/23_containers/unordered_set/hash_policy/power2_rehash.cc:
1245         Adapt.
1246
1247 2019-05-03  Jonathan Wakely  <jwakely@redhat.com>
1248
1249         PR libstdc++/61761
1250         * testsuite/26_numerics/complex/proj.cc: Don't assume <cmath> defines
1251         std::copysign.
1252
1253         PR libstdc++/52119
1254         * include/ext/numeric_traits.h (__glibcxx_min): Avoid integer
1255         overflow warning with -Wpedantic -Wsystem-headers.
1256
1257 2019-05-02  Jonathan Wakely  <jwakely@redhat.com>
1258
1259         PR libstdc++/90314
1260         * include/bits/c++config (_GLIBCXX_NOEXCEPT_IF): Use variadic macro.
1261         * include/bits/move.h (swap): Remove extra parentheses.
1262
1263         * include/experimental/bits/lfts_config.h: Improve doc markup.
1264         * include/experimental/optional: Improve docs.
1265         (_Has_addressof_mem, _Has_addressof_free, _Has_addressof)
1266         (__constexpr_addressof): Remove.
1267         (optional::operator->()): Use std::__addressof().
1268         * include/std/optional (optional::operator->()): Adjust whitespace.
1269         * testsuite/experimental/optional/constexpr/observers/2.cc: Check
1270         that operator-> is still constexpr with overloaded operator&. Change
1271         to compile-only test.
1272         * testsuite/experimental/optional/constexpr/observers/3.cc: Change to
1273         compile-only test.
1274
1275         * include/bits/shared_ptr.h: Improve docs.
1276         * include/bits/shared_ptr_atomic.h: Likewise.
1277         * include/bits/unique_ptr.h: Likewise. Adjust whitespace.
1278
1279         * include/bits/basic_string.h: Fix iterator/index confusion in
1280         Doxygen comments.
1281         * include/bits/range_access.h: Fix Doxygen warnings.
1282         * include/bits/refwrap.h: Do not document implementation details.
1283         (ref, cref): Group docs with reference_wrapper.
1284         * include/std/fstream: Fix Doxygen markup.
1285         * libsupc++/initializer_list (begin, end): Group docs with
1286         initializer_list.
1287
1288         * doc/doxygen/user.cfg.in: Set MARKDOWN_SUPPORT=YES.
1289
1290         * include/bits/unique_lock.h: Fix/improve doxygen markup.
1291         * include/std/mutex: Likewise.
1292         * include/std/shared_mutex: Likewise.
1293
1294         * include/bits/fs_dir.h: Fix/improve doxygen markup.
1295         * include/bits/fs_fwd.h: Likewise.
1296         * include/bits/fs_ops.h: Likewise.
1297         * include/bits/fs_path.h: Likewise.
1298         * include/std/filesystem: Likewise.
1299
1300         * include/experimental/bits/net.h: Fix/improve doxygen markup.
1301         * include/experimental/buffer: Likewise.
1302         * include/experimental/executor: Likewise.
1303         * include/experimental/internet: Likewise.
1304         * include/experimental/io_context: Likewise.
1305         * include/experimental/net: Likewise.
1306         * include/experimental/netfwd: Likewise.
1307         * include/experimental/socket: Likewise.
1308         * include/experimental/timer: Likewise.
1309
1310         * doc/doxygen/doxygroups.cc: Move description of experimental group
1311         here.
1312         * include/experimental/algorithm: Add to libfund-ts doc group.
1313         * include/experimental/any: Likewise. Do not document implementation
1314         details.
1315         * include/experimental/array: Add to libfund-ts doc group.
1316         * include/experimental/bits/lfts_config.h: Define libfund-ts doc group
1317         for Library Fundamentals.
1318         * include/experimental/chrono: Add to libfund-ts doc group.
1319         * include/experimental/deque: Likewise.
1320         * include/experimental/forward_list: Likewise.
1321         * include/experimental/functional: Likewise.
1322         * include/experimental/iterator: Likewise.
1323         * include/experimental/list: Likewise.
1324         * include/experimental/map: Likewise.
1325         * include/experimental/memory: Likewise.
1326         * include/experimental/memory_resource: Likewise. Improve docs.
1327         details.
1328         * include/experimental/numeric: Add to libfund-ts doc group.
1329         * include/experimental/optional: Likewise.
1330         * include/experimental/propagate_const: Likewise.
1331         * include/experimental/random: Likewise.
1332         * include/experimental/ratio: Likewise.
1333         * include/experimental/regex: Likewise.
1334         * include/experimental/set: Likewise.
1335         * include/experimental/source_location: Likewise.
1336         * include/experimental/string: Likewise.
1337         * include/experimental/string_view: Likewise.
1338         * include/experimental/system_error: Likewise.
1339         * include/experimental/tuple: Likewise.
1340         * include/experimental/type_traits: Likewise.
1341         * include/experimental/unordered_map: Likewise.
1342         * include/experimental/unordered_set: Likewise.
1343         * include/experimental/utility: Likewise.
1344         * include/experimental/vector: Likewise.
1345         * testsuite/experimental/any/misc/any_cast_neg.cc: Adjust dg-error.
1346         * testsuite/experimental/array/neg.cc: Adjust dg-error.
1347         * testsuite/experimental/propagate_const/assignment/move_neg.cc:
1348         Likewise.
1349         * testsuite/experimental/propagate_const/cons/move_neg.cc: Likewise.
1350         * testsuite/experimental/propagate_const/requirements2.cc: Likewise.
1351         * testsuite/experimental/propagate_const/requirements3.cc: Likewise.
1352         * testsuite/experimental/propagate_const/requirements4.cc: Likewise.
1353         * testsuite/experimental/propagate_const/requirements5.cc: Likewise.
1354
1355         * include/experimental/bits/fs_dir.h: Fix Doxygen markup.
1356         * include/experimental/bits/fs_fwd.h: Improve docs.
1357         * include/experimental/bits/fs_ops.h: fix Doxygen markup.
1358         * include/experimental/bits/fs_path.h: Likewise.
1359         (path, filesystem_error, u8path): Improve docs.
1360         * include/experimental/filesystem: Link to docs for TS.
1361
1362         * config/allocator/new_allocator_base.h (__allocator_base): Add
1363         workaround for Doxygen bug #6945.
1364         * include/std/memory: Improve docs. Define group for pointer safety.
1365         * include/std/scoped_allocator: Improve docs. Use "undocumented"
1366         conditional to suppress documentation for implementation details.
1367
1368         * include/bits/specfun.h: Improve docs.
1369         * include/tr1/cmath: Likewise. Fix nesting of preprocessor conditions
1370         and namespaces.
1371
1372         * doc/doxygen/doxygroups.cc (std::tr2, std::__gnu_cxx): Improve docs.
1373         (std::experimental): Add docs.
1374         * doc/doxygen/user.cfg.in (PREDEFINED): Expand macros for __cxx11
1375         namespace to nothing when generating docs.
1376         * include/bits/regex_constants.h (std::regex_constants): Improve docs.
1377         * include/std/chrono (std::chrono): Likewise.
1378         * include/std/functional (std::placeholders): Likewise.
1379         * include/std/thread (std::this_thread): Likewise.
1380
1381         * include/parallel/settings.h: Fix Doxygen markup.
1382
1383         * include/ext/pb_ds/detail/bin_search_tree_/*_imps.hpp: Do not define
1384         anything unless PB_DS_CLASS_C_DEC is defined.
1385         * include/ext/pb_ds/detail/binary_heap_/*_imps.hpp: Likewise.
1386         * include/ext/pb_ds/detail/binomial_heap_/*_imps.hpp: Likewise.
1387         * include/ext/pb_ds/detail/binomial_heap_base_/*_imps.hpp: Likewise.
1388         * include/ext/pb_ds/detail/cc_hash_table_map_/*_imps.hpp: Likewise.
1389         * include/ext/pb_ds/detail/gp_hash_table_map_/*_imps.hpp: Likewise.
1390         * include/ext/pb_ds/detail/hash_fn/*_imp.hpp: Likewise.
1391         * include/ext/pb_ds/detail/left_child_next_sibling_heap_/*_imps.hpp:
1392         Likewise.
1393         * include/ext/pb_ds/detail/list_update_map_/*_imps.hpp: Likewise.
1394         * include/ext/pb_ds/detail/ov_tree_map_/*_imps.hpp: Likewise.
1395         * include/ext/pb_ds/detail/pairing_heap_/*_imps.hpp: Likewise.
1396         * include/ext/pb_ds/detail/pat_trie_/*_imps.hpp: Likewise.
1397         * include/ext/pb_ds/detail/rb_tree_map_/*_imps.hpp: Likewise.
1398         * include/ext/pb_ds/detail/rc_binomial_heap_/*_imps.hpp: Likewise.
1399         * include/ext/pb_ds/detail/resize_policy*_imp.hpp: Likewise.
1400         * include/ext/pb_ds/detail/splay_tree_/*_imps.hpp: Likewise.
1401         * include/ext/pb_ds/detail/thin_heap_/*_imps.hpp: Likewise.
1402         * include/ext/pb_ds/detail/trie_policy*_imp.hpp: Likewise.
1403         * include/ext/pb_ds/detail/unordered_iterator/const_iterator.hpp:
1404         Likewise.
1405         * include/ext/pb_ds/detail/unordered_iterator/iterator.hpp: Likewise.
1406         * include/ext/pb_ds/detail/unordered_iterator/point_const_iterator.hpp:
1407         Likewise.
1408         * include/ext/pb_ds/detail/unordered_iterator/point_iterator.hpp:
1409         Likewise.
1410
1411         * doc/doxygen/user.cfg.in: Regenerate with Doxygen 1.8.14 and set
1412         GROUP_NESTED_COMPOUNDS=YES and SORT_BY_SCOPE_NAME=NO. Add various
1413         _GLIBCXX_xxx macros and __attribute__(X) to PREDEFINED macros that
1414         Doxygen expands.
1415
1416 2019-05-01  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1417
1418         * config/abi/post/i386-solaris2.10/baseline_symbols.txt: Regenerate.
1419         * config/abi/post/i386-solaris2.10/amd64/baseline_symbols.txt: Likewise.
1420         * config/abi/post/i386-solaris2.11/baseline_symbols.txt: Likewise.
1421         * config/abi/post/i386-solaris2.11/amd64/baseline_symbols.txt: Likewise.
1422         * config/abi/post/sparc-solaris2.10/baseline_symbols.txt: Likewise.
1423         * config/abi/post/sparc-solaris2.10/sparcv9/baseline_symbols.txt:
1424         Likewise.
1425         * config/abi/post/sparc-solaris2.11/baseline_symbols.txt: Likewise.
1426         * config/abi/post/sparc-solaris2.11/sparcv9/baseline_symbols.txt:
1427         Likewise.
1428
1429 2019-05-01  Jonathan Wakely  <jwakely@redhat.com>
1430
1431         PR libstdc++/61761
1432         * include/std/complex (__complex_proj): Return parameter unchanged.
1433         [_GLIBCXX_USE_C99_COMPLEX] (__complex_proj): Change overloads for
1434         floating-point types to take std::complex arguments.
1435         [_GLIBCXX_USE_C99_MATH_TR1] (__complex_proj): Add overloads for
1436         floating-point types.
1437         * testsuite/26_numerics/complex/proj.cc: New test.
1438
1439 2019-04-30  Jakub Jelinek  <jakub@redhat.com>
1440
1441         * config/abi/pre/gnu.ver (GLIBCXX_3.4.26): Change _Lock_policyE2 exports
1442         to _Lock_policyE[012].
1443         * config/abi/post/riscv64-linux-gnu/baseline_symbols.txt: Update.
1444
1445 2019-04-30  Jonathan Wakely  <jwakely@redhat.com>
1446
1447         * testsuite/27_io/filesystem/path/decompose/root_path.cc: Remove
1448         macros accidentally left in.
1449         * testsuite/27_io/filesystem/path/native/string-char8_t.cc: Remove
1450         unnecessary -lstdc++fs option. Fix test for mingw.
1451         * testsuite/experimental/filesystem/path/native/string-char8_t.cc:
1452         Fix test for mingw.
1453
1454 2019-04-30  Jakub Jelinek  <jakub@redhat.com>
1455
1456         * config/abi/post/riscv64-linux-gnu/baseline_symbols.txt: Update.
1457
1458 2019-04-29  Jonathan Wakely  <jwakely@redhat.com>
1459
1460         * include/bits/stl_algo.h (generate_n): Adjust doxygen comment.
1461
1462         * include/bits/move.h (swap(T&, T&), swap(T (&)[N], T (&)[N])): Use
1463         _GLIBCXX_NOEXCEPT_IF to simplify declarations.
1464
1465         PR libstdc++/71312
1466         * src/c++11/shared_ptr.cc (get_mutex): Align pool mutexes to 64 bytes.
1467
1468         * include/bits/stl_bvector.h (vector<bool>::empty()): Add nodiscard
1469         attribute.
1470
1471         * include/bits/stl_iterator_base_types.h (_Iter_base): Remove unused
1472         class template and partial specialization.
1473
1474         PR libstdc++/87982
1475         * include/bits/stl_algo.h (generate_n): Convert _Size parameter to
1476         an integral type.
1477         * include/bits/stl_algobase.h (__size_to_integer): New overloaded
1478         functions to convert a value to an integral type.
1479         (__fill_n_a, __fill_n_a): Assert that __n is already an integral type.
1480         (fill_n): Convert _Size parameter to an integral type.
1481         * testsuite/25_algorithms/fill_n/87982.cc: New test.
1482         * testsuite/25_algorithms/fill_n/87982_neg.cc: New test.
1483         * testsuite/25_algorithms/fill_n/dr426.cc: New test.
1484         * testsuite/25_algorithms/generate_n/87982.cc: New test.
1485         * testsuite/25_algorithms/generate_n/87982_neg.cc: New test.
1486         * testsuite/25_algorithms/generate_n/dr426.cc: New test.
1487
1488 2019-04-28  Nina Dinka Ranns  <dinka.ranns@gmail.com>
1489
1490         Adding noexcept-specification on tuple constructors (LWG 2899)
1491         * libstdc++-v3/include/std/tuple:
1492         (tuple()): Add noexcept-specification.
1493         (tuple(const _Elements&...)): Likewise
1494         (tuple(_UElements&&...)): Likewise
1495         (tuple(const tuple<_UElements...>&)): Likewise
1496         (tuple(tuple<_UElements...>&&)): Likewise
1497         (tuple(const _T1&, const _T2&)): Likewise
1498         (tuple(_U1&&, _U2&&)): Likewise
1499         (tuple(const tuple<_U1, _U2>&): Likewise
1500         (tuple(tuple<_U1, _U2>&&): Likewise
1501         (tuple(const pair<_U1, _U2>&): Likewise
1502         (tuple(pair<_U1, _U2>&&): Likewise
1503         * libstdc++-v3/testsuite/20_util/tuple/cons/noexcept_specs.cc: New
1504
1505 2019-04-27  Marc Glisse  <marc.glisse@inria.fr>
1506
1507         PR libstdc++/87106
1508         * include/bits/stl_uninitialized.h (__relocate_object_a): Mark the
1509         arguments with __restrict.
1510
1511 2019-04-26  H.J. Lu  <hongjiu.lu@intel.com>
1512
1513         * config/abi/post/x86_64-linux-gnu/x32/baseline_symbols.txt: Updated.
1514
1515 2019-04-26  Jonathan Wakely  <jwakely@redhat.com>
1516
1517         * include/experimental/bits/fs_path.h
1518         (path::_S_convert_loc<_InputIterator>): Create const std::string to
1519         avoid redundant call to _S_convert_loc with non-const pointers.
1520
1521         * testsuite/20_util/variant/run.cc: Use a new Hashable type to test
1522         hashing, because pmr::string depends on _GLIBCXX_USE_CXX11_ABI==1.
1523         * testsuite/21_strings/basic_string/hash/hash.cc
1524         [!_GLIBCXX_USE_CXX11_ABI]: Don't test pmr strings.
1525         * testsuite/21_strings/basic_string/hash/hash_char8_t.cc
1526         [!_GLIBCXX_USE_CXX11_ABI]: Likewise.
1527
1528         * config/abi/pre/gnu.ver (GLIBCXX_3.4): Replace wildcard that matches
1529         wstring::_M_replace_dispatch with more specific patterns.
1530         * include/bits/fs_path.h (path::_S_convert_loc<_InputIterator>):
1531         Create const std::string to avoid redundant call to _S_convert_loc
1532         with non-const pointers.
1533         * include/bits/locale_conv.h (__do_str_codecvt): Use if-constexpr to
1534         avoid unnecessary basic_string::assign instantiations.
1535
1536         * include/std/memory (__uses_alloc_args): Add string-literal to
1537         static_assert, to match the one in __uses_alloc.
1538         [__cpp_concepts] (_Std_pair): Use C++2a syntax for concept.
1539         * testsuite/20_util/polymorphic_allocator/construct_c++2a.cc: Check
1540         for recursive uses-allocator construction of nested pairs.
1541         * testsuite/20_util/scoped_allocator/construct_pair_c++2a.cc:: Add
1542         comment.
1543
1544 2019-04-26  Jakub Jelinek  <jakub@redhat.com>
1545
1546         * config/abi/post/s390x-linux-gnu/32/baseline_symbols.txt: Update.
1547         * config/abi/post/s390-linux-gnu/baseline_symbols.txt: Update.
1548         * config/abi/post/powerpc-linux-gnu/baseline_symbols.txt: Update.
1549         * config/abi/post/powerpc64-linux-gnu/32/baseline_symbols.txt: Update.
1550
1551         * config/abi/post/x86_64-linux-gnu/baseline_symbols.txt: Update.
1552         * config/abi/post/x86_64-linux-gnu/32/baseline_symbols.txt: Update.
1553         * config/abi/post/i386-linux-gnu/baseline_symbols.txt: Update.
1554         * config/abi/post/i486-linux-gnu/baseline_symbols.txt: Update.
1555         * config/abi/post/aarch64-linux-gnu/baseline_symbols.txt: Update.
1556         * config/abi/post/s390x-linux-gnu/baseline_symbols.txt: Update.
1557         * config/abi/post/powerpc64-linux-gnu/baseline_symbols.txt: Update.
1558
1559 2019-04-25  Jonathan Wakely  <jwakely@redhat.com>
1560
1561         PR libstdc++/90239
1562         * doc/xml/manual/status_cxx2020.xml: Amend P0591R4 status.
1563         * include/std/scoped_allocator [__cplusplus > 201703L]
1564         (scoped_allocator_adaptor::construct): Define in terms of
1565         uses_allocator_construction_args, as per P0591R4.
1566         * testsuite/20_util/scoped_allocator/construct_pair_c++2a.cc: New test.
1567         * testsuite/util/testsuite_allocator.h: Remove name of unused
1568         parameter.
1569
1570 2019-04-24  Jonathan Wakely  <jwakely@redhat.com>
1571
1572         * doc/xml/manual/status_cxx2017.xml: Document P0024R2 status.
1573         * doc/html/*: Regenerate.
1574
1575         * include/bits/fs_path.h (operator<, operator<=, operator>)
1576         (operator>=, operator==, operator!=): Make hidden friends, as per
1577         LWG 3065.
1578         * testsuite/27_io/filesystem/path/native/string-char8_t.cc: Fix
1579         string type in test.
1580         * testsuite/27_io/filesystem/path/native/string.cc: Likewise.
1581
1582         * include/std/any (any::any(ValueType&&)): Use __and_v.
1583         * include/std/numeric (midpoint(T, T, T), midpoint(T*, T*, T*)):
1584         Likewise.
1585
1586         * include/std/tuple (apply): Use remove_reference_t instead of decay_t
1587         as per P0777R1.
1588         * include/std/type_traits (__result_of_memfun): Use remove_reference
1589         instead of __remove_cvref_t and remove redundant is_same check.
1590         (__inv_unwrap): Use __remove_cvref_t instead of decay_t.
1591
1592         * include/experimental/string_view (basic_string_view::pointer)
1593         (basic_string_view::reference): Fix to refer to non-const value_type.
1594         * include/bits/basic_string.h (basic_string): Use __sv_check and
1595         __sv_limit instead of basic_string_view::_M_check and
1596         basic_string_view::_M_limit.
1597         * include/std/string_view (__sv_check, __sv_limit): New
1598         helper functions to replace basic_string_view::_M_check and
1599         basic_string_view::_M_limit.
1600         (basic_string_view): Add static assertions to enforce ill-formed
1601         requirement for traits_type::char_type from P1148R0, and to enforce
1602         required properties of char-like types.
1603         (basic_string_view::pointer, basic_string_view::reference): Fix to
1604         refer to non-const value_type.
1605         (basic_string_view::operator[], basic_string_view::at)
1606         (basic_string_view::front, basic_string_view::back)
1607         (basic_string_view::data): Use const_reference and const_pointer
1608         typedefs for return types.
1609         (basic_string_view::_M_check, basic_string_view::_M_limit): Remove.
1610         (hash<wstring_view>): Fix argument_type typedef.
1611         * testsuite/21_strings/basic_string_view/modifiers/remove_prefix/
1612         char/1.cc: Fix expected return type of basic_string_view::data().
1613         * testsuite/21_strings/basic_string_view/modifiers/remove_prefix/
1614         wchar_t/1.cc: Likewise.
1615         * testsuite/21_strings/basic_string_view/modifiers/remove_suffix/
1616         char/1.cc: Likewise.
1617         * testsuite/21_strings/basic_string_view/modifiers/remove_suffix/
1618         wchar_t/1.cc: Likewise.
1619         * testsuite/21_strings/basic_string_view/requirements/traits_neg.cc:
1620         New test.
1621         * testsuite/21_strings/basic_string_view/requirements/typedefs.cc:
1622         Check reference and pointer typedefs.
1623         * testsuite/experimental/string_view/requirements/typedefs.cc:
1624         Likewise.
1625         * testsuite/experimental/string_view/modifiers/remove_prefix/char/1.cc:
1626         Fix expected return type of basic_string_view::data().
1627         * testsuite/experimental/string_view/modifiers/remove_prefix/wchar_t/
1628         1.cc: Likewise.
1629         * testsuite/experimental/string_view/modifiers/remove_suffix/char/1.cc:
1630         Likewise.
1631         * testsuite/experimental/string_view/modifiers/remove_suffix/wchar_t/
1632         1.cc: Likewise.
1633
1634         PR libstdc++/90220
1635         * include/std/any (__any_caster): Use remove_cv_t instead of decay_t.
1636         Avoid a runtime check for types that can never be stored in std::any.
1637         * testsuite/20_util/any/misc/any_cast.cc: Test std::any_cast with
1638         array types.
1639
1640         PR libstdc++/90220 (partial)
1641         * include/std/any (any_cast<T>(any*), any_cast<T>(const any*)): Do
1642         not attempt ill-formed static_cast to pointers to non-object types.
1643         * testsuite/20_util/any/misc/any_cast.cc: Test std::any_cast with
1644         function types.
1645
1646         * testsuite/20_util/variant/run.cc: Catch exception by reference to
1647         prevent -Wcatch-value warning.
1648
1649         * include/std/variant (__variant_construct): Use template parameter
1650         type instead of equivalent decltype-specifier.
1651         (_Move_ctor_base<false, Types...>::_Move_ctor_base(_Move_ctor_base&&)):
1652         Replace forward with move.
1653         (_Move_ctor_base<false, Types...>::_M_destructive_move)
1654         (_Move_ctor_base<false, Types...>::_M_destructive_copy)
1655         (_Move_ctor_base<true, Types...>::_M_destructive_move)
1656         (_Move_ctor_base<true, Types...>::_M_destructive_copy): Only set the
1657         index after construction succeeds.
1658         (_Copy_assign_base<false, Types...>::operator=): Remove redundant
1659         if-constexpr checks that are always true. Use __remove_cvref_t instead
1660         of remove_reference so that is_nothrow_move_constructible check
1661         doesn't use a const rvalue parameter. In the potentially-throwing case
1662         construct a temporary and move assign it, as per LWG 2904.
1663         (_Move_assign_base<false, Types...>::operator=): Remove redundant
1664         if-constexpr checks that are always true. Use emplace as per LWG 2904.
1665         (variant::operator=(T&&)): Only use emplace conditionally, otherwise
1666         construct a temporary and move assign from it, as per LWG 2904.
1667         * testsuite/20_util/variant/exception_safety.cc: Check that
1668         assignment operators have strong exception safety guarantee.
1669
1670 2019-04-23  Thomas Rodgers <trodgers@redhat.com>
1671
1672         Document PSTL linker flags
1673
1674         * doc/xml/manual/using.xml: Add PSTL linker flags to table 3.1.
1675
1676 2019-04-23  Jonathan Wakely  <jwakely@redhat.com>
1677
1678         * include/std/variant (__detail::__variant::_Traits): Make
1679         _S_trivial_copy_assign depend on _S_trivial_copy_ctor and make
1680         _S_trivial_move_assign depend on _S_trivial_move_ctor, as per
1681         P0602R4.
1682         (__detail::__variant::_Copy_assign_alias): Only depend on
1683         _S_trivial_copy_assign, which subsumes _S_trivial_copy_ctor now.
1684         * testsuite/20_util/variant/compile.cc: Correct checks for trivial
1685         move assignment operators.
1686
1687         PR libstdc++/90165
1688         * include/std/variant (variant::__not_self): New helper for the
1689         is_same_v<remove_cvref_t<T>, variant>==false constraints.
1690         (variant::__to_type_impl): Remove.
1691         (variant::__to_type): Add default argument to check pack size, instead
1692         of using __to_type_impl.
1693         (variant::__accepted_type): Add default argument using __not_self.
1694         (variant::__is_in_place_tag, variant::__not_in_place_tag): New helpers
1695         for variant(T&&) constructor constraint.
1696         (variant::variant(T&&)): Use __not_in_place_tag in constraints.
1697         Extract __accepted_type into a named template parameter for reuse in
1698         other constraints and in the exception specification.
1699         (variant::variant(in_place_type_t<T>, Args&&...))
1700         (variant::variant(in_place_type_t<T>, initializer_list<U>, Args&&...))
1701         (variant::variant(in_place_index_t<T>, Args&&...))
1702         (variant::variant(in_place_index_t<T>, initializer_list<U>, Args&&...))
1703         (variant::operator=T&&)): Remove redundant && from trait arguments.
1704         * testsuite/20_util/variant/compile.cc: Check variant(T&&) constructor
1705         isn't used for in_place_type or in_place_index arguments.
1706
1707         * include/std/type_traits (unwrap_reference_t): Define for C++2a.
1708         (unwrap_ref_decay): Remove inheritance from unwrap_reference.
1709         * testsuite/20_util/unwrap_reference/1.cc: Adjust test to use alias.
1710
1711 2019-04-23  Ramana Radhakrishnan  <ramana.radhakrishnan@arm.com>
1712             Bernd Edlinger  <bernd.edlinger@hotmail.de>
1713             Jakub Jelinek  <jakub@redhat.com>
1714
1715         PR target/89093
1716         * libsupc++/eh_personality.cc (PERSONALITY_FUNCTION): Add
1717         general-regs-only target attribute for ARM.
1718
1719 2019-04-23  Jonathan Wakely  <jwakely@redhat.com>
1720
1721         PR libstdc++/87431
1722         * include/bits/basic_string.h (_Never_valueless_alt): Make partial
1723         specialization also depend on is_nothrow_move_constructible.
1724         * include/std/variant (__detail::__variant::__never_valueless()):
1725         Only true if the variant would have a move assignment operator.
1726         (__detail::__variant::_Variant_storage<false, T...>::_M_valid()):
1727         Check __never_valueless<T...>().
1728         (variant::emplace): Only perform non-throwing move assignments
1729         for never-valueless alternatives if the variant has a move assignment
1730         operator.
1731         * testsuite/20_util/variant/compile.cc: Check that never-valueless
1732         types can be emplaced into non-assignable variants.
1733         * testsuite/20_util/variant/run.cc: Check that never-valueless types
1734         don't get copied when emplaced into non-assignable variants.
1735
1736         * include/std/variant (__detail::__variant::__ref_cast): Remove
1737         unused function.
1738         (__detail::__variant::_Uninitialized::_M_get)
1739         (__detail::__variant::__get)
1740         (__gen_vtable_impl::__element_by_index_or_cookie): Add noexcept.
1741
1742 2019-04-21  Iain Sandoe  <iain@sandoe.co.uk>
1743
1744         * testsuite/17_intro/headers/c++1998/charset.cc: Skip for Darwin8
1745         to Darwin10.
1746         * testsuite/17_intro/headers/c++2011/charset.cc: Likewise.
1747         * testsuite/17_intro/headers/c++2014/charset.cc: Likewise.
1748         * testsuite/17_intro/headers/c++2017/charset.cc: Likewise.
1749         * testsuite/17_intro/headers/c++2020/charset.cc: Likewise.
1750
1751 2019-04-20  Thomas Rodgers <trodgers@redhat.com>
1752
1753         Delegate PSTL configuration to pstl/pstl_config.h
1754
1755         * include/bits/c++config: Remove explicit PSTL configuration
1756         macros and use definitions from <pstl/pstl_config.h>.
1757
1758 2019-04-20  Thomas Rodgers <trodgers@redhat.com>
1759
1760         Cleanup algorithm implementations
1761         * include/pstl/glue_algorithm_impl.h (stable_sort): Forward
1762         execution policy.
1763         (mismatch): Forward execution policy.
1764         (equal): Qualify call to std::equal().
1765         (partial_sort): Forward execution policy.
1766         (inplace_merge): Forward execution policy.
1767
1768 2019-04-19  Thomas Rodgers <trodgers@redhat.com>
1769
1770         Improve implementation of parallel equal()
1771         * include/pstl/algorithm_impl.h
1772         (__internal::__brick_equal): use "4 iterator" version of
1773         std::equal().
1774         (__internal::__brick_equal): use simd for random access
1775         iterators on unsequenced execution policies.
1776         (__internal::__pattern_equal): add "4 iterator" version
1777         (__internal::__pattern_equal): dispatch to simd __brick_equal
1778         for vector-only execution policies.
1779         (__internal::__pattern_equal): dispatch to __parallel_or for
1780         parallel execution policies.
1781         * include/pstl/glue_algorithm_impl.h
1782         (std::equal): dispatch to "4 iterator" version of
1783         __internal::__pattern_equal().
1784
1785 2019-04-17  Jonathan Wakely  <jwakely@redhat.com>
1786
1787         PR libstdc++/90105
1788         * include/bits/forward_list.h (operator==): Do not use operator!= to
1789         compare elements.
1790         (forward_list<T, A>::sort(Comp)): When elements are equal take the one
1791         earlier in the list, so that sort is stable.
1792         * testsuite/23_containers/forward_list/operations/90105.cc: New test.
1793         * testsuite/23_containers/forward_list/comparable.cc: Test with
1794         types that meet the minimum EqualityComparable and LessThanComparable
1795         requirements. Remove irrelevant comment.
1796
1797         * include/std/variant (__detail::__variant::_Traits::_S_copy_assign):
1798         Do not depend on whether all alternative types are move constructible.
1799         (__detail::__variant::_Copy_assign_base::operator=): Remove cv-quals
1800         from the operand when deciding whether to perform the assignment.
1801         * testsuite/20_util/variant/compile.cc (DeletedMoves): Define type
1802         with deleted move constructor and deleted move assignment operator.
1803         (default_ctor, copy_ctor, move_ctor, copy_assign, move_assign): Check
1804         behaviour of variants with DeletedMoves as an alternative.
1805         * testsuite/20_util/variant/run.cc (DeletedMoves): Define same type.
1806         (move_ctor, move_assign): Check that moving a variant with a
1807         DeletedMoves alternative falls back to copying instead of moving.
1808
1809         * testsuite/20_util/variant/compile.cc: Remove empty string literals
1810         from static_assert declarations.
1811
1812         * testsuite/20_util/variant/compile.cc (MoveCtorOnly): Fix type to
1813         actually match its name.
1814         (MoveCtorAndSwapOnly): Define new type that adds swap to MoveCtorOnly.
1815         (test_swap()): Fix result for MoveCtorOnly and check
1816         MoveCtorAndSwapOnly.
1817
1818         * include/std/optional (optional::value_or(U&&) &&): Add missing
1819         constexpr specifier.
1820         * testsuite/20_util/optional/constexpr/observers/4.cc: Check value_or
1821         for disengaged optionals and rvalue optionals.
1822         * testsuite/20_util/optional/observers/4.cc: Likewise.
1823
1824 2019-04-12  Thomas Rodgers  <trodgers@redhat.com>
1825
1826         * include/pstl/algorithm_impl.h: Uglify identfiers.
1827         * include/pstl/numeric_impl.h:  Uglify identfiers.
1828         * include/pstl/parallel_backend_tbb.h: Uglify identfiers.
1829
1830 2019-04-11  Thomas Rodgers  <trodgers@redhat.com>
1831
1832         * include/bits/c++config:
1833         Add definition for __PSTL_ASSERT.
1834         Add definition for __PSTL_ASSERT_MSG.
1835         * include/pstl/algorithm_impl.h: Replace use of assert().
1836         * include/pstl/numeric_impl.h: Replace use of assert().
1837         * include/pstl/parallel_backend_tbb.h:
1838         Replace use of assert().
1839         Replace use of __TBB_ASSERT().
1840         * include/pstl/parallel_backend_utils.h: Replace use of assert().
1841
1842 2019-04-11  Jonathan Wakely  <jwakely@redhat.com>
1843
1844         PR libstdc++/90046
1845         * src/c++17/memory_resource.cc
1846         (monotonic_buffer_resource::_Chunk::allocate): Increase alignment if
1847         needed to allow placing a _Chunk at the end of the buffer.
1848         (monotonic_buffer_resource::_M_new_buffer): Remove static_assert.
1849
1850 2019-04-10  Jonathan Wakely  <jwakely@redhat.com>
1851
1852         * doc/xml/faq.xml: Add information about emergency EH pool.
1853         * doc/xml/manual/debug.xml: Update list of memory debugging tools.
1854         Move outdated information on mt_allocator to a separate section.
1855         * doc/xml/manual/evolution.xml: Clarify that GLIBCXX_FORCE_NEW
1856         doesn't affect the default allocator.
1857
1858         * testsuite/lib/libstdc++.exp (check_v3_target_parallel_mode): Fix
1859         typo.
1860
1861         PR libstdc++/89851
1862         * testsuite/20_util/variant/89851.cc: New test.
1863
1864 2019-04-09  Jonathan Wakely  <jwakely@redhat.com>
1865
1866         * include/std/variant: Adjust whitespace. Add comments.
1867         (_Multi_array): Leave primary template undefined.
1868         (_Multi_array<_Tp>): Define partial specialization for base case of
1869         recursion.
1870         (__gen_vtable_impl, __gen_vtable): Remove redundant && from type
1871         which is always a reference.
1872         (__gen_vtable::_S_apply()): Remove function, inline body into
1873         default member initializer.
1874         * testsuite/20_util/variant/visit.cc: Test with noncopyable types.
1875
1876         * include/std/variant (__variant_idx_cookie): Add member type.
1877         (__visitor_result_type): Remove.
1878         (__do_visit): Use invoke_result instead of __visitor_result_type.
1879         * testsuite/20_util/variant/visit.cc: New test.
1880
1881         PR libstdc++/90008
1882         * include/std/variant (_VARIANT_RELATION_FUNCTION_TEMPLATE): Remove
1883         unused capture.
1884         * testsuite/20_util/variant/90008.cc: New test.
1885
1886 2019-04-09  Thomas Rodgers  <trodgers@redhat.com>
1887
1888         * include/pstl/algorithm_impl.h: Add namespace qualification.
1889         * include/pstl/execution_defs.h: Add namespace qualification.
1890         * include/pstl/execution_impl.h: Add namespace qualification.
1891         * include/pstl/numeric_impl.h: Add namespace qualification.
1892         * include/pstl/parallel_backend_tbb.h: Add namespace qualification.
1893         * include/pstl/unseq_backend_simd.h: Add namespace qualification.
1894         * include/pstl/parallel_backend_utils.h: Include <cassert>.
1895
1896 2019-04-08  Ville Voutilainen  <ville.voutilainen@gmail.com>
1897
1898         Fix visit<R> for variant.
1899         * include/std/variant (__do_visit): Add a template parameter
1900         for enforcing same return types for visit.
1901         (__gen_vtable_impl): Likewise.
1902         (_S_apply_single_alt): Adjust.
1903         (__visit_invoke_impl): New. Handle casting to void.
1904         (__do_visit_invoke): New. Enforces same return types.
1905         (__do_visit_invoke_r): New. Converts return types.
1906         (__visit_invoke): Adjust.
1907         (__gen_vtable):  Add a template parameter for enforcing
1908         same return types for visit.
1909         * testsuite/20_util/variant/visit_r.cc: Add a test for a visitor with
1910         different return types.
1911         * testsuite/20_util/variant/visit_neg.cc: New. Ensures that
1912         visitors with different return types don't accidentally
1913         compile with regular visitation.
1914
1915 2019-04-08  Christophe Lyon  <christophe.lyon@linaro.org>
1916
1917         * testsuite/27_io/filesystem/iterators/caching.cc: Add
1918         dg-require-filesystem-ts.
1919
1920 2019-04-05  Jonathan Wakely  <jwakely@redhat.com>
1921
1922         * doc/xml/manual/status_cxx2020.xml: Update status.
1923         * include/std/variant (visit<R>): Define for C++2a (P0655R1).
1924         * testsuite/20_util/variant/visit_r.cc: New test.
1925
1926         * include/bits/fs_dir.h (directory_iterator::operator*)
1927         (directory_iterator::operator->): Add noexcept.
1928         (operator==, operator!=): Replace namespace-scope equality operators
1929         for directory iterators with hidden friends.
1930
1931         PR libstdc++/89986
1932         * config/abi/pre/gnu.ver: Add missing exports.
1933         * testsuite/27_io/filesystem/iterators/directory_iterator.cc: Test
1934         increment member.
1935
1936         * config/abi/pre/gnu.ver: Export new symbols.
1937         * include/bits/fs_dir.h (recursive_directory_iterator::options())
1938         (recursive_directory_iterator::recursion_pending())
1939         (recursive_directory_iterator::disable_recursion_pending()): Remove
1940         inline definitions. Make noexcept.
1941         (recursive_directory_iterator::depth())
1942         (recursive_directory_iterator::operator*())
1943         (recursive_directory_iterator::operator->()): Make noexcept.
1944         (recursive_directory_iterator::_M_options)
1945         (recursive_directory_iterator::_M_pending): Remove data members.
1946         * src/c++17/fs_path.cc (_Dir_stack): Add constructor and data members.
1947         (recursive_directory_iterator::recursive_directory_iterator): Remove
1948         ctor-initializer. Use new constructor for _Dir_stack.
1949         (recursive_directory_iterator::options())
1950         (recursive_directory_iterator::recursion_pending())
1951         (recursive_directory_iterator::disable_recursion_pending()): Add
1952         non-inline definitions.
1953         (recursive_directory_iterator::depth()): Make noexcept.
1954         (recursive_directory_iterator::increment(error_code&))
1955         (recursive_directory_iterator::pop(error_code&)): Adjust to new
1956         location of options and recursion_pending members.
1957         * testsuite/27_io/filesystem/iterators/recursion_pending.cc: New test.
1958         * testsuite/util/testsuite_fs.h (__gnu_test::scoped_file): Add
1959         user-declared move constructor and assignment operator, to make the
1960         type move-only.
1961
1962         * src/c++17/fs_dir.cc (_Dir::advance(bool, error_code&)): Handle
1963         d_type == DT_UNKNOWN immediately.
1964         (_Dir::should_recurse(bool, error_code&)): Remove file_type::unknown
1965         handling here.
1966         * testsuite/27_io/filesystem/iterators/caching.cc: New test.
1967
1968         * include/bits/fs_path.h (path::operator=(path&&)): Check for self
1969         assignment.
1970         * src/c++17/fs_path.cc (path::operator=(const path&)): Likewise.
1971         * testsuite/27_io/filesystem/path/assign/copy.cc: Test self
1972         assignment.
1973
1974         PR libstdc++/87431 (again)
1975         * include/bits/basic_string.h (__variant::_Never_valueless_alt):
1976         Define partial specialization for basic_string.
1977         * include/bits/shared_ptr.h (_Never_valueless_alt): Likewise for
1978         shared_ptr and weak_ptr.
1979         * include/bits/std_function.h (_Never_valueless_alt): Likewise for
1980         function.
1981         * include/bits/stl_vector.h (_Never_valueless_alt): Likewise for
1982         vector.
1983         * include/bits/unique_ptr.h (_Never_valueless_alt): Likewise for
1984         unique_ptr.
1985         * include/debug/vector (_Never_valueless_alt): Likewise for debug
1986         vector.
1987         * include/std/any (_Never_valueless_alt): Define explicit
1988         specialization for any.
1989         * include/std/variant (_Never_valueless_alt): Define primary template.
1990         (__never_valueless): Use _Never_valueless_alt instead of
1991         is_trivially_copyable.
1992         (variant::emplace<N>(Args&&...)): Add special case for non-throwing
1993         initializations to avoid try-catch overhead. Add special case for
1994         scalars produced by potentially-throwing conversions. Use
1995         _Never_valueless_alt instead of is_trivially_copyable for the
1996         remaining strong exception-safety cases.
1997         (variant::emplace<N>(initializer_list<U>, Args&&...)): Likewise.
1998         * testsuite/20_util/variant/87431.cc: Run both test functions.
1999         * testsuite/20_util/variant/exception_safety.cc: New test.
2000         * testsuite/20_util/variant/run.cc: Use pmr::string instead of string,
2001         so the variant becomes valueless.
2002
2003 2019-04-03  Jonathan Wakely  <jwakely@redhat.com>
2004
2005         PR libstdc++/85184
2006         * include/std/variant (_Copy_assign_base, _Move_assign_base, variant):
2007         Remove assertions.
2008         (variant::emplace<_Tp>): Return result of emplace<N> directly.
2009
2010         * include/std/string (__hash_string_base): New class template defining
2011         operator() for hashing strings.
2012         (hash<pmr::string>, hash<pmr::u8string>, hash<pmr::u16string>)
2013         (hash<pmr::u32string>, hash<pmr::wstring>): Define for C++17.
2014         * testsuite/21_strings/basic_string/hash/hash.cc: New test.
2015         * testsuite/21_strings/basic_string/hash/hash_char8_t.cc: New test.
2016
2017 2019-04-01  Ville Voutilainen  <ville.voutilainen@gmail.com>
2018
2019         Use single-visitation in variant assignment and swap and relops.
2020         Also use indices instead of types when checking whether
2021         variants hold the same thing.
2022         * include/std/variant (__do_visit): Add a template parameter
2023         for index visitation, invoke with indices if index visitation
2024         is used.
2025         (__variant_idx_cookie): New.
2026         (__visit_with_index): Likewise.
2027         (_Copy_assign_base::operator=): Do single-visitation with
2028         an index visitor.
2029         (_Move_assign_base::operator=): Likewise.
2030         (_Extra_visit_slot_needed): Adjust.
2031         (__visit_invoke): Call with indices if it's an index visitor.
2032         (relops): Do single-visitation with an index visitor.
2033         (swap): Likewise.
2034         (__visitor_result_type): New.
2035
2036 2019-03-30  Eric Botcazou  <ebotcazou@adacore.com>
2037
2038         * src/c++17/fs_ops.cc (fs::permissions): Use std::errc::not_supported.
2039
2040 2019-03-28  Ville Voutilainen  <ville.voutilainen@gmail.com>
2041
2042         Don't revisit a variant we are already visiting.
2043         * include/std/variant (__variant_construct_single): New.
2044         (__variant_construct): Use it.
2045         (_M_destructive_move): Likewise.
2046         (_M_destructive_copy): Likewise.
2047         (_Copy_assign_base::operator=): Adjust.
2048         (_Move_assign_base::operator=): Likewise.
2049         (swap): Likewise.
2050
2051 2019-03-26  Jonathan Wakely  <jwakely@redhat.com>
2052
2053         PR libstdc++/85965
2054         * include/bits/hashtable.h (_Hashtable): Move static assertions to
2055         destructor so they are not evaluated until the _Key type is complete.
2056         * include/bits/stl_tree.h (_Rb_tree): Likewise.
2057         * testsuite/23_containers/set/85965.cc: New test.
2058         * testsuite/23_containers/unordered_set/85965.cc: New test.
2059         * testsuite/23_containers/map/48101_neg.cc: Replace "here" errors
2060         with regexp matching the corresponding _Rb_tree specialization.
2061         * testsuite/23_containers/multimap/48101_neg.cc: Likewise.
2062         * testsuite/23_containers/multiset/48101_neg.cc: Remove "here" error.
2063         * testsuite/23_containers/set/48101_neg.cc: Likewise.
2064         * testsuite/23_containers/unordered_map/48101_neg.cc: Likewise.
2065         * testsuite/23_containers/unordered_multimap/48101_neg.cc: Likewise.
2066         * testsuite/23_containers/unordered_multiset/48101_neg.cc: Likewise.
2067         * testsuite/23_containers/unordered_set/48101_neg.cc: Likewise.
2068
2069 2019-03-26  Ville Voutilainen  <ville.voutilainen@gmail.com>
2070
2071         PR libstdc++/89825
2072         Fix based on a suggestion by Antony Polukhin.
2073         * include/std/variant (__never_valueless): New.
2074         (_M_valid): Use it.
2075         (_Extra_visit_slot_needed): New.
2076         (_Multi_array): Use it.
2077         (_S_apply_all_alts): Likewise.
2078
2079 2019-03-26  Ville Voutilainen  <ville.voutilainen@gmail.com>
2080
2081         PR libstdc++/89824
2082         Fix based on a suggestion by Antony Polukhin.
2083         * include/std/variant (__gen_vtable): Don't reserve an
2084         additional table slot, _Multi_array already does that.
2085
2086 2019-03-26  Ville Voutilainen  <ville.voutilainen@gmail.com>
2087
2088         PR libstdc++/89816
2089         Fix based on a suggestion by Antony Polukhin.
2090         * include/std/variant (__variant_construct): Capture a pointer
2091         to the storage and visit just one variant.
2092
2093 2019-03-22  Jonathan Wakely  <jwakely@redhat.com>
2094
2095         * doc/xml/manual/backwards_compatibility.xml: Remove link to
2096         Doxygen-generated pages with unstable URL.
2097         * doc/xml/manual/concurrency_extensions.xml: Likewise.
2098         * doc/xml/manual/extensions.xml: Likewise.
2099         * doc/xml/manual/parallel_mode.xml: Likewise.
2100         * doc/xml/manual/support.xml: Likewise.
2101
2102         * include/bits/stl_algobase.h (__lg): Do arithmetic on type int to
2103         avoid -Wconversion warnings.
2104
2105 2019-03-21  Thomas Rodgers  <trodgers@redhat.com>
2106
2107         * include/Makefile.am (std_header): Add ${std_srcdir}/execution.
2108         (pstl_srcdir, pstl_builddir, pstl_headers): New variables.
2109         (allstamped): Add stamp-pstl.
2110         (install-headers): Add ptsl_builddir.
2111         * include/Makefile.in: Regenerate.
2112         * include/bits/c++config: Add pstl configuration.
2113         * include/pstl/LICENSE.txt: New file.
2114         * include/pstl/algorithm_fwd.h: New file.
2115         * include/pstl/algorithm_impl.h: New file.
2116         * include/pstl/execution_defs.h: New file.
2117         * include/pstl/execution_impl.h: New file.
2118         * include/pstl/glue_algorithm_defs.h: New file.
2119         * include/pstl/glue_algorithm_impl.h: New file.
2120         * include/pstl/glue_execution_defs.h: New file.
2121         * include/pstl/glue_memory_defs.h: New file.
2122         * include/pstl/glue_memory_impl.h: New file.
2123         * include/pstl/glue_numeric_defs.h: New file.
2124         * include/pstl/glue_numeric_impl.h: New file.
2125         * include/pstl/memory_impl.h: New file.
2126         * include/pstl/numeric_fwd.h: New file.
2127         * include/pstl/numeric_impl.h: New file.
2128         * include/pstl/parallel_backend.h: New file.
2129         * include/pstl/parallel_backend_tbb.h: New file.
2130         * include/pstl/parallel_backend_utils.h: New file.
2131         * include/pstl/parallel_impl.h: New file.
2132         * include/pstl/pstl_config.h: New file.
2133         * include/pstl/unseq_backend_simd.h: New file.
2134         * include/pstl/utils.h: New file.
2135         * include/std/algorithm: Include parallel algorithm implementations.
2136         * include/std/execution: New file.
2137         * include/std/memory: Include parallel algorithm implementations.
2138         * include/std/numeric: Include parallel algorithm implementations.
2139         * include/std/version: Add parallel algorithms feature test macro.
2140         * testsuite/util/pstl/pstl_test_config.h: New file.
2141         * testsuite/util/pstl/test_utils.h: New file.
2142         * testsuite/20_util/specialized_algorithms/pstl/uninitialized_construct.cc: New file.
2143         * testsuite/20_util/specialized_algorithms/pstl/uninitialized_copy_move.cc: New file.
2144         * testsuite/20_util/specialized_algorithms/pstl/uninitialized_fill_destroy.cc: New file.
2145         * testsuite/25_algorithms/pstl/alg_merge/inplace_merge.cc: New file.
2146         * testsuite/25_algorithms/pstl/alg_merge/merge.cc: New file.
2147         * testsuite/25_algorithms/pstl/alg_modifying_operations/copy_if.cc: New file.
2148         * testsuite/25_algorithms/pstl/alg_modifying_operations/copy_move.cc: New file.
2149         * testsuite/25_algorithms/pstl/alg_modifying_operations/fill.cc: New file.
2150         * testsuite/25_algorithms/pstl/alg_modifying_operations/generate.cc: New file.
2151         * testsuite/25_algorithms/pstl/alg_modifying_operations/is_partitioned.cc: New file.
2152         * testsuite/25_algorithms/pstl/alg_modifying_operations/partition.cc: New file.
2153         * testsuite/25_algorithms/pstl/alg_modifying_operations/partition_copy.cc: New file.
2154         * testsuite/25_algorithms/pstl/alg_modifying_operations/remove.cc: New file.
2155         * testsuite/25_algorithms/pstl/alg_modifying_operations/remove_copy.cc: New file.
2156         * testsuite/25_algorithms/pstl/alg_modifying_operations/replace.cc: New file.
2157         * testsuite/25_algorithms/pstl/alg_modifying_operations/replace_copy.cc: New file.
2158         * testsuite/25_algorithms/pstl/alg_modifying_operations/rotate.cc: New file.
2159         * testsuite/25_algorithms/pstl/alg_modifying_operations/rotate_copy.cc: New file.
2160         * testsuite/25_algorithms/pstl/alg_modifying_operations/swap_ranges.cc: New file.
2161         * testsuite/25_algorithms/pstl/alg_modifying_operations/transform_binary.cc: New file.
2162         * testsuite/25_algorithms/pstl/alg_modifying_operations/transform_unary.cc: New file.
2163         * testsuite/25_algorithms/pstl/alg_modifying_operations/unique.cc: New file.
2164         * testsuite/25_algorithms/pstl/alg_modifying_operations/unique_copy_equal.cc: New file.
2165         * testsuite/25_algorithms/pstl/alg_nonmodifying/adjacent_find.cc: New file.
2166         * testsuite/25_algorithms/pstl/alg_nonmodifying/all_of.cc: New file.
2167         * testsuite/25_algorithms/pstl/alg_nonmodifying/any_of.cc: New file.
2168         * testsuite/25_algorithms/pstl/alg_nonmodifying/count.cc: New file.
2169         * testsuite/25_algorithms/pstl/alg_nonmodifying/equal.cc: New file.
2170         * testsuite/25_algorithms/pstl/alg_nonmodifying/find.cc: New file.
2171         * testsuite/25_algorithms/pstl/alg_nonmodifying/find_end.cc: New file.
2172         * testsuite/25_algorithms/pstl/alg_nonmodifying/find_first_of.cc: New file.
2173         * testsuite/25_algorithms/pstl/alg_nonmodifying/find_if.cc: New file.
2174         * testsuite/25_algorithms/pstl/alg_nonmodifying/for_each.cc: New file.
2175         * testsuite/25_algorithms/pstl/alg_nonmodifying/mismatch.cc: New file.
2176         * testsuite/25_algorithms/pstl/alg_nonmodifying/none_of.cc: New file.
2177         * testsuite/25_algorithms/pstl/alg_nonmodifying/nth_element.cc: New file.
2178         * testsuite/25_algorithms/pstl/alg_nonmodifying/reverse.cc: New file.
2179         * testsuite/25_algorithms/pstl/alg_nonmodifying/reverse_copy.cc: New file.
2180         * testsuite/25_algorithms/pstl/alg_nonmodifying/search_n.cc: New file.
2181         * testsuite/25_algorithms/pstl/alg_sorting/includes.cc: New file.
2182         * testsuite/25_algorithms/pstl/alg_sorting/is_heap.cc: New file.
2183         * testsuite/25_algorithms/pstl/alg_sorting/is_sorted.cc: New file.
2184         * testsuite/25_algorithms/pstl/alg_sorting/lexicographical_compare.cc: New file.
2185         * testsuite/25_algorithms/pstl/alg_sorting/minmax_element.cc: New file.
2186         * testsuite/25_algorithms/pstl/alg_sorting/partial_sort.cc: New file.
2187         * testsuite/25_algorithms/pstl/alg_sorting/partial_sort_copy.cc: New file.
2188         * testsuite/25_algorithms/pstl/alg_sorting/set.cc: New file.
2189         * testsuite/25_algorithms/pstl/alg_sorting/sort.cc: New file.
2190         * testsuite/26_numerics/pstl/numeric_ops/adjacent_difference.cc: New file.
2191         * testsuite/26_numerics/pstl/numeric_ops/reduce.cc: New file.
2192         * testsuite/26_numerics/pstl/numeric_ops/scan.cc: New file.
2193         * testsuite/26_numerics/pstl/numeric_ops/transform_reduce.cc: New file.
2194         * testsuite/26_numerics/pstl/numeric_ops/transform_scan.cc: New file.
2195         * testsuite/testsuite/20_util/specialized_algorithms/pstl/uninitialized_construct.cc: New file.
2196         * testsuite/testsuite/20_util/specialized_algorithms/pstl/uninitialized_copy_move.cc: New file.
2197         * testsuite/testsuite/20_util/specialized_algorithms/pstl/uninitialized_fill_destroy.cc: New file.
2198         * testsuite/testsuite/25_algorithms/pstl/alg_merge/inplace_merge.cc: New file.
2199         * testsuite/testsuite/25_algorithms/pstl/alg_merge/merge.cc: New file.
2200         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/copy_if.cc: New file.
2201         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/copy_move.cc: New file.
2202         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/fill.cc: New file.
2203         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/generate.cc: New file.
2204         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/is_partitioned.cc: New file.
2205         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/partition.cc: New file.
2206         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/partition_copy.cc: New file.
2207         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/remove.cc: New file.
2208         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/remove_copy.cc: New file.
2209         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/replace.cc: New file.
2210         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/replace_copy.cc: New file.
2211         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/rotate.cc: New file.
2212         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/rotate_copy.cc: New file.
2213         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/swap_ranges.cc: New file.
2214         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/transform_binary.cc: New file.
2215         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/transform_unary.cc: New file.
2216         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/unique.cc: New file.
2217         * testsuite/testsuite/25_algorithms/pstl/alg_modifying_operations/unique_copy_equal.cc: New file.
2218         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/adjacent_find.cc: New file.
2219         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/all_of.cc: New file.
2220         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/any_of.cc: New file.
2221         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/count.cc: New file.
2222         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/equal.cc: New file.
2223         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/find.cc: New file.
2224         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/find_end.cc: New file.
2225         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/find_first_of.cc: New file.
2226         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/find_if.cc: New file.
2227         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/for_each.cc: New file.
2228         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/mismatch.cc: New file.
2229         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/none_of.cc: New file.
2230         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/nth_element.cc: New file.
2231         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/reverse.cc: New file.
2232         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/reverse_copy.cc: New file.
2233         * testsuite/testsuite/25_algorithms/pstl/alg_nonmodifying/search_n.cc: New file.
2234         * testsuite/testsuite/25_algorithms/pstl/alg_sorting/includes.cc: New file.
2235         * testsuite/testsuite/25_algorithms/pstl/alg_sorting/is_heap.cc: New file.
2236         * testsuite/testsuite/25_algorithms/pstl/alg_sorting/is_sorted.cc: New file.
2237         * testsuite/testsuite/25_algorithms/pstl/alg_sorting/lexicographical_compare.cc: New file.
2238         * testsuite/testsuite/25_algorithms/pstl/alg_sorting/minmax_element.cc: New file.
2239         * testsuite/testsuite/25_algorithms/pstl/alg_sorting/partial_sort.cc: New file.
2240         * testsuite/testsuite/25_algorithms/pstl/alg_sorting/partial_sort_copy.cc: New file.
2241         * testsuite/testsuite/25_algorithms/pstl/alg_sorting/set.cc: New file.
2242         * testsuite/testsuite/25_algorithms/pstl/alg_sorting/sort.cc: New file.
2243         * testsuite/testsuite/26_numerics/pstl/numeric_ops/adjacent_difference.cc: New file.
2244         * testsuite/testsuite/26_numerics/pstl/numeric_ops/reduce.cc: New file.
2245         * testsuite/testsuite/26_numerics/pstl/numeric_ops/scan.cc: New file.
2246         * testsuite/testsuite/26_numerics/pstl/numeric_ops/transform_reduce.cc: New file.
2247         * testsuite/testsuite/26_numerics/pstl/numeric_ops/transform_scan.cc: New file.
2248
2249 2019-03-21  Jonathan Wakely  <jwakely@redhat.com>
2250
2251         * include/c_compatibility/math.h [!__STDCPP_WANT_MATH_SPEC_FUNCS__]
2252         (assoc_laguerre, assoc_laguerref, assoc_laguerrel, assoc_legendre)
2253         (assoc_legendref, assoc_legendrel, beta, betaf, betal, comp_ellint_1)
2254         (comp_ellint_1f, comp_ellint_1l, comp_ellint_2, comp_ellint_2f)
2255         (comp_ellint_2l, comp_ellint_3, comp_ellint_3f, comp_ellint_3l)
2256         (cyl_bessel_i, cyl_bessel_if, cyl_bessel_il, cyl_bessel_j)
2257         (cyl_bessel_jf, cyl_bessel_jl, cyl_bessel_k, cyl_bessel_kf)
2258         (cyl_bessel_kl, cyl_neumann, cyl_neumannf, cyl_neumannl, ellint_1)
2259         (ellint_1f, ellint_1l, ellint_2, ellint_2f, ellint_2l, ellint_3)
2260         (ellint_3f, ellint_3l, expint, expintf, expintl, hermite, hermitef)
2261         (hermitel, laguerre, laguerref, laguerrel, legendre, legendref)
2262         (legendrel, riemann_zeta, riemann_zetaf, riemann_zetal, sph_bessel)
2263         (sph_besself, sph_bessell, sph_legendre, sph_legendref, sph_legendrel)
2264         (sph_neumann, sph_neumannf, sph_neumannl): Only add using-declarations
2265         when the special functions IS is enabled, not for C++17.
2266         * testsuite/26_numerics/headers/cmath/functions_global_c++17.cc:
2267         Replace with ...
2268         * testsuite/26_numerics/headers/cmath/functions_global.cc: New test,
2269         without checks for special functions in C++17.
2270         * testsuite/26_numerics/headers/cmath/special_functions_global.cc:
2271         New test.
2272
2273         PR libstdc++/88066
2274         * include/backward/hash_map: Use <> for includes not "".
2275         * include/backward/hash_set: Likewise.
2276         * include/backward/strstream: Likewise.
2277         * include/tr1/bessel_function.tcc: Likewise.
2278         * include/tr1/exp_integral.tcc: Likewise.
2279         * include/tr1/legendre_function.tcc: Likewise.
2280         * include/tr1/modified_bessel_func.tcc: Likewise.
2281         * include/tr1/riemann_zeta.tcc: Likewise.
2282
2283 2019-03-19  Jonathan Wakely  <jwakely@redhat.com>
2284
2285         * doc/xml/manual/allocator.xml: Link to table documenting evolution
2286         of extension allocators.
2287         * doc/xml/manual/evolution.xml: Use angle brackets for header names.
2288         Document new headers in 7.2, 8.1 and 9.1 releases.
2289         * doc/xml/manual/using.xml: Adjust link target for new_allocator.
2290         * doc/html/*: Regenerate.
2291
2292 2019-03-12  John David Anglin  <dave.anglin@bell.net>
2293
2294         PR libstdc++/89461
2295         * testsuite/lib/libstdc++.exp: Locate libatomic.
2296         * testsuite/lib/dg-options.exp (add_options_for_libatomic): New.
2297         * testsuite/20_util/shared_ptr/thread/default_weaktoshared.cc: Add
2298         libatomic options.
2299         * testsuite/20_util/shared_ptr/thread/mutex_weaktoshared.cc: Likewise.
2300         * testsuite/experimental/net/timer/waitable/cons.cc: Likewise.
2301         * testsuite/experimental/net/timer/waitable/dest.cc: Likewise.
2302         * testsuite/experimental/net/timer/waitable/ops.cc: Likewise.
2303
2304 2019-03-11  Jonathan Wakely  <jwakely@redhat.com>
2305
2306         PR libstdc++/89460
2307         * configure.ac: Check for sockatmark.
2308         * crossconfig.m4: Check for sockatmark.
2309         * config.h.in: Regenerate.
2310         * configure: Regenerate.
2311         * include/experimental/internet (address_v4::_S_hton): Rename
2312         overloaded functions to _S_hton_16 and _S_ntoh_16.
2313         (address_v4::_S_ntoh): Rename to _S_ntoh_16 and _S_ntoh_32.
2314         (basic_endpoint): Adjust calls to _S_hton and _S_ntoh.
2315         * include/experimental/socket (basic_socket::at_mark): Check
2316         _GLIBCXX_HAVE_SOCKATMARK.
2317
2318         * testsuite/29_atomics/atomic_flag/test_and_set/explicit-hle.cc: Use
2319         const variables instead of macros.
2320
2321         PR libstdc++/89629
2322         * libsupc++/hash_bytes.cc [__SIZEOF_SIZE_T__ == 8] (_Hash_bytes):
2323         Use correct type for len_aligned.
2324         * testsuite/20_util/hash/89629.cc: New test.
2325
2326 2019-03-11  Jakub Jelinek  <jakub@redhat.com>
2327
2328         PR libstdc++/89641
2329         * include/std/atomic (atomic<T>::store, atomic<T>::load,
2330         atomic<T>::exchange, atomic<T>::compare_exchange_weak,
2331         atomic<T>::compare_exchange_strong): Cast __m or __s and __f to int.
2332         * include/bits/atomic_base.h (__atomic_base<T>::operator++,
2333         __atomic_base<T>::operator--, __atomic_base<T>::operator+=,
2334         __atomic_base<T>::operator-=, __atomic_base<T>::operator&=,
2335         __atomic_base<T>::operator|=, __atomic_base<T>::operator^=,
2336         __atomic_base<T*>::operator++, __atomic_base<T*>::operator--,
2337         __atomic_base<T*>::operator+=, __atomic_base<T*>::operator-=): Cast
2338         memory_order_seq_cst to int.
2339
2340 2019-03-08  Jonathan Wakely  <jwakely@redhat.com>
2341
2342         * doc/xml/manual/using.xml: Use link element instead of xref.
2343         * doc/html/*: Regenerate.
2344
2345         * include/bits/fs_path.h (path::format): Add fixed underlying type.
2346
2347 2019-03-08  François Dumont  <fdumont@gcc.gnu.org>
2348
2349         PR libstdc++/89477
2350         * include/debug/map.h (map): Use _RequireNotAllocator to constrain
2351         parameters in deduction guides.
2352         * include/debug/multimap.h (multimap): Likewise.
2353         * include/debug/set.h (multimap): Likewise.
2354         * include/debug/multiset.h (multimap): Likewise.
2355         * include/debug/unordered_map (unordered_map): Likewise.
2356         (unordered_multimap): Likewise.
2357         * include/debug/unordered_set (unordered_set): Likewise.
2358         (unordered_multiset): Likewise.
2359
2360         PR libstdc++/89608
2361         * include/debug/unordered_map (unordered_map<>::_M_check_rehashed):
2362         Invalidate all iterators in case of rehash.
2363         (unordered_multimap<>::_M_check_rehashed): Likewise.
2364         * include/debug/unordered_set
2365         (unordered_set<>::_M_check_rehashed): Likewise.
2366         (unordered_multiset<>::_M_check_rehashed): Likewise.
2367         * testsuite/23_containers/unordered_set/debug/89608_neg.cc: New.
2368
2369 2019-03-07  Andreas Schwab  <schwab@suse.de>
2370
2371         * config/abi/post/riscv64-linux-gnu: New directory.
2372         * config/abi/post/riscv64-linux-gnu/baseline_symbols.txt: New file.
2373
2374 2019-03-07  Jonathan Wakely  <jwakely@redhat.com>
2375
2376         * testsuite/20_util/function_objects/bind_front/1.cc: Change from
2377         compile test to run. Fix typo.
2378
2379         * doc/xml/manual/status_cxx2020.xml: Update C++20 status.
2380         * doc/html/*: Regenerate.
2381
2382         P0356R5 Simplified partial function application
2383         * include/std/functional [C++20] (_Bind_front, _Bind_front_t): Define
2384         helpers for bind_front.
2385         (bind_front, __cpp_lib_bind_front): Define.
2386         * testsuite/20_util/function_objects/bind_front/1.cc: New test.
2387
2388 2019-03-06  Jonathan Wakely  <jwakely@redhat.com>
2389
2390         * include/std/type_traits (__cpp_lib_bounded_array_traits): Define.
2391         * include/std/version (__cpp_lib_bounded_array_traits): Likewise.
2392         * testsuite/20_util/is_bounded_array/value.cc: Check for macro.
2393         * testsuite/20_util/is_unbounded_array/value.cc: Likewise.
2394
2395 2019-03-06  Edward Smith-Rowland  <3dw4rd@verizon.net>
2396
2397         PR libstdc++/86655 - std::assoc_legendre should not constrain
2398         the value of m (or x).
2399         * include/tr1/legendre_function.tcc (__assoc_legendre_p,
2400         __sph_legendre): If degree > order Don't throw, return 0.
2401         (__legendre_p, __assoc_legendre_p): Don't constrain x either.
2402         * testsuite/special_functions/02_assoc_legendre/pr86655.cc: New test.
2403         * testsuite/special_functions/20_sph_legendre/pr86655.cc: New test.
2404         * testsuite/tr1/5_numerical_facilities/special_functions/
2405         02_assoc_legendre/pr86655.cc: New test.
2406         * testsuite/tr1/5_numerical_facilities/special_functions/
2407         22_sph_legendre/pr86655.cc: New test.
2408
2409 2019-03-06  Ville Voutilainen  <ville.voutilainen@gmail.com>
2410
2411         Rewrite variant.
2412         Also PR libstdc++/85517
2413         * include/std/variant (__do_visit): New.
2414         (__variant_cast): Likewise.
2415         (__variant_cookie): Likewise.
2416         (__erased_*): Remove.
2417         (_Variant_storage::_S_vtable): Likewise.
2418         (_Variant_storage::__M_reset_impl): Adjust to use __do_visit.
2419         (_Variant_storage::__M_reset): Adjust.
2420         (__variant_construct): New.
2421         (_Copy_ctor_base(const _Copy_ctor_base&)): Adjust to use
2422         __variant_construct.
2423         (_Move_ctor_base(_Move_ctor_base&&)): Likewise.
2424         (_Move_ctor_base::__M_destructive_copy): New.
2425         (_Move_ctor_base::__M_destructive_move): Adjust to use
2426         __variant_construct.
2427         (_Copy_assign_base::operator=): Adjust to use __do_visit.
2428         (_Copy_assign_alias): Adjust to check both copy assignment
2429         and copy construction for triviality.
2430         (_Move_assign_base::operator=): Adjust to use __do_visit.
2431         (_Multi_array): Add support for visitors that accept and return
2432         a __variant_cookie.
2433         (__gen_vtable_impl::_S_apply_all_alts): Likewise.
2434         (__gen_vtable_impl::_S_apply_single_alt): Likewise.
2435         (__gen_vtable_impl::__element_by_index_or_cookie): New. Generate
2436         a __variant_cookie temporary for a variant that is valueless and..
2437         (__gen_vtable_impl::__visit_invoke): ..adjust here.
2438         (__gen_vtable::_Array_type): Conditionally make space for
2439         the __variant_cookie visitor case.
2440         (__variant_construct_by_index): New.
2441         (get_if): Adjust to use std::addressof.
2442         (relops): Adjust to use __do_visit.
2443         (variant): Add __variant_cast and __variant_construct_by_index
2444         as friends.
2445         (variant::emplace): Use _M_reset() and __variant_construct_by_index
2446         instead of self-destruction.
2447         (variant::swap): Adjust to use __do_visit.
2448         (visit): Reimplement in terms of __do_visit.
2449         (__variant_hash_call_base_impl::operator()): Adjust to use __do_visit.
2450         * testsuite/20_util/variant/compile.cc: Adjust.
2451         * testsuite/20_util/variant/run.cc: Likewise.
2452
2453 2019-03-06  Jonathan Wakely  <jwakely@redhat.com>
2454
2455         * include/bits/c++config.h (_cpp_lib_char8_t): Add L suffix to
2456         constant.
2457         * testsuite/experimental/feat-char8_t.cc: Likewise.
2458
2459          * include/std/type_traits [C++20] (is_bounded_array)
2460          (is_unbounded_array, is_bounded_array_v, is_unbounded_array_v):
2461          Define.
2462          * testsuite/20_util/is_bounded_array/requirements/
2463          explicit_instantiation.cc: New test.
2464          * testsuite/20_util/is_bounded_array/requirements/typedefs.cc: New
2465          test.
2466          * testsuite/20_util/is_bounded_array/value.cc: New test.
2467          * testsuite/20_util/is_unbounded_array/requirements/
2468          explicit_instantiation.cc: New test.
2469          * testsuite/20_util/is_unbounded_array/requirements/typedefs.cc: New
2470          * test.
2471          * testsuite/20_util/is_unbounded_array/value.cc: New test.
2472
2473         * include/bits/ptr_traits.h [C++20] (pointer_traits<T*>::pointer_to):
2474         Add constexpr.
2475         * testsuite/20_util/pointer_traits/pointer_to_constexpr.cc: New test.
2476
2477 2019-03-05  Jonathan Wakely  <jwakely@redhat.com>
2478
2479         * include/c_compatibility/math.h [C++20] (lerp): Add using
2480         declaration.
2481         * include/c_global/cmath [C++20] (__cpp_lib_interpolate): Define.
2482         (__lerp): Define function template to implement lerp.
2483         (lerp(float, float, float), lerp(double, double, double))
2484         (lerp(long double, long double, long double)): Define for C++20.
2485         * include/std/numeric [C++20] (__cpp_lib_interpolate): Define.
2486         (midpoint(T, T), midpoint(T*, T*)): Define.
2487         * include/std::version [C++20] (__cpp_lib_interpolate): Define.
2488         * testsuite/26_numerics/lerp.cc: New test.
2489         * testsuite/26_numerics/midpoint/floating.cc: New test.
2490         * testsuite/26_numerics/midpoint/integral.cc: New test.
2491         * testsuite/26_numerics/midpoint/pointer.cc: New test.
2492
2493 2019-03-04  Edward Smith-Rowland  <3dw4rd@verizon.net>
2494
2495         PR libstdc++/88996 Implement P0439R0
2496         Make std::memory_order a scoped enumeration.
2497         * include/bits/atomic_base.h: For C++20 make memory_order a scoped enum,
2498         add variables for the old enumerators.  Adjust calls.
2499         * testsuite/29_atomics/headers/atomic/types_std_c++2a.cc: New test.
2500         * testsuite/29_atomics/headers/atomic/types_std_c++2a_neg.cc: New test.
2501
2502 2019-03-04  Jonathan Wakely  <jwakely@redhat.com>
2503
2504         * testsuite/26_numerics/bit/bitops.rot/rotl.cc: Remove bogus dg-do
2505         directive.
2506
2507         * include/std/memory_resource (polymorphic_allocator): Add default
2508         template argument for C++20.
2509         (polymorphic_allocator::allocate_bytes)
2510         (polymorphic_allocator::deallocate_bytes)
2511         (polymorphic_allocator::allocate_object)
2512         (polymorphic_allocator::deallocate_object)
2513         (polymorphic_allocator::new_object)
2514         (polymorphic_allocator::delete_object): New member functions for
2515         C++20.
2516         * testsuite/20_util/polymorphic_allocator/allocate_object.cc: New
2517         test.
2518
2519 2019-03-03  Jonathan Wakely  <jwakely@redhat.com>
2520
2521         PR libstdc++/89562
2522         * src/filesystem/ops-common.h (do_copy_file): Open files in binary
2523         mode for mingw.
2524
2525 2019-03-01  Jonathan Wakely  <jwakely@redhat.com>
2526
2527         * testsuite/util/testsuite_allocator.h (__gnu_test::memory_resource)
2528         [!__cpp_sized_deallocation]: Do not pass size to operator delete.
2529
2530         * include/std/memory (uses_allocator_construction_args): New set of
2531         overloaded functions.
2532         (make_obj_using_allocator, uninitialized_construct_using_allocator):
2533         New functions.
2534         * include/std/memory_resource (polymorphic_allocator::construct)
2535         [__cplusplus > 201703l]: Replace all overloads with a single function
2536         using uses_allocator_construction_args.
2537         * testsuite/20_util/polymorphic_allocator/construct_c++2a.cc: New
2538         test.
2539         * testsuite/20_util/uses_allocator/make_obj.cc: New test.
2540
2541 2019-02-27  Jonathan Wakely  <jwakely@redhat.com>
2542
2543         PR libstdc++/89466
2544         * acinclude.m4 (GLIBCXX_CONFIGURE_DOCBOOK): Reorder check for local
2545         stylesheet directories before check for xsltproc. Try to use
2546         xmlcatalog to find local stylesheet directory before trying hardcoded
2547         paths. Add path used by suse to hardcoded paths. Adjust xsltproc
2548         check to look for the same stylesheet as doc/Makefile.am uses. Don't
2549         use xsltproc if xmlcatalog fails to find a local stylesheet.
2550         * configure.ac: Check for xmlcatalog.
2551         * Makefile.in: Regenerate.
2552         * configure: Likewise.
2553         * doc/Makefile.in: Likewise.
2554         * include/Makefile.in: Likewise.
2555         * libsupc++/Makefile.in: Likewise.
2556         * po/Makefile.in: Likewise.
2557         * python/Makefile.in: Likewise.
2558         * src/Makefile.in: Likewise.
2559         * src/c++11/Makefile.in: Likewise.
2560         * src/c++17/Makefile.in: Likewise.
2561         * src/c++98/Makefile.in: Likewise.
2562         * src/filesystem/Makefile.in: Likewise.
2563         * testsuite/Makefile.in: Likewise.
2564
2565 2019-02-26  Jonathan Wakely  <jwakely@redhat.com>
2566
2567         PR libstdc++/89477
2568         * include/bits/alloc_traits.h (_RequireNotAllocator): New helper for
2569         container deduction guides.
2570         * include/bits/hashtable.h (_RequireNotAllocatorOrIntegral): Likewise.
2571         * include/bits/stl_map.h (map): Use _RequireNotAllocator to constrain
2572         parameters in deduction guides.
2573         * include/bits/stl_multimap.h (multimap): Likewise.
2574         * include/bits/stl_multiset.h (multiset): Likewise.
2575         * include/bits/stl_queue.h (queue, priority_queue): Likewise.
2576         * include/bits/stl_set.h (set): Likewise.
2577         * include/bits/stl_stack.h (stack): Likewise.
2578         * include/bits/unordered_map.h (unordered_map, unordered_multimap):
2579         use _RequireNotAllocator and _RequireNotAllocatorOrIntegral to
2580         constrain parameters in deduction guides.
2581         * include/bits/unordered_set.h (unordered_set, unordered_multiset):
2582         Likewise.
2583         * testsuite/23_containers/map/cons/deduction.cc: Test additional
2584         deduction cases.
2585         * testsuite/23_containers/multiset/cons/deduction.cc: Likewise.
2586         * testsuite/23_containers/set/cons/deduction.cc: Likewise.
2587         * testsuite/23_containers/unordered_map/cons/deduction.cc: Likewise.
2588         * testsuite/23_containers/unordered_multimap/cons/deduction.cc:
2589         Likewise.
2590         * testsuite/23_containers/unordered_multiset/cons/deduction.cc:
2591         Likewise.
2592         * testsuite/23_containers/unordered_set/cons/deduction.cc: Likewise.
2593
2594         PR libstdc++/89416
2595         * include/bits/alloc_traits.h (__is_alloc_insertable_impl): Change
2596         to class template and partial specialization using void_t.
2597         (__is_copy_insertable, __is_move_insertable): Adjust base class.
2598
2599 2019-02-24  Jonathan Wakely  <jwakely@redhat.com>
2600
2601         PR libstdc++/89416
2602         * include/bits/alloc_traits.h (__is_alloc_insertable_impl): Make
2603         copy and move members public.
2604
2605 2019-02-23  Jonathan Wakely  <jwakely@redhat.com>
2606
2607         * include/std/type_traits (__underlying_type_impl): New helper to
2608         make underlying_type SFINAE-friendly.
2609         (underlying_type): Derive from __underlying_type_impl.
2610         * testsuite/20_util/underlying_type/requirements/typedefs-3.cc: New
2611         test.
2612
2613         PR libstdc++/89446
2614         * include/bits/char_traits.h (__constant_char_array): Check index is
2615         in range before dereferencing.
2616         (char_traits<char>::compare, char_traits<char>::find)
2617         (char_traits<char8_t>::compare, char_traits<char8_t>::find): Return
2618         immediately if n is zero.
2619         (char_traits<wchar_t>::compare, char_traits<wchar_t>::find): Likewise.
2620         Remove workarounds for PR 67026.
2621         * testsuite/21_strings/basic_string_view/operators/char/89446.cc:
2622         New test.
2623         * testsuite/21_strings/basic_string_view/operators/wchar_t/89446.cc:
2624         New test.
2625
2626 2019-02-22  Eric Botcazou  <ebotcazou@adacore.com>
2627
2628         * config/abi/post/sparc64-linux-gnu/baseline_symbols.txt: Adjust.
2629         * config/abi/post/sparc64-linux-gnu/32/baseline_symbols.txt: Likewise.
2630
2631 2019-02-22  Jakub Jelinek  <jakub@redhat.com>
2632
2633         PR libstdc++/89402
2634         * src/c++98/compatibility-ldbl.cc (_ZNKSt4hashIeEclEe): Change return
2635         type to std::size_t and argument to type to long double.
2636
2637 2019-02-22  Eric Botcazou  <ebotcazou@adacore.com>
2638
2639         * configure.host (abi_baseline_pair): Adjust for SPARC64/Linux.
2640         * config/abi/post/sparc64-linux-gnu: New directory.
2641         * config/abi/post/sparc64-linux-gnu/baseline_symbols.txt: New file.
2642         * config/abi/post/sparc64-linux-gnu/32: New directory.
2643         * config/abi/post/sparc64-linux-gnu/32/baseline_symbols.txt: New file.
2644
2645 2019-02-21  Jonathan Wakely  <jwakely@redhat.com>
2646
2647         * testsuite/29_atomics/headers/atomic/types_std_c++20.cc: New test.
2648         * testsuite/29_atomics/headers/atomic/types_std_c++20_neg.cc: New
2649         test.
2650
2651 2019-02-22  Tom Honermann  <tom@honermann.net>
2652
2653         * python/libstdcxx/v6/printers.py (register_type_printers): Add type
2654         printers for u8string and u8string_view.
2655
2656 2019-02-22  Tom Honermann  <tom@honermann.net>
2657
2658         * testsuite/18_support/byte/ops.cc: Validate
2659         std::to_integer<char8_t>, std::to_integer<char16_t>, and
2660         std::to_integer<char32_t>.
2661         * testsuite/18_support/numeric_limits/dr559.cc: Validate
2662         std::numeric_limits<char8_t>.
2663         * testsuite/18_support/numeric_limits/lowest.cc: Validate
2664         std::numeric_limits<char8_t>::lowest().
2665         * testsuite/18_support/numeric_limits/max_digits10.cc: Validate
2666         std::numeric_limits<char8_t>::max_digits10.
2667         * testsuite/18_support/type_info/fundamental.cc: Validate
2668         typeinfo for char8_t.
2669         * testsuite/20_util/from_chars/1_c++20_neg.cc: New test, validating
2670         std::from_chars with char8_t.
2671         * testsuite/20_util/hash/requirements/explicit_instantiation.cc:
2672         Validate explicit instantiation of std::hash<char8_t>.
2673         * testsuite/20_util/is_integral/value.cc: Validate
2674         std::is_integral<char8_t>.
2675         * testsuite/20_util/make_signed/requirements/typedefs-4.cc:
2676         Validate std::make_signed<char8_t>.
2677         * testsuite/21_strings/basic_string/cons/char/deduction.cc:
2678         Validate u8string construction from char8_t sources.
2679         * testsuite/21_strings/basic_string/types/pmr_typedefs.cc: Validate
2680         std::pmr::u8string.
2681         * testsuite/21_strings/basic_string_view/operations/compare/
2682         char/70483.cc: Validate substr operations on u8string_view.
2683         * testsuite/21_strings/basic_string_view/typedefs.cc: Validate that
2684         the u8string_view typedef is defined.
2685         * testsuite/21_strings/char_traits/requirements/
2686         constexpr_functions.cc: Validate char_traits<char8_t> constexpr
2687         member functions.
2688         * testsuite/21_strings/char_traits/requirements/
2689         constexpr_functions_c++17.cc: Validate char_traits<char8_t> C++17
2690         constexpr member functions.
2691         * testsuite/21_strings/headers/string/types_std_c++0x.cc: Validate
2692         that the u8string typedef is defined.
2693         * testsuite/22_locale/locale/cons/unicode.cc: Validate the presence
2694         of the std::codecvt<char16_t, char8_t, std::mbstate_t> and
2695         std::codecvt<char32_t, char8_t, std::mbstate_t> facets.
2696         * testsuite/29_atomics/atomic/cons/assign_neg.cc: Update line
2697         numbers.
2698         * testsuite/29_atomics/atomic/cons/copy_neg.cc: Likewise.
2699         * testsuite/29_atomics/atomic_integral/cons/assign_neg.cc:
2700         Likewise.
2701         * testsuite/29_atomics/atomic_integral/cons/copy_neg.cc: Likewise.
2702         * testsuite/29_atomics/atomic_integral/is_always_lock_free.cc:
2703         Validate std::atomic<char8_t>::is_always_lock_free
2704         * testsuite/29_atomics/atomic_integral/operators/bitwise_neg.cc:
2705         Update line numbers.
2706         * testsuite/29_atomics/atomic_integral/operators/decrement_neg.cc:
2707         Likewise.
2708         * testsuite/29_atomics/atomic_integral/operators/increment_neg.cc:
2709         Likewise.
2710         * testsuite/experimental/polymorphic_allocator/pmr_typedefs_string.cc:
2711         Validate std::experimental::pmr::u8string.
2712         * testsuite/experimental/string_view/typedefs.cc: Validate that the
2713         u8string_view typedef is defined.
2714         * testsuite/util/testsuite_common_types.h: Add char8_t, char16_t and
2715         char32_t to the typelists.
2716
2717 2019-02-22  Tom Honermann  <tom@honermann.net>
2718
2719         * include/ext/typelist.h: Constrain a partial specialization of
2720         typelist::detail::append_ to only match chain<T1,T2>.
2721
2722 2019-02-21  Jonathan Wakely  <jwakely@redhat.com>
2723
2724         PR libstdc++/89416
2725         * include/bits/alloc_traits.h (__is_alloc_insertable_impl): Replace
2726         class template with class. Replace move and copy member types with
2727         member alias templates, so they are only instantiated when needed.
2728         (__is_copy_insertable, __is_move_insertable): Adjust base class.
2729         * testsuite/23_containers/vector/modifiers/push_back/89130.cc: Enable
2730         test for C++11/14/17 as well.
2731         * testsuite/23_containers/vector/modifiers/push_back/89416.cc: New
2732         test.
2733
2734 2019-02-20  Jakub Jelinek  <jakub@redhat.com>
2735
2736         PR libstdc++/89402
2737         * src/c++98/compatibility-ldbl.cc (_ZNKSt4hashIeEclEe): Add
2738         _GLIBCXX_PURE to the alias declaration.
2739
2740 2019-02-19  Jonathan Wakely  <jwakely@redhat.com>
2741
2742         * testsuite/21_strings/basic_string/literals/types.cc
2743         [_GLIBCXX_USE_CHAR8_T]: Adjust expected string type for u8 literal.
2744         * testsuite/21_strings/basic_string/literals/values.cc
2745         [_GLIBCXX_USE_CHAR8_T]: Likewise.
2746         * testsuite/22_locale/codecvt/char16_t.cc: Adjust for u8 literals
2747         potentially having different type.
2748         * testsuite/22_locale/codecvt/char32_t.cc: Likewise.
2749         * testsuite/22_locale/codecvt/codecvt_utf8/79980.cc: Cast u8 literal
2750         to char.
2751         * testsuite/22_locale/codecvt/codecvt_utf8/wchar_t/1.cc: Likewise.
2752         * testsuite/22_locale/codecvt/utf8.cc: Likewise.
2753         * testsuite/22_locale/conversions/string/2.cc: Remove u8 prefix from
2754         string literals only using basic character set.
2755         * testsuite/22_locale/conversions/string/3.cc: Likewise. Cast other
2756         u8 literals to char.
2757         * testsuite/29_atomics/headers/atomic/macros.cc [_GLIBCXX_USE_CHAR8_T]:
2758         Test ATOMIC_CHAR8_T_LOCK_FREE.
2759         Add missing #error to ATOMIC_CHAR16_T_LOCK_FREE test.
2760         * testsuite/29_atomics/headers/atomic/types_std_c++0x.cc
2761         [_GLIBCXX_USE_CHAR8_T]: Check for std::atomic_char8_t.
2762         * testsuite/experimental/string_view/literals/types.cc
2763         [_GLIBCXX_USE_CHAR8_T]: Adjust expected string_view type for u8
2764         literal.
2765         * testsuite/experimental/string_view/literals/values.cc
2766         [_GLIBCXX_USE_CHAR8_T]: Likewise.
2767
2768 2019-02-19  Tom Honermann  <tom@honermann.net>
2769
2770         * testsuite/18_support/numeric_limits/char8_t.cc: New test cloned
2771         from char16_32_t.cc; validates numeric_limits<char8_t>.
2772         * testsuite/21_strings/basic_string/literals/types-char8_t.cc: New
2773         test cloned from types.cc; validates operator""s for char8_t
2774         returns u8string.
2775         * testsuite/21_strings/basic_string/literals/values-char8_t.cc: New
2776         test cloned from values.cc; validates construction and comparison
2777         of u8string values.
2778         * testsuite/21_strings/basic_string/requirements/
2779         /explicit_instantiation/char8_t/1.cc: New test cloned from
2780         char16_t/1.cc; validates explicit instantiation of
2781         basic_string<char8_t>.
2782         * testsuite/21_strings/basic_string_view/literals/types-char8_t.cc:
2783         New test cloned from types.cc; validates operator""sv for char8_t
2784         returns u8string_view.
2785         * testsuite/21_strings/basic_string_view/literals/
2786         values-char8_t.cc: New test cloned from values.cc; validates
2787         construction and comparison of u8string_view values.
2788         * testsuite/21_strings/basic_string_view/requirements/
2789         explicit_instantiation/char8_t/1.cc: New test cloned from
2790         char16_t/1.cc; validates explicit instantiation of
2791         basic_string_view<char8_t>.
2792         * testsuite/21_strings/char_traits/requirements/char8_t/65049.cc:
2793         New test cloned from char16_t/65049.cc; validates that
2794         char_traits<char8_t> is not vulnerable to the concerns in PR65049.
2795         * testsuite/21_strings/char_traits/requirements/char8_t/
2796         typedefs.cc: New test cloned from char16_t/typedefs.cc; validates
2797         that char_traits<char8_t> member typedefs are present and correct.
2798         * testsuite/21_strings/char_traits/requirements/
2799         explicit_instantiation/char8_t/1.cc: New test cloned from
2800         char16_t/1.cc; validates explicit instantiation of
2801         char_traits<char8_t>.
2802         * testsuite/22_locale/codecvt/char16_t-char8_t.cc: New test cloned
2803         from char16_t.cc: validates
2804         codecvt<char16_t, char8_t, mbstate_t>.
2805         * testsuite/22_locale/codecvt/char32_t-char8_t.cc: New test cloned
2806         from char32_t.cc: validates
2807         codecvt<char32_t, char8_t, mbstate_t>.
2808         * testsuite/22_locale/codecvt/utf8-char8_t.cc: New test cloned from
2809         utf8.cc; validates codecvt<char16_t, char8_t, std::mbstate_t> and
2810         codecvt<char32_t, char8_t, std::mbstate_t>.
2811         * testsuite/27_io/filesystem/path/native/string-char8_t.cc: New
2812         test cloned from string.cc; validates filesystem::path construction
2813         from char8_t input.
2814         * testsuite/experimental/feat-char8_t.cc: New test; validates that
2815         the __cpp_lib_char8_t feature test macro is defined with the
2816         correct value.
2817         * testsuite/experimental/filesystem/path/native/string-char8_t.cc:
2818         New test cloned from string.cc; validates filesystem::path
2819         construction from char8_t input.
2820         * testsuite/experimental/string_view/literals/types-char8_t.cc: New
2821         test cloned from types.cc; validates operator""sv for char8_t
2822         returns u8string_view.
2823         * testsuite/experimental/string_view/literals/values-char8_t.cc:
2824         New test cloned from values.cc; validates construction and
2825         comparison of u8string_view values.
2826         * testsuite/experimental/string_view/requirements/
2827         explicit_instantiation/char8_t/1.cc: New test cloned from
2828         char16_t/1.cc; validates explicit instantiation of
2829         basic_string_view<char8_t>.
2830         * testsuite/ext/char8_t/atomic-1.cc: New test; validates that
2831         ATOMIC_CHAR8_T_LOCK_FREE is not defined if char8_t support is not
2832         enabled.
2833
2834 2019-02-19  Tom Honermann  <tom@honermann.net>
2835
2836         P0482R5 char8_t: Standard library support
2837         * config/abi/pre/gnu-versioned-namespace.ver (CXXABI_2.0): Add
2838         typeinfo symbols for char8_t.
2839         * config/abi/pre/gnu.ver: Add CXXABI_1.3.12.
2840         (GLIBCXX_3.4.26): Add symbols for specializations of
2841         numeric_limits and codecvt that involve char8_t.
2842         (CXXABI_1.3.12): Add typeinfo symbols for char8_t.
2843         * include/bits/atomic_base.h: Add atomic_char8_t.
2844         * include/bits/basic_string.h: Add std::hash<u8string> and
2845         operator""s(const char8_t*, size_t).
2846         * include/bits/c++config: Define _GLIBCXX_USE_CHAR8_T and
2847         __cpp_lib_char8_t.
2848         * include/bits/char_traits.h: Add char_traits<char8_t>.
2849         * include/bits/codecvt.h: Add
2850         codecvt<char16_t, char8_t, mbstate_t>,
2851         codecvt<char32_t, char8_t, mbstate_t>,
2852         codecvt_byname<char16_t, char8_t, mbstate_t>, and
2853         codecvt_byname<char32_t, char8_t, mbstate_t>.
2854         * include/bits/cpp_type_traits.h: Add __is_integer<char8_t> to
2855         recognize char8_t as an integral type.
2856         * include/bits/fs_path.h: (path::__is_encoded_char): Recognize
2857         char8_t.
2858         (path::u8string): Return std::u8string when char8_t support is
2859         enabled.
2860         (path::generic_u8string): Likewise.
2861         (path::_S_convert): Handle conversion from char8_t input.
2862         (path::_S_str_convert): Likewise.
2863         * include/bits/functional_hash.h: Add hash<char8_t>.
2864         * include/bits/locale_conv.h (__str_codecvt_out): Add overloads for
2865         char8_t.
2866         * include/bits/locale_facets.h (_GLIBCXX_NUM_UNICODE_FACETS): Bump
2867         for new char8_t specializations.
2868         * include/bits/localefwd.h: Add missing declarations of
2869         codecvt<char16_t, char, mbstate_t> and
2870         codecvt<char32_t, char, mbstate_t>.  Add char8_t declarations
2871         codecvt<char16_t, char8_t, mbstate_t> and
2872         codecvt<char32_t, char8_t, mbstate_t>.
2873         * include/bits/postypes.h: Add u8streampos
2874         * include/bits/stringfwd.h: Add declarations of
2875         char_traits<char8_t> and u8string.
2876         * include/c_global/cstddef: Add __byte_operand<char8_t>.
2877         * include/experimental/bits/fs_path.h (path::__is_encoded_char):
2878         Recognize char8_t.
2879         (path::u8string): Return std::u8string when char8_t support is
2880         enabled.
2881         (path::generic_u8string): Likewise.
2882         (path::_S_convert): Handle conversion from char8_t input.
2883         (path::_S_str_convert): Likewise.
2884         * include/experimental/string: Add u8string.
2885         * include/experimental/string_view: Add u8string_view,
2886         hash<experimental::u8string_view>, and
2887         operator""sv(const char8_t*, size_t).
2888         * include/std/atomic: Add atomic<char8_t> and atomic_char8_t.
2889         * include/std/charconv (__is_int_to_chars_type): Recognize char8_t
2890         as a character type.
2891         * include/std/limits: Add numeric_limits<char8_t>.
2892         * include/std/string_view: Add u8string_view,
2893         hash<experimental::u8string_view>, and
2894         operator""sv(const char8_t*, size_t).
2895         * include/std/type_traits: Add __is_integral_helper<char8_t>,
2896         __make_unsigned<char8_t>, and __make_signed<char8_t>.
2897         * libsupc++/atomic_lockfree_defines.h: Define
2898         ATOMIC_CHAR8_T_LOCK_FREE.
2899         * src/c++11/Makefile.am: Compile with -fchar8_t when compiling
2900         codecvt.cc and limits.cc so that char8_t specializations of
2901         numeric_limits and codecvt and emitted.
2902         * src/c++11/Makefile.in: Likewise.
2903         * src/c++11/codecvt.cc: Define members of
2904         codecvt<char16_t, char8_t, mbstate_t>,
2905         codecvt<char32_t, char8_t, mbstate_t>,
2906         codecvt_byname<char16_t, char8_t, mbstate_t>, and
2907         codecvt_byname<char32_t, char8_t, mbstate_t>.
2908         * src/c++11/limits.cc: Define members of
2909         numeric_limits<char8_t>.
2910         * src/c++98/Makefile.am: Compile with -fchar8_t when compiling
2911         locale_init.cc and localename.cc.
2912         * src/c++98/Makefile.in: Likewise.
2913         * src/c++98/locale_init.cc: Add initialization for the
2914         codecvt<char16_t, char8_t, mbstate_t> and
2915         codecvt<char32_t, char8_t, mbstate_t> facets.
2916         * src/c++98/localename.cc: Likewise.
2917         * testsuite/util/testsuite_abi.cc: Validate ABI bump.
2918
2919 2019-02-18  Wilco Dijkstra  <wdijkstr@arm.com>
2920
2921         * 27_io/filesystem/operations/all.cc: Add dg-require-filesystem-ts.
2922         * 27_io/filesystem/operations/resize_file.cc: Likewise.
2923         * 27_io/filesystem/path/generation/normal2.cc: Likewise.
2924
2925 2019-02-14  Jonathan Wakely  <jwakely@redhat.com>
2926
2927         * doc/xml/manual/status_cxx2020.xml: Update P0887R1 status.
2928         * doc/html/*: Regenerate.
2929
2930         * doc/xml/manual/status_cxx2017.xml: Add P0063R3 to status table.
2931         * doc/html/*: Regenerate.
2932
2933         * doc/xml/manual/intro.xml: Document LWG 2586 status.
2934         * include/bits/uses_allocator.h (__uses_alloc): Use const lvalue
2935         allocator type in is_constructible checks.
2936         * testsuite/20_util/scoped_allocator/69293_neg.cc: Adjust dg-error.
2937         * testsuite/20_util/scoped_allocator/dr2586.cc: New test.
2938         * testsuite/20_util/tuple/cons/allocators.cc: Add test using
2939         problematic type from LWG 2586 discussion.
2940         * testsuite/20_util/uses_allocator/69293_neg.cc: Adjust dg-error.
2941         * testsuite/20_util/uses_allocator/cons_neg.cc: Likewise.
2942
2943         * configure.ac: Check for C11 timespec_get function.
2944         * crossconfig.m4 (freebsd, linux, gnu, cygwin, solaris, netbsd)
2945         (openbsd): Likewise
2946         * config.h.in: Regenerate.
2947         * configure: Regenerate.
2948         * include/c_global/ctime (timespec, timespec_get): Add to namespace
2949         std for C++17 and up.
2950
2951         * doc/xml/manual/intro.xml: Document LWG 2537 status.
2952         * include/bits/stl_queue.h
2953         (priority_queue(const Compare&, const Container&, const Alloc&))
2954         (priority_queue(const Compare&, Container&&, const Alloc&)): Call
2955         make_heap.
2956         * testsuite/23_containers/priority_queue/dr2537.cc: New test.
2957
2958         * doc/xml/manual/intro.xml: Document LWG 2566 status.
2959         * include/bits/stl_queue.h (queue, priority_queue): Add static
2960         assertions to enforce LWG 2566 requirement on value_type.
2961         * include/bits/stl_stack.h (stack): Likewise.
2962
2963         PR middle-end/89303
2964         * testsuite/20_util/enable_shared_from_this/89303.cc: New test.
2965
2966         * doc/xml/manual/intro.xml: Document LWG 2735 status.
2967         * include/bits/std_abs.h: Add comment about LWG 2735.
2968         * testsuite/26_numerics/headers/cstdlib/dr2735.cc: New test.
2969
2970 2019-02-13  Jonathan Wakely  <jwakely@redhat.com>
2971
2972         PR libstdc++/89345
2973         * include/std/version [__cpp_impl_destroying_delete]
2974         (__cpp_lib_destroying_delete): Only define for C++2a and later.
2975         * libsupc++/new [__cpp_impl_destroying_delete]
2976         (__cpp_lib_destroying_delete): Likewise.
2977         (destroying_delete_t, destroying_delete): Likewise, but define even
2978         when __cpp_impl_destroying_delete is not defined.
2979         * testsuite/18_support/destroying_delete.cc: New test.
2980
2981 2019-02-11  Jonathan Wakely  <jwakely@redhat.com>
2982
2983         PR libstdc++/89023
2984         * testsuite/17_intro/headers/c++2011/parallel_mode.cc: New test.
2985         * testsuite/17_intro/headers/c++2014/parallel_mode.cc: New test.
2986         * testsuite/17_intro/headers/c++2017/parallel_mode.cc: New test.
2987         * testsuite/28_regex/headers/regex/parallel_mode.cc: Remove.
2988
2989 2019-02-09  Jonathan Wakely  <jwakely@redhat.com>
2990
2991         PR libstdc++/71044
2992         * include/bits/fs_path.h (path::has_root_name)
2993         (path::has_root_directory, path::has_root_path)
2994         (path::has_relative_path, path::has_parent_path)
2995         (path::has_filename, path::has_stem, path::has_extension)
2996         (path::is_absolute, path::is_relative, path::_M_find_extension): Add
2997         noexcept.
2998         * src/c++17/fs_path.cc (path::has_root_name)
2999         (path::has_root_directory, path::has_root_path)
3000         (path::has_relative_path, path::has_parent_path)
3001         (path::has_filename, path::_M_find_extension): Add noexcept.
3002
3003 2019-02-06  Jonathan Wakely  <jwakely@redhat.com>
3004
3005         PR libstdc++/89102 (partial)
3006         * include/std/type_traits (common_type<>): Define.
3007         (common_type<T>): Derive from common_type<T, T>.
3008         * testsuite/20_util/common_type/requirements/explicit_instantiation.cc:
3009         Test zero-length template argument list.
3010         * testsuite/20_util/common_type/requirements/sfinae_friendly_1.cc:
3011         Test additional single argument cases.
3012         * testsuite/20_util/common_type/requirements/sfinae_friendly_2.cc:
3013         Adjust expected error.
3014
3015 2019-02-05  Jonathan Wakely  <jwakely@redhat.com>
3016
3017         PR libstdc++/89128
3018         * include/bits/stl_queue.h (queue, priority_queue): Add deduction
3019         guides.
3020         * include/bits/stl_stack.h (stack): Likewise.
3021         * testsuite/23_containers/priority_queue/deduction.cc: New test.
3022         * testsuite/23_containers/queue/deduction.cc: New test.
3023         * testsuite/23_containers/stack/deduction.cc: New test.
3024
3025         PR libstdc++/89194
3026         * include/std/type_traits (__is_convertible_helper)
3027         (__is_convertible_helper<_From, _To, false>): Revert changes to
3028         support is_nothrow_convertible.
3029         (__is_nt_convertible_helper): New helper.
3030         (is_nothrow_convertible): Use __is_nt_convertible_helper.
3031
3032         * testsuite/23_containers/vector/modifiers/push_back/49836.cc: Restore
3033         use of CopyConsOnlyType, but also test DelAnyAssign for completeness.
3034
3035         PR libstdc++/89130
3036         * include/bits/alloc_traits.h (__is_copy_insertable_impl): Rename to
3037         __is_alloc_insertable_impl. Replace single type member with two
3038         members, one for each of copy and move insertable.
3039         (__is_move_insertable): New trait for internal use.
3040         * include/bits/stl_vector.h (vector::_S_nothrow_relocate(true_type))
3041         (vector::_S_nothrow_relocate(true_type)): New functions to
3042         conditionally check if __relocate_a can throw.
3043         (vector::_S_use_relocate()): Dispatch to _S_nothrow_relocate based
3044         on __is_move_insertable.
3045         (vector::_S_do_relocate): New overloaded functions to conditionally
3046         call __relocate_a.
3047         (vector::_S_relocate): New function that dispatches to _S_do_relocate
3048         based on _S_use_relocate.
3049         * include/bits/vector.tcc (vector::reserve, vector::_M_realloc_insert)
3050         (vector::_M_default_append): Call _S_relocate instead of __relocate_a.
3051         * testsuite/23_containers/vector/modifiers/push_back/89130.cc: New.
3052
3053         PR libstdc++/89090
3054         * include/bits/stl_uninitialized.h (__relocate_a_1): Make unused
3055         parameter unnamed. Add message to static assertion.
3056         * include/bits/vector.tcc (vector::reserve, vector::_M_realloc_insert)
3057         (vector::_M_default_append): Use _GLIBCXX17_CONSTEXPR for if constexpr
3058         in C++11 code.
3059
3060 2019-02-05  Marc Glisse  <marc.glisse@inria.fr>
3061
3062         PR libstdc++/87106
3063         * include/bits/stl_uninitialized.h (__is_trivially_relocatable):
3064         Rename...
3065         (__is_bitwise_relocatable): ... to this.
3066         (__relocate_a_1): Adapt.
3067         * include/bits/stl_deque.h (__is_trivially_relocatable): Rename...
3068         (__is_bitwise_relocatable): ... to this.
3069
3070 2019-01-30  Jonathan Wakely  <jwakely@redhat.com>
3071
3072         PR libstdc++/89117
3073         * src/c++17/fs_path.cc (path::replace_extension): Erase extension from
3074         final component as well as from _M_pathname. Append the dot using
3075         operator+= instead of only to _M_pathname.
3076         (path::_M_find_extension): Reformat slightly.
3077         * testsuite/27_io/filesystem/path/modifiers/replace_extension.cc:
3078         Add more test cases.
3079
3080 2019-01-30  Ulrich Drepper  <drepper@redhat.com>
3081
3082         * doc/xml/manual/status_cxx2020.xml: Update P0600 entry.
3083
3084 2019-01-29  Jonathan Wakely  <jwakely@redhat.com>
3085
3086         * testsuite/26_numerics/headers/complex/synopsis.cc: Remove incorrect
3087         constexpr specifiers from arg and proj.
3088
3089         * config/abi/pre/gnu.ver (GLIBCXX_3.4.26): Add missing exports for
3090         __shared_ptr instantiations used by gcc4-compatible ABI.
3091
3092         * include/experimental/forward_list (experimental::erase): Qualify
3093         call to erase_if.
3094         * include/experimental/list (experimental::erase): Likewise.
3095         * include/std/forward_list (std::erase): Likewise.
3096         * include/std/list (std::erase): Likewise.
3097
3098         * testsuite/20_util/reference_wrapper/result_type.cc: Disable for
3099         C++2a.
3100         * testsuite/20_util/reference_wrapper/typedefs-2.cc: Likewise.
3101         * testsuite/20_util/reference_wrapper/typedefs-3.cc: Likewise.
3102         * testsuite/20_util/reference_wrapper/typedefs.cc: Likewise.
3103         * testsuite/30_threads/async/54297.cc: Suppress nodiscard warning.
3104         * testsuite/ext/array_allocator/26875.cc: Likewise.
3105         * testsuite/ext/pool_allocator/allocate_chunk.cc: Likewise.
3106         * testsuite/util/replacement_memory_operators.h: Likewise.
3107         * testsuite/util/testsuite_allocator.h: Likewise.
3108
3109         * include/std/memory_resource (__pool_resource::_M_unpooled): Use
3110         normal mode vector, even for debug mode.
3111         * include/std/vector [_GLIBCXX_DEBUG] (_GLIBCXX_STD_C::pmr::vector):
3112         Define alias template for normal mode vector.
3113
3114 2019-01-28  Jonathan Wakely  <jwakely@redhat.com>
3115
3116         PR libstdc++/68737
3117         * config/locale/generic/c_locale.h (__convert_from_v)
3118         [_GLIBCXX_USE_C99_STDIO]: Also check _GLIBCXX_HAVE_BROKEN_VSNPRINTF.
3119         * config/os/hpux/os_defines.h: Define _GLIBCXX_HAVE_BROKEN_VSNPRINTF.
3120         * include/bits/locale_facets.tcc (num_put::_M_insert_float)
3121         [_GLIBCXX_USE_C99_STDIO]: Also check _GLIBCXX_HAVE_BROKEN_VSNPRINTF.
3122
3123 2019-01-24  Jonathan Wakely  <jwakely@redhat.com>
3124
3125         PR libstdc++/88840
3126         * include/bits/stl_vector.h (vector::__use_relocate): Replace static
3127         data member with static member function _S_use_relocate().
3128         * include/bits/vector.tcc (vector::reserve, vector::_M_realloc_insert)
3129         (vector::_M_default_append): Use _S_use_relocate() instead of
3130         __use_relocate.
3131
3132         * testsuite/27_io/filesystem/path/compare/strings.cc: Only compare
3133         sign of results.
3134
3135 2019-01-22  Jonathan Wakely  <jwakely@redhat.com>
3136
3137         PR libstdc++/88740
3138         * testsuite/util/testsuite_hooks.h [stderr] (VERIFY): Use fprintf to
3139         write to stderr instead of using printf.
3140
3141 2019-01-21  Jakub Jelinek  <jakub@redhat.com>
3142
3143         PR libstdc++/86590
3144         * include/bits/char_traits.h (__constant_string_p,
3145         __constant_char_array_p): Use __builtin_is_constant_evaluated if
3146         available.
3147
3148 2019-01-20  Ulrich Drepper  <drepper@redhat.com>
3149
3150         Implement C++20 P0600r1.
3151         * include/backward/hash_map: Add nodiscard attribute to empty.
3152         * include/backward/hash_set: Likewise.
3153         * backward/hashtable.h: Likewise.
3154         * include/bits/basic_string.h: Likewise.
3155         * include/bits/forward_list.h: Likewise.
3156         * include/bits/hashtable.h: Likewise.
3157         * include/bits/regex.h: Likewise.
3158         * include/bits/stl_deque.h: Likewise.
3159         * include/bits/stl_list.h: Likewise.
3160         * include/bits/stl_map.h: Likewise.
3161         * include/bits/stl_multimap.h: Likewise.
3162         * include/bits/stl_multiset.h: Likewise.
3163         * include/bits/stl_queue.h: Likewise.
3164         * include/bits/stl_set.h: Likewise.
3165         * include/bits/stl_stack.h: Likewise.
3166         * include/bits/stl_tree.h: Likewise.
3167         * include/bits/stl_vector.h: Likewise.
3168         * include/bits/unordered_map.h: Likewise.
3169         * include/bits/unordered_set.h: Likewise.
3170         * include/debug/array: Likewise.
3171         * include/experimental/any: Likewise.
3172         * include/experimental/bits/fs_path.h: Likewise.
3173         * include/experimental/internet: Likewise.
3174         * include/experimental/string_view: Likewise.
3175         * include/ext/pb_ds/detail/bin_search_tree_/info_fn_imps.hpp:
3176         Likewise.
3177         * include/ext/pb_ds/detail/binary_heap_/binary_heap_.hpp:
3178         Likewise.
3179         * include/ext/pb_ds/detail/binary_heap_/info_fn_imps.hpp:
3180         Likewise.
3181         * include/ext/pb_ds/detail/cc_hash_table_map_/cc_ht_map_.hpp:
3182         Likewise.
3183         * include/ext/pb_ds/detail/cc_hash_table_map_/info_fn_imps.hpp:
3184         Likewise.
3185         * include/ext/pb_ds/detail/cc_hash_table_map_/size_fn_imps.hpp:
3186         Likewise.
3187         * include/ext/pb_ds/detail/gp_hash_table_map_/gp_ht_map_.hpp:
3188         Likewise.
3189         * include/ext/pb_ds/detail/gp_hash_table_map_/info_fn_imps.hpp:
3190         Likewise.
3191         * include/ext/pb_ds/detail/left_child_next_sibling_heap_/
3192         info_fn_imps.hpp: Likewise.
3193         * include/ext/pb_ds/detail/left_child_next_sibling_heap_/
3194         left_child_next_sibling_heap_.hpp: Likewise.
3195         * include/ext/pb_ds/detail/list_update_map_/info_fn_imps.hpp:
3196         Likewise.
3197         * include/ext/pb_ds/detail/list_update_map_/lu_map_.hpp:
3198         Likewise.
3199         * include/ext/pb_ds/detail/ov_tree_map_/info_fn_imps.hpp:
3200         Likewise.
3201         * include/ext/pb_ds/detail/ov_tree_map_/ov_tree_map_.hp:
3202         Likewise.
3203         * include/ext/pb_ds/detail/pat_trie_/info_fn_imps.hpp:
3204         Likewise.
3205         * include/ext/pb_ds/detail/pat_trie_/pat_trie_.hpp:
3206         Likewise.
3207         * include/ext/pb_ds/detail/rc_binomial_heap_/rc.hpp:
3208         Likewise.
3209         * include/ext/pb_ds/detail/tree_trace_base.hpp: Likewise.
3210         * include/ext/pb_ds/trie_policy.hpp: Likewise.
3211         * include/ext/rope: Likewise.
3212         * include/ext/slist: Likewise.
3213         * include/ext/vstring.h: Likewise.
3214         * include/profile/array: Likewise.
3215         * include/std/array: Likewise.
3216         * include/tr1/array: Likewise.
3217         * include/tr1/hashtable.h: Likewise.
3218         * include/tr1/regex: Likewise.
3219         * include/tr2/dynamic_bitset: Likewise.
3220         * include/bits/alloc_traits.h: Add nodiscard attribute to
3221         allocate.
3222         * include/experimental/memory_resource: Likewise.
3223         * include/ext/alloc_traits.h: Likewise.
3224         * include/ext/array_allocator.h: Likewise.
3225         * include/ext/bitmap_allocator.h: Likewise.
3226         * include/ext/debug_allocator.h: Likewise.
3227         * include/ext/extptr_allocator.h: Likewise.
3228         * include/ext/mt_allocator.h: Likewise.
3229         * include/ext/new_allocator.h: Likewise.
3230         * include/ext/pool_allocator.h: Likewise.
3231         * include/ext/throw_allocator.h: Likewise.
3232         * include/std/scoped_allocator: Likewise.
3233         * libsupc++/eh_alloc.cc: Likewise.
3234         * include/std/future: Add nodiscard attribute to async.
3235         * libsupc++/new: Add nodiscard attribute to new.
3236
3237 2019-01-18  Jonathan Wakely  <jwakely@redhat.com>
3238
3239         PR libstdc++/87514
3240         PR libstdc++/87520
3241         PR libstdc++/88782
3242         * config/abi/pre/gnu.ver (GLIBCXX_3.4.26): Export new symbol.
3243         * include/bits/shared_ptr.h
3244         (shared_ptr(_Sp_make_shared_tag, const Alloc&, Args&&...))
3245         (allocate_shared): Change to use new tag type.
3246         * include/bits/shared_ptr_base.h (_Sp_make_shared_tag::_S_eq):
3247         Declare new member function.
3248         (_Sp_alloc_shared_tag): Define new type.
3249         (_Sp_counted_ptr_inplace): Declare __shared_count<_Lp> as a friend.
3250         (_Sp_counted_ptr_inplace::_M_get_deleter) [!__cpp_rtti]: Use
3251         _Sp_make_shared_tag::_S_eq to check type_info.
3252         (__shared_count(Ptr, Deleter),__shared_count(Ptr, Deleter, Alloc)):
3253         Constrain to prevent being called with _Sp_alloc_shared_tag.
3254         (__shared_count(_Sp_make_shared_tag, const _Alloc&, Args&&...)):
3255         Replace constructor with ...
3256         (__shared_count(Tp*&, _Sp_alloc_shared_tag<_Alloc>, Args&&...)): Use
3257         reference parameter so address of the new object can be returned to
3258         the caller. Obtain the allocator from the tag type.
3259         (__shared_ptr(_Sp_make_shared_tag, const Alloc&, Args&&...)): Replace
3260         constructor with ...
3261         (__shared_ptr(_Sp_alloc_shared_tag<Alloc>, Args&&...)): Pass _M_ptr
3262         to the __shared_count constructor.
3263         (__allocate_shared): Change to use new tag type.
3264         * src/c++11/shared_ptr.cc (_Sp_make_shared_tag::_S_eq): Define.
3265
3266 2019-01-17  Jonathan Wakely  <jwakely@redhat.com>
3267
3268         * src/c++17/fs_ops.cc
3269         (equivalent(const path&, const path&, error_code&))
3270         [_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Use GetFileInformationByHandle to
3271         compare files instead of relying on incomplete info returned by stat.
3272
3273         PR libstdc++/88884
3274         * src/c++17/fs_ops.cc (absolute(const path&, error_code&)): Do nothing
3275         if the path is already absolute.
3276         [_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Normalize root-directory.
3277         [!_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Pass error_code to current_path.
3278
3279         PR libstdc++/88881
3280         * src/c++17/fs_ops.cc (canonical(const path&, error_code&))
3281         [_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Normalize path, to match behaviour
3282         of filesystem::exists.
3283         (create_directories(const path&, error_code&)): Add assertions.
3284         (status(const path&, error_code&)) [_GLIBCXX_FILESYSTEM_IS_WINDOWS]:
3285         Add workaround for bug in _wstat for paths with trailing slash.
3286         * testsuite/27_io/filesystem/operations/create_directories.cc: Adjust
3287         for expected behaviour on mingw.
3288         * testsuite/experimental/filesystem/operations/create_directories.cc:
3289         Likewise.
3290         * testsuite/27_io/filesystem/operations/temp_directory_path.cc: Use
3291         "TMP" instead of "TMPDIR" and clean environment before each test. Do
3292         not test permissions on mingw targets.
3293
3294 2019-01-16  Jonathan Wakely  <jwakely@redhat.com>
3295
3296         * config/abi/pre/gnu.ver (GLIBCXX_3.4.26): Add exports for fstream
3297         constructors and open members taking wide strings. Fix patterns for
3298         filesystem::path members to match wstring_view parameters. Add
3299         exports for shared_ptr members used by directory iterators.
3300         * src/c++17/fs_ops.cc (remove(const path&, error_code&)): Clear the
3301         error code parameter if the file doesn't exist.
3302         * src/filesystem/ops.cc (remove(const path&, error_code&)):
3303         Likewise.
3304         * testsuite/27_io/filesystem/operations/canonical.cc: Fix expected
3305         values for mingw targets, where "/" is not an absolute path. Do not
3306         test symlinks on mingw targets.
3307         * testsuite/experimental/filesystem/operations/canonical.cc: Likewise.
3308         * testsuite/27_io/filesystem/operations/copy.cc: Do not test symlinks
3309         on mingw targets.
3310         * testsuite/experimental/filesystem/operations/copy.cc: Likewise.
3311         * testsuite/27_io/filesystem/operations/create_directories.cc: Check
3312         that each component of the path is created.
3313         * testsuite/experimental/filesystem/operations/create_directories.cc:
3314         Likewise.
3315         * testsuite/27_io/filesystem/operations/exists.cc: Do not test
3316         permissions on mingw targets.
3317         * testsuite/experimental/filesystem/operations/exists.cc: Likewise.
3318         * testsuite/27_io/filesystem/operations/is_empty.cc: Likewise.
3319         * testsuite/experimental/filesystem/operations/is_empty.cc: Likewise.
3320         * testsuite/27_io/filesystem/operations/permissions.cc: XFAIL for
3321         mingw targets.
3322         * testsuite/experimental/filesystem/operations/permissions.cc:
3323         Likewise.
3324         * testsuite/27_io/filesystem/operations/remove.cc: Do not test
3325         symlinks or permissions on mingw targets.
3326         * testsuite/experimental/filesystem/operations/remove.cc: Likewise.
3327         * testsuite/27_io/filesystem/operations/remove_all.cc: Do not test
3328         symlinks on mingw targets.
3329         * testsuite/experimental/filesystem/operations/remove_all.cc:
3330         Likewise.
3331         * testsuite/27_io/filesystem/operations/status.cc: Do not test
3332         permissions on mingw targets.
3333         * testsuite/27_io/filesystem/operations/weakly_canonical.cc: Do not
3334         test symlinks on mingw targets.
3335         * testsuite/experimental/filesystem/operations/space.cc: Fix test
3336         for mingw targets.
3337
3338 2019-02-14  Ulrich Drepper  <drepper@redhat.com>
3339
3340         PR libstdc++/88738
3341         Warn about unused comparisons of shared_ptr/unique_ptr
3342         * include/bits/c++config [_GLIBCXX_NODISCARD]: Define.
3343         * include/bits/shared_ptr.h: Use it for operator ==, !=,
3344         <, <=, >, >= for shared_ptr.
3345         * include/bits/unique_ptr.h: Likewise for unique_ptr.
3346
3347 2019-01-15  Jonathan Wakely  <jwakely@redhat.com>
3348
3349         * include/bits/shared_ptr_base.h (__cpp_lib_shared_ptr_arrays): Define
3350         as 201611L, because P0497R0 changes are supported.
3351         * include/std/version (__cpp_lib_shared_ptr_arrays): Likewise.
3352
3353         * include/bits/erase_if.h [__cplusplus > 201703L]
3354         (__cpp_lib_erase_if): Only define for C++2a.
3355         * include/std/iterator [__cplusplus >= 201402L && !_GLIBCXX_DEBUG]
3356         (__cpp_lib_null_iterators): Define.
3357         * include/std/version [__cplusplus >= 201402L && !_GLIBCXX_DEBUG]
3358         (__cpp_lib_null_iterators): Define.
3359         [__cpp_impl_destroying_delete] (__cpp_lib_destroying_delete): Define.
3360
3361         * doc/xml/manual/status_cxx2017.xml: Document P0032R3 and P0307R2
3362         status.
3363         * include/bits/stl_uninitialized.h (__cpp_lib_raw_memory_algorithms):
3364         Define.
3365         * include/std/any (__cpp_lib_any): Define as 201606L, because P0032R3
3366         changes are supported.
3367         * include/std/optional (__cpp_lib_optional): Likewise.
3368         * include/std/variant (__cpp_lib_variant): Likewise.
3369         * include/std/version [!__STRICT_ANSI__]
3370         (__cpp_lib_uncaught_exceptions): Define as long integer.
3371         [__cplusplus >= 201703L] (__cpp_lib_any)
3372         (__cpp_lib_raw_memory_algorithms, __cpp_lib_uncaught_exceptions)
3373         (__cpp_lib_variant): Define for C++17.
3374         [__cplusplus >= 201703L] (__cpp_lib_optional): Update value and define
3375         as long integer.
3376         * libsupc++/exception (__cpp_lib_uncaught_exceptions): Define as long
3377         integer.
3378
3379         * doc/xml/manual/status_cxx2020.xml: Update P1123R0 status.
3380
3381 2019-01-12  Jonathan Wakely  <jwakely@redhat.com>
3382
3383         PR libstdc++/88811
3384         PR libstdc++/83306
3385         * src/filesystem/path.cc: Fix typo. If first path is empty, show []
3386         before second path.
3387         * testsuite/experimental/filesystem/filesystem_error/cons.cc: New
3388         test.
3389
3390 2019-01-11  Jonathan Wakely  <jwakely@redhat.com>
3391
3392         * doc/xml/manual/intro.xml: Include new section.
3393         * doc/xml/manual/status_cxx2017.xml: Document more
3394         implementation-defined properties of the library.
3395         * doc/xml/manual/status_cxx2020.xml: Document C++2a status.
3396         * doc/html/*: Regenerate.
3397
3398         * include/bits/refwrap.h [__cplusplus > 201703L]
3399         (_Refwrap_base_arg1, _Refwrap_base_arg2, _Reference_wrapper_base)
3400         (_Reference_wrapper_base_memfun): Do not define for C++2a.
3401         (reference_wrapper): Do not derive from _Reference_wrapper_base_memfun
3402         for C++2a.
3403         (reference_wrapper::operator()): Add static assertion.
3404         * testsuite/20_util/reference_wrapper/incomplete.cc: New test.
3405
3406         * include/std/chrono (duration_values::zero(), duration_values::min())
3407         (duration_values::max()): Add noexcept.
3408         (duration::zero(), duration::min(), duration::max()): Likewise.
3409         (time_point::zero(), time_point::min(), time_point::max()): Likewise.
3410         * testsuite/20_util/duration/requirements/noexcept.cc: New test.
3411         * testsuite/20_util/time_point/requirements/noexcept.cc: New test.
3412
3413         * include/std/version (__cpp_lib_erase_if): Move to C++20 group.
3414
3415 2019-01-11  Jakub Jelinek  <jakub@redhat.com>
3416
3417         * include/std/type_traits (__cpp_lib_is_constant_evaluated): Define.
3418         * include/std/version (__cpp_lib_is_constant_evaluated): Define.
3419
3420 2019-01-11  Jonathan Wakely  <jwakely@redhat.com>
3421
3422         PR libstdc++/88802
3423         * include/bits/functional_hash.h (hash<nullptr_t>): Define
3424         specialization for C++17 (P0513R0, LWG 2817).
3425         * testsuite/20_util/hash/nullptr.cc: New test.
3426
3427         PR libstdc++/88125
3428         * config/abi/pre/gnu.ver (GLIBCXX_3.4.6): Remove unused duplicate
3429         pattern for std::basic_stringbuf::str().
3430
3431         * config/abi/pre/gnu.ver (GLIBCXX_3.4): Correct recent changes to
3432         basic_ostream::operator<< patterns.
3433
3434 2019-01-10  Jonathan Wakely  <jwakely@redhat.com>
3435
3436         * testsuite/27_io/filesystem/operations/last_write_time.cc: Fix
3437         test failures on targets with 32-bit time_t.
3438
3439         * include/bits/erase_if.h: Define __cpp_lib_erase_if.
3440         * include/std/deque: Likewise.
3441         * include/std/forward_list: Likewise.
3442         * include/std/list: Likewise.
3443         * include/std/string: Likewise.
3444         * include/std/vector: Likewise.
3445         * include/std/version: Likewise.
3446         * testsuite/21_strings/basic_string/erasure.cc: Test macro.
3447         * testsuite/23_containers/deque/erasure.cc: Likewise.
3448         * testsuite/23_containers/forward_list/erasure.cc: Likewise.
3449         * testsuite/23_containers/list/erasure.cc: Likewise.
3450         * testsuite/23_containers/map/erasure.cc: Likewise.
3451         * testsuite/23_containers/set/erasure.cc: Likewise.
3452         * testsuite/23_containers/unordered_map/erasure.cc: Likewise.
3453         * testsuite/23_containers/unordered_set/erasure.cc: Likewise.
3454         * testsuite/23_containers/vector/erasure.cc: Likewise.
3455
3456         * include/experimental/internet [AI_NUMERICSERV]
3457         (resolver_base::numeric_service): Define conditionally.
3458         * testsuite/experimental/net/internet/resolver/base.cc: Test it
3459         conditionally.
3460         * testsuite/experimental/net/internet/resolver/ops/lookup.cc:
3461         Likewise.
3462
3463 2019-01-10  Ville Voutilainen  <ville.voutilainen@gmail.com>
3464             Jonathan Wakely  <jwakely@redhat.com>
3465
3466         Implement LWG 2221
3467         * config/abi/pre/gnu.ver (GLIBCXX_3.4): Tighten patterns.
3468         (GLIBCXX_3.4.26): Add new exports.
3469         * include/Makefile.am: Add ostream-inst.cc. Move string-inst.cc to
3470         correct list of sources.
3471         * include/Makefile.in: Regenerate.
3472         * include/std/ostream (operator<<(nullptr_t)): New member function.
3473         * src/c++17/ostream-inst.cc: New file.
3474         * testsuite/27_io/basic_ostream/inserters_other/char/lwg2221.cc: New
3475         test.
3476
3477 2019-01-10  Jonathan Wakely  <jwakely@redhat.com>
3478
3479         * testsuite/util/testsuite_fs.h (nonexistent_path): Include name
3480         of the source file containing the caller.
3481         * testsuite/27_io/filesystem/iterators/directory_iterator.cc: Remove
3482         directories created by test.
3483         * testsuite/27_io/filesystem/iterators/recursive_directory_iterator.cc:
3484         Likewise.
3485         * testsuite/experimental/filesystem/iterators/directory_iterator.cc:
3486         Likewise.
3487         * testsuite/experimental/filesystem/iterators/
3488         recursive_directory_iterator.cc: Likewise.
3489
3490 2019-01-10  Jakub Jelinek  <jakub@redhat.com>
3491
3492         PR tree-optimization/88775
3493         * include/bits/stl_function.h (greater<_Tp*>::operator(),
3494         less<_Tp*>::operator(), greater_equal<_Tp*>::operator(),
3495         less_equal<_Tp*>::operator()): Use __builtin_is_constant_evaluated
3496         instead of __builtin_constant_p if available.  Don't bother with
3497         the pointer comparison in C++11 and earlier.
3498
3499 2019-01-09  Sandra Loosemore  <sandra@codesourcery.com>
3500
3501         PR other/16615
3502
3503         * include/ext/bitmap_allocator.h: Mechanically replace "can not"
3504         with "cannot".
3505
3506 2019-01-09  Jonathan Wakely  <jwakely@redhat.com>
3507
3508         * testsuite/libstdc++-prettyprinters/cxx17.cc: Fix expected output
3509         for filesystem::path. Give variables more distinctive names.
3510
3511         * include/std/optional (_Optional_payload_base::_M_copy_assign): New
3512         member function to perform non-trivial assignment.
3513         (_Optional_payload_base::_M_move_assign): Likewise.
3514         (_Optional_payload<T, true, false, true>::operator=)
3515         (_Optional_payload<T, true, true, false>::operator=)
3516         (_Optional_payload<T, true, false, false>::operator=): Call
3517         _M_copy_assign and/or _M_move_assign to do non-trivial assignments.
3518
3519         PR libstdc++/88204
3520         * testsuite/26_numerics/complex/operators/more_constexpr.cc: Do not
3521         test std::complex<long double> if long double format is IBM128.
3522         * testsuite/26_numerics/complex/requirements/more_constexpr.cc:
3523         Likewise.
3524
3525 2019-01-08  Jonathan Wakely  <jwakely@redhat.com>
3526
3527         * testsuite/libstdc++-prettyprinters/compat.cc: Test printer support
3528         for old std::unique_ptr layout.
3529         * testsuite/libstdc++-prettyprinters/cxx17.cc: Fix std::variant test
3530         to become valueless. Add filesystem::path tests.
3531
3532         PR libstdc++/87855
3533         * include/std/optional (_Optional_payload_base): New class template
3534         for common code hoisted from _Optional_payload specializations. Use
3535         a template for the union, to allow a partial specialization for
3536         types with non-trivial destructors. Add constructors for in-place
3537         initialization to the union.
3538         (_Optional_payload(bool, const _Optional_payload&)): Use _M_construct
3539         to perform non-trivial copy construction, instead of relying on
3540         non-standard copy elision in a delegating constructor.
3541         (_Optional_payload(bool, _Optional_payload&&)): Likewise for
3542         non-trivial move construction.
3543         (_Optional_payload): Derive from _Optional_payload_base and use it
3544         for everything except the non-trivial assignment operators, which are
3545         defined as needed.
3546         (_Optional_payload<false, C, M>): Derive from the specialization
3547         _Optional_payload<true, false, false> and add a destructor.
3548         (_Optional_base_impl::_M_destruct, _Optional_base_impl::_M_reset):
3549         Forward to corresponding members of _Optional_payload.
3550         (_Optional_base_impl::_M_is_engaged, _Optional_base_impl::_M_get):
3551         Hoist common members from _Optional_base.
3552         (_Optional_base): Make all members and base class public.
3553         (_Optional_base::_M_get, _Optional_base::_M_is_engaged): Move to
3554         _Optional_base_impl.
3555         * python/libstdcxx/v6/printers.py (StdExpOptionalPrinter): Add
3556         support for new std::optional layout.
3557         * testsuite/libstdc++-prettyprinters/compat.cc: New test.
3558
3559         PR libstdc++/88066
3560         * include/bits/locale_conv.h: Use <> for includes not "".
3561         * include/ext/random: Likewise.
3562         * include/ext/vstring.h: Likewise.
3563
3564 2019-01-08  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3565
3566         * config/abi/pre/gnu.ver (GLIBCXX_3.4): Tighten existing patterns.
3567         (GLIBCXX_3.4.21): Likewise.
3568
3569 2019-01-08  Jonathan Wakely  <jwakely@redhat.com>
3570
3571         PR libstdc++/88749
3572         * src/filesystem/ops.cc (last_write_time): Fix preprocessor condition
3573         to match the one that controls whether utimbuf and utime are declared.
3574
3575 2019-01-07  Jonathan Wakely  <jwakely@redhat.com>
3576
3577         PR libstdc++/87787
3578         * include/bits/char_traits.h (char_traits::move): Do not pass null
3579         pointers to memmove.
3580         * include/bits/locale_facets.h
3581         (ctype<char>::widen(const char*, const char*, char*)): Do not
3582         pass null pointers to memcpy.
3583         (ctype<char>::narrow(const char*, const char*, char, char*)):
3584         Likewise.
3585         (ctype<char>::do_widen(const char*, const char*, char*)):
3586         Likewise.
3587         (ctype<char>::do_narrow(const char*, const char*, char, char*)):
3588         Likewise.
3589
3590         * doc/xml/manual/spine.xml: Update copyright years.
3591         * doc/xml/manual/status_cxx2017.xml: Adjust note about -lstdc++fs.
3592         * doc/xml/manual/using.xml: Remove requirement to link with -lstdc++fs
3593         for C++17 filesystem library.
3594         * doc/html/*: Regenerate.
3595
3596         * acinclude.m4 (GLIBCXX_CHECK_FILESYSTEM_DEPS): Check for truncate.
3597         * config.h.in: Regenerate.
3598         * config/abi/pre/gnu.ver: Order patterns for filesystem operations
3599         alphabetically and add missing entries for copy_symlink,
3600         hard_link_count, rename, and resize_file.
3601         * configure: Regenerate.
3602         * src/c++17/fs_ops.cc (resize_file): Remove #if so posix::truncate is
3603         used unconditionally.
3604         * src/filesystem/ops-common.h (__gnu_posix::truncate)
3605         [!_GLIBCXX_HAVE_TRUNCATE]: Provide fallback definition that only
3606         supports truncating to zero length.
3607         * testsuite/27_io/filesystem/operations/all.cc: New test.
3608         * testsuite/27_io/filesystem/operations/resize_file.cc: New test.
3609
3610 2019-01-06  Jonathan Wakely  <jwakely@redhat.com>
3611
3612         PR libstdc++/86756
3613         * acinclude.m4 (GLIBCXX_CHECK_FILESYSTEM_DEPS): Check for utime and
3614         lstat and define _GLIBCXX_USE_UTIME and _GLIBCXX_USE_LSTAT.
3615         * config.h.in: Regenerate.
3616         * config/abi/pre/gnu.ver (GLIBCXX_3.4.26): Export symbols for
3617         remaining std::filesystem types and functions.
3618         * configure: Regenerate.
3619         * src/c++17/Makefile.am: Add C++17 filesystem sources.
3620         * src/c++17/Makefile.in: Regenerate.
3621         * src/c++17/cow-fs_dir.cc: Move src/filesystem/cow-std-dir.cc to
3622         here, and change name of included file.
3623         * src/c++17/cow-fs_ops.cc: Move src/filesystem/cow-std-ops.cc to
3624         here, and change name of included file.
3625         * src/c++17/fs_dir.cc: Move src/filesystem/std-dir.cc to here. Change
3626         path to dir-common.h.
3627         * src/c++17/fs_ops.cc: Move src/filesystem/std-ops.cc to here. Change
3628         path to ops-common.h. Disable -Wunused-parameter warnings.
3629         (internal_file_clock): Define unconditionally.
3630         [!_GLIBCXX_HAVE_SYS_STAT_H] (internal_file_clock::from_stat): Do not
3631         define.
3632         (do_copy_file, do_space): Move definitions to ops.common.h.
3633         (copy, file_size, hard_link_count, last_write_time, space): Only
3634         perform operation when _GLIBCXX_HAVE_SYS_STAT_H is defined, otherwise
3635         report an error.
3636         (last_write_time, read_symlink): Remove unused attributes from
3637         parameters.
3638         * src/filesystem/Makefile.am: Remove C++17 filesystem sources.
3639         * src/filesystem/Makefile.in: Regenerate.
3640         * src/filesystem/cow-std-dir.cc: Move to src/c++17/cow-fs_dir.cc.
3641         * src/filesystem/cow-std-ops.cc: Move to src/c++17/cow-fs_ops.cc.
3642         * src/filesystem/std-dir.cc: Move to src/c++17/fs_dir.cc.
3643         * src/filesystem/std-ops.cc: Move to src/c++17/fs_ops.cc.
3644         * src/filesystem/dir-common.h [!_GLIBCXX_HAVE_DIRENT_H]: Define
3645         dummy types and functions instead of using #error.
3646         * src/filesystem/dir.cc [!_GLIBCXX_HAVE_DIRENT_H]: Use #error.
3647         * src/filesystem/ops-common.h [!_GLIBCXX_USE_LSTAT] (lstat): Define
3648         in terms of stat.
3649         [!_GLIBCXX_HAVE_UNISTD_H]: Define dummy types and functions.
3650         (do_copy_file, do_space): Move definitions here from std-ops.cc.
3651         * src/filesystem/ops.cc: Adjust calls to do_copy_file and do_space
3652         to account for new namespace.
3653         * testsuite/27_io/filesystem/directory_entry/86597.cc: Remove
3654         -lstdc++fs from dg-options.
3655         * testsuite/27_io/filesystem/directory_entry/lwg3171.cc: Likewise.
3656         * testsuite/27_io/filesystem/file_status/1.cc: Likewise.
3657         * testsuite/27_io/filesystem/filesystem_error/cons.cc: Likewise.
3658         * testsuite/27_io/filesystem/filesystem_error/copy.cc: Likewise.
3659         * testsuite/27_io/filesystem/iterators/directory_iterator.cc:
3660         Likewise.
3661         * testsuite/27_io/filesystem/iterators/pop.cc: Likewise.
3662         * testsuite/27_io/filesystem/iterators/recursive_directory_iterator.cc:
3663         Likewise.
3664         * testsuite/27_io/filesystem/operations/absolute.cc: Likewise.
3665         * testsuite/27_io/filesystem/operations/canonical.cc: Likewise.
3666         * testsuite/27_io/filesystem/operations/copy.cc: Likewise.
3667         * testsuite/27_io/filesystem/operations/copy_file.cc: Likewise.
3668         * testsuite/27_io/filesystem/operations/create_directories.cc:
3669         Likewise.
3670         * testsuite/27_io/filesystem/operations/create_directory.cc: Likewise.
3671         * testsuite/27_io/filesystem/operations/create_symlink.cc: Likewise.
3672         * testsuite/27_io/filesystem/operations/current_path.cc: Likewise.
3673         * testsuite/27_io/filesystem/operations/equivalent.cc: Likewise.
3674         * testsuite/27_io/filesystem/operations/exists.cc: Likewise.
3675         * testsuite/27_io/filesystem/operations/file_size.cc: Likewise.
3676         * testsuite/27_io/filesystem/operations/is_empty.cc: Likewise.
3677         * testsuite/27_io/filesystem/operations/last_write_time.cc: Likewise.
3678         * testsuite/27_io/filesystem/operations/permissions.cc: Likewise.
3679         * testsuite/27_io/filesystem/operations/proximate.cc: Likewise.
3680         * testsuite/27_io/filesystem/operations/read_symlink.cc: Likewise.
3681         * testsuite/27_io/filesystem/operations/relative.cc: Likewise.
3682         * testsuite/27_io/filesystem/operations/remove.cc: Likewise.
3683         * testsuite/27_io/filesystem/operations/remove_all.cc: Likewise.
3684         * testsuite/27_io/filesystem/operations/space.cc: Likewise.
3685         * testsuite/27_io/filesystem/operations/status.cc: Likewise.
3686         * testsuite/27_io/filesystem/operations/symlink_status.cc: Likewise.
3687         * testsuite/27_io/filesystem/operations/temp_directory_path.cc:
3688         Likewise.
3689         * testsuite/27_io/filesystem/operations/weakly_canonical.cc: Likewise.
3690
3691
3692         PR libstdc++/86756
3693         * config/abi/pre/gnu.ver (GLIBCXX_3.4): Make various patterns for
3694         typeinfo and vtables less greedy.
3695         (GLIBCXX_3.4.26): Export symbols for std::filesystem::path.
3696         * src/c++17/Makefile.am: Add fs_path.cc and cow-fs_path.cc.
3697         * src/c++17/Makefile.in: Regenerate.
3698         * src/c++17/cow-fs_path.cc: Move src/filesystem/cow-std-path.cc to
3699         here, and change name of included file.
3700         * src/c++17/fs_path.cc: Move src/filesystem/std-path.cc to here.
3701         * src/filesystem/Makefile.am: Remove std-path.cc and cow-std-path.cc
3702         from sources.
3703         * src/filesystem/Makefile.in: Regenerate.
3704         * src/filesystem/cow-std-path.cc: Move to src/c++17/cow-fs_path.cc.
3705         * src/filesystem/std-path.cc: Move to src/c++17/fs_path.cc.
3706         * testsuite/27_io/filesystem/path/append/path.cc: Remove -lstdc++fs
3707         from dg-options and remove dg-require-filesystem-ts.
3708         * testsuite/27_io/filesystem/path/append/source.cc: Likewise.
3709         * testsuite/27_io/filesystem/path/assign/assign.cc: Likewise.
3710         * testsuite/27_io/filesystem/path/assign/copy.cc: Likewise.
3711         * testsuite/27_io/filesystem/path/compare/compare.cc: Likewise.
3712         * testsuite/27_io/filesystem/path/compare/lwg2936.cc: Likewise.
3713         * testsuite/27_io/filesystem/path/compare/path.cc: Likewise.
3714         * testsuite/27_io/filesystem/path/compare/strings.cc: Likewise.
3715         * testsuite/27_io/filesystem/path/concat/path.cc: Likewise.
3716         * testsuite/27_io/filesystem/path/concat/strings.cc: Likewise.
3717         * testsuite/27_io/filesystem/path/construct/80762.cc: Likewise.
3718         * testsuite/27_io/filesystem/path/construct/copy.cc: Likewise.
3719         * testsuite/27_io/filesystem/path/construct/default.cc: Likewise.
3720         * testsuite/27_io/filesystem/path/construct/format.cc: Likewise.
3721         * testsuite/27_io/filesystem/path/construct/locale.cc: Likewise.
3722         * testsuite/27_io/filesystem/path/construct/range.cc: Likewise.
3723         * testsuite/27_io/filesystem/path/construct/string_view.cc: Likewise.
3724         * testsuite/27_io/filesystem/path/decompose/extension.cc: Likewise.
3725         * testsuite/27_io/filesystem/path/decompose/filename.cc: Likewise.
3726         * testsuite/27_io/filesystem/path/decompose/parent_path.cc: Likewise.
3727         * testsuite/27_io/filesystem/path/decompose/relative_path.cc: Likewise.
3728         * testsuite/27_io/filesystem/path/decompose/root_directory.cc:
3729         Likewise.
3730         * testsuite/27_io/filesystem/path/decompose/root_name.cc: Likewise.
3731         * testsuite/27_io/filesystem/path/decompose/root_path.cc: Likewise.
3732         * testsuite/27_io/filesystem/path/decompose/stem.cc: Likewise.
3733         * testsuite/27_io/filesystem/path/generation/normal.cc: Likewise.
3734         * testsuite/27_io/filesystem/path/generation/normal2.cc: Likewise.
3735         * testsuite/27_io/filesystem/path/generation/proximate.cc: Likewise.
3736         * testsuite/27_io/filesystem/path/generation/relative.cc: Likewise.
3737         * testsuite/27_io/filesystem/path/generic/generic_string.cc: Likewise.
3738         * testsuite/27_io/filesystem/path/itr/components.cc: Likewise.
3739         * testsuite/27_io/filesystem/path/itr/traversal.cc: Likewise.
3740         * testsuite/27_io/filesystem/path/modifiers/clear.cc: Likewise.
3741         * testsuite/27_io/filesystem/path/modifiers/make_preferred.cc:
3742         Likewise.
3743         * testsuite/27_io/filesystem/path/modifiers/remove_filename.cc:
3744         Likewise.
3745         * testsuite/27_io/filesystem/path/modifiers/replace_extension.cc:
3746         Likewise.
3747         * testsuite/27_io/filesystem/path/modifiers/replace_filename.cc:
3748         Likewise.
3749         * testsuite/27_io/filesystem/path/modifiers/swap.cc: Likewise.
3750         * testsuite/27_io/filesystem/path/native/string.cc: Likewise.
3751         * testsuite/27_io/filesystem/path/nonmember/append.cc: Likewise.
3752         * testsuite/27_io/filesystem/path/nonmember/hash_value.cc: Likewise.
3753         * testsuite/27_io/filesystem/path/query/empty.cc: Likewise.
3754         * testsuite/27_io/filesystem/path/query/has_extension.cc: Likewise.
3755         * testsuite/27_io/filesystem/path/query/has_filename.cc: Likewise.
3756         * testsuite/27_io/filesystem/path/query/has_parent_path.cc: Likewise.
3757         * testsuite/27_io/filesystem/path/query/has_relative_path.cc: Likewise.
3758         * testsuite/27_io/filesystem/path/query/has_root_directory.cc:
3759         Likewise.
3760         * testsuite/27_io/filesystem/path/query/has_root_name.cc: Likewise.
3761         * testsuite/27_io/filesystem/path/query/has_root_path.cc: Likewise.
3762         * testsuite/27_io/filesystem/path/query/has_stem.cc: Likewise.
3763         * testsuite/27_io/filesystem/path/query/is_absolute.cc: Likewise.
3764         * testsuite/27_io/filesystem/path/query/is_relative.cc: Likewise.
3765
3766         PR libstdc++/87431
3767         * include/std/variant (_Variant_storage<true, _Types...>::_M_valid):
3768         Check is_trivially_copyable instead of is_scalar.
3769         (variant::emplace<N, Args>(Args&&...)): If construction of the new
3770         contained value can throw and its type is trivially copyable then
3771         construct into a temporary variant and move from it, to provide the
3772         strong exception safety guarantee.
3773         (variant::emplace<N, U, Args>(initializer_list<U>, Args&&...)):
3774         Likewise.
3775         * testsuite/20_util/variant/87431.cc: New test.
3776         * testsuite/20_util/variant/run.cc: Adjust test so that throwing
3777         conversion causes valueless state.
3778
3779         PR libstdc++/88607
3780         * testsuite/17_intro/headers/c++1998/charset.cc: New test.
3781         * testsuite/17_intro/headers/c++2011/charset.cc: New test.
3782         * testsuite/17_intro/headers/c++2014/charset.cc: New test.
3783         * testsuite/17_intro/headers/c++2017/charset.cc: New test.
3784         * testsuite/17_intro/headers/c++2020/charset.cc: New test.
3785
3786 2019-01-05  Jonathan Wakely  <jwakely@redhat.com>
3787
3788         * include/bits/fs_fwd.h (__file_clock): Define new clock.
3789         (file_time_type): Redefine in terms of __file_clock.
3790         * src/filesystem/ops-common.h (file_time): Add FIXME comment about
3791         overflow.
3792         * src/filesystem/std-ops.cc (is_set(perm_options, perm_options)): Give
3793         internal linkage.
3794         (internal_file_lock): New helper type for accessing __file_clock.
3795         (do_copy_file): Use internal_file_lock to convert system time to
3796         file_time_type.
3797         (last_write_time(const path&, error_code&)): Likewise.
3798         (last_write_time(const path&, file_time_type, error_code&)): Likewise.
3799
3800 2019-01-04  Jonathan Wakely  <jwakely@redhat.com>
3801
3802         * config/abi/pre/gnu.ver (GLIBCXX_3.4.21): Make patterns less greedy
3803         for const member functions of std::basic_string.
3804         (GLIBCXX_3.4.26): Export member functions of std::basic_string added
3805         in C++17.
3806         * include/bits/basic_string.h (basic_string(__sv_wrapper, const A&)):
3807         Make non-standard constructor private.
3808         [!_GLIBCXX_USE_CXX11_ABI] (basic_string(__sv_wrapper, const A&)):
3809         Likewise.
3810         * include/bits/basic_string.tcc (std::string, std::wstring): Declare
3811         explicit instantiations for C++17 as well as earlier dialects.
3812         * src/c++17/Makefile.am: Add new source files.
3813         * src/c++17/Makefile.in: Regenerate.
3814         * src/c++17/cow-string-inst.cc: New file defining explicit
3815         instantiations for basic_string member functions added in C++17.
3816         * src/c++17/string-inst.cc: Likewise.
3817
3818         * config/abi/pre/gnu.ver (GLIBCXX_3.4.26): Export allocator-extended
3819         copy/move constructors for old std::basic_string.
3820         * include/bits/basic_string.h [!_GLIBCXX_USE_CXX11_ABI]
3821         (basic_string::reference, basic_string::const_reference): Define
3822         as plain references for C++11 and later.
3823         (basic_string::basic_string()): Put constructor body outside
3824         preprocessor conditional groups.
3825         (basic_string::basic_string(basic_string&&)): Move _Alloc_hider
3826         instead of copying it.
3827         (basic_string::basic_string(const basic_string&, const _Alloc&)):
3828         Define.
3829         (basic_string::basic_string(basic_string&&, const _Alloc&)):
3830         Define.
3831         * include/bits/fs_path.h [!_GLIBCXX_USE_CXX11_ABI]: Remove special
3832         cases for old basic_string.
3833         * testsuite/21_strings/basic_string/cons/char/8.cc: Test
3834         allocator-extended constructors unconditionally. Add extra members to
3835         allocator type when using old string ABI.
3836         * testsuite/21_strings/basic_string/allocator/71964.cc: Enable test
3837         for old string ABI.
3838         * testsuite/21_strings/basic_string/cons/wchar_t/8.cc: Likewise.
3839
3840         * testsuite/23_containers/list/61347.cc: Avoid spurious failure when
3841         -fno-inline added to test flags.
3842
3843         * testsuite/21_strings/basic_string/requirements/
3844         explicit_instantiation/debug.cc: Remove XFAIL for old ABI.
3845
3846         * testsuite/27_io/filesystem/filesystem_error/copy.cc: Fix static
3847         assertion failures with old std::string ABI.
3848
3849         * include/bits/fs_path.h (path::_List::erase): Replace both overloads
3850         with ...
3851         (path::pop_back(), path::_M_erase_from(const_iterator)): New member
3852         functions that will only erase elements at the end.
3853         * src/filesystem/std-path.cc (path::_List::_Impl::pop_back()): Define.
3854         (path::_List::_Impl::_M_erase_from(const_iterator)): Define.
3855         (path::_List::operator=(const _List&)): Use _M_erase_from(p) instead
3856         of erase(p, end()).
3857         (path::_List::pop_back()): Define.
3858         (path::_List::_M_erase_from(const_iterator)): Define.
3859         (path::operator/=(const path&)): Use pop_back to remove last component
3860         and _M_erase_from to remove multiple components.
3861         (path::_M_append(basic_string_view<value_type>)): Likewise.
3862         (path::operator+=(const path&)): Likewise.
3863         (path::_M_concat(basic_string_view<value_type>)): Likewise.
3864         (path::remove_filename()): Likewise.
3865         (path::lexically_normal()): Use _List::_Impl iterators instead of
3866         path::iterator. Use pop_back to remove components from the end. Clear
3867         trailing filename, instead of using erase(const_iterator) to remove
3868         a non-final component.
3869         * testsuite/27_io/filesystem/path/generation/normal.cc: Test
3870         additional cases.
3871         * testsuite/27_io/filesystem/path/generation/normal2.cc: New test.
3872
3873         * src/filesystem/std-path.cc (path::operator+=(const path&)): Fix
3874         incorrect treatment of empty filename after trailing slash.
3875         * testsuite/27_io/filesystem/path/concat/path.cc: Test problem case.
3876
3877         * testsuite/21_strings/basic_string/modifiers/assign/char/
3878         move_assign_optim.cc: Avoid spurious failure when -fno-inline added
3879         to test flags.
3880         * testsuite/21_strings/basic_string/modifiers/assign/wchar_t/
3881         move_assign_optim.cc: Likewise.
3882
3883 2019-01-03  Jonathan Wakely  <jwakely@redhat.com>
3884             Jakub Jelinek  <jakub@redhat.com>
3885
3886         PR libstdc++/88607
3887         * include/experimental/memory: Replace UTF-8 quote characters.
3888         * include/std/future: Replace UTF-8 "em dash" characters.
3889
3890 2019-01-03  Jonathan Wakely  <jwakely@redhat.com>
3891
3892         PR libstdc++/88607
3893         * include/bits/forward_list.h: Replace UTF-8 "ligature fi" character.
3894         * include/debug/forward_list: Likewise.
3895         * include/experimental/bits/shared_ptr.h: Remove UTF-8 "section sign"
3896         character.
3897         * include/experimental/chrono: Likewise.
3898         * include/experimental/functional: Likewise.
3899         * include/experimental/ratio: Likewise.
3900         * include/experimental/system_error: Likewise.
3901         * include/experimental/tuple: Likewise.
3902         * include/experimental/type_traits: Likewise.
3903         * include/parallel/workstealing.h: Replace UTF-8 "en dash" character.
3904         * include/parallel/multiseq_selection.h: Likewise.
3905
3906         PR libstdc++/88681
3907         * config/abi/pre/gnu.ver: Add missing exports.
3908         * testsuite/22_locale/collate_byname/88681.cc: New test.
3909         * testsuite/22_locale/time_get/get/char/88681.cc: New test.
3910         * testsuite/22_locale/time_get/get/wchar_t/88681.cc: New test.
3911
3912 2019-01-02  Jonathan Wakely  <jwakely@redhat.com>
3913
3914         * testsuite/23_containers/map/cons/deduction.cc: Test deduction from
3915         initializer_list<value_type> and from input iterator ranges.
3916         * testsuite/23_containers/multimap/cons/deduction.cc: Likewise.
3917
3918         * testsuite/experimental/string_view/element_access/char/empty.cc:
3919         Fix year range in copyright header.
3920
3921 2019-01-02  Joel Brobecker  <brobecker@adacore.com>
3922
3923         * testsuite/21_strings/basic_string_view/element_access/char/empty.cc:
3924         Fix year range in copyright header.
3925
3926 2019-01-01  Jakub Jelinek  <jakub@redhat.com>
3927
3928         Update copyright years.
3929 \f
3930 Copyright (C) 2019 Free Software Foundation, Inc.
3931
3932 Copying and distribution of this file, with or without modification,
3933 are permitted in any medium without royalty provided the copyright
3934 notice and this notice are preserved.