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