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