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