libstdc++-v3/ChangeLog

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