Fix thinko (PR tree-optimization/87201).
[official-gcc.git] / libstdc++-v3 / ChangeLog
blob0c6f4084ee3bee43b8e1b0b4e7ec321e4471e28b
1 2018-09-02  François Dumont  <fdumont@gcc.gnu.org>
3         * include/debug/safe_iterator.h
4         (_Safe_iterator<_It, _Seq, _Cat>::_Self): New.
5         (_Safe_iterator<_It, _Seq, std::random_access_iterator_tag>::_Self):
6         New.
7         (_Safe_iterator<_It, _Seq, std::random_access_iterator_tag>
8         ::_OtherSelf): New.
9         (_GLIBCXX_DEBUG_VERIFY_OPERANDS, _GLIBCXX_DEBUG_VERIFY_EQ_OPERANDS)
10         (_GLIBCXX_DEBUG_VERIFY_REL_OPERANDS)
11         (_GLIBCXX_DEBUG_VERIFY_DIST_OPERANDS): Define macros.
12         (_Safe_iterator<_It, _Seq, std::random_access_iterator_tag>
13         ::operator+(difference_type)): Use latters, inline as friend.
14         (_Safe_iterator<_It, _Seq, std::random_access_iterator_tag>
15         ::operator-(difference_type)): Likewise.
16         (operator==(const _Safe_iterator<>&, const _Safe_iterator<>&)):
17         Likewise.
18         (operator!=(const _Safe_iterator<>&, const _Safe_iterator<>&)):
19         Likewise.
20         (operator<(const _Safe_iterator<>&, const _Safe_iterator<>&)): Likewise.
21         (operator<=(const _Safe_iterator<>&, const _Safe_iterator<>&)):
22         Likewise.
23         (operator>(const _Safe_iterator<>&, const _Safe_iterator<>&)): Likewise.
24         (operator>=(const _Safe_iterator<>&, const _Safe_iterator<>&)):
25         Likewise.
26         (operator-(const _Safe_iterator<>&, const _Safe_iterator<>&)): Likewise.
27         (operator+(difference_type, const _Safe_iterator<>&)): Likewise.
28         (operator-(const _Safe_iterator<>&, difference_type)): Likewise.
29         * include/debug/safe_iterator.tcc
30         (_Safe_iterator<>::_M_can_advance(difference_type)): Take parameter by
31         copy.
32         * include/debug/safe_local_iterator.h
33         (_Safe_local_iterator<_It, _Seq>::_Self): New.
34         (_Safe_local_iterator<_It, _Seq>::_OtherSelf): New.
35         (_GLIBCXX_DEBUG_VERIFY_OPERANDS): Define macro.
36         (operator==(const _Safe_local_iterator<>&,
37         const _Safe_local_iterator<>&)): Use latter, inline as friend.
38         (operator!=(const _Safe_local_iterator<>&,
39         const _Safe_local_iterator<>&)): Likewise.
40         * testsuite/util/testsuite_containers.h: Include utility.
41         (struct forward_members_unordered<_Tp, bool>): Remove 2nd template
42         parameter.
43         (forward_members_unordered<>::forward_members_unordered(value_type&)):
44         Add using namespace std::rel_ops.
45         Add iterator_concept_checks on local_iterator and const_local_iterator.
46         Add asserts on comparison between const_local_iterator and
47         local_iterator.
48         (struct forward_members_unordered<_Tp, false>): Remove partial
49         specialization.
50         * testsuite/23_containers/forward_list/types/1.cc: New.
51         * testsuite/23_containers/list/types/1.cc: New.
53 2018-09-01  Gerald Pfeifer  <gerald@pfeifer.com>
55         * doc/xml/manual/profile_mode.xml: Update three ieeexplore.ieee.org
56         references.
58 2018-08-31  Sandra Loosemore  <sandra@codesourcery.com>
60         * testsuite/21_strings/basic_string/inserters_extractors/wchar_t/10.cc:
61         Add dg-require-fileio.
62         * testsuite/21_strings/basic_string/inserters_extractors/wchar_t/11.cc:
63         Likewise.
64         * testsuite/21_strings/basic_string/inserters_extractors/wchar_t/5.cc:
65         Likewise.
66         * testsuite/21_strings/basic_string_view/inserters/wchar_t/2.cc:
67         Likewise.
68         * testsuite/25_algorithms/copy/streambuf_iterators/wchar_t/4.cc:
69         Likewise.
70         * testsuite/25_algorithms/find/istreambuf_iterators/wchar_t/2.cc:
71         Likewise.
72         * testsuite/27_io/basic_filebuf/close/wchar_t/12790-1.cc: Likewise.
73         * testsuite/27_io/basic_filebuf/close/wchar_t/12790-2.cc: Likewise.
74         * testsuite/27_io/basic_filebuf/close/wchar_t/12790-3.cc: Likewise.
75         * testsuite/27_io/basic_filebuf/close/wchar_t/12790-4.cc: Likewise.
76         * testsuite/27_io/basic_filebuf/seekoff/wchar_t/11543.cc: Likewise.
77         * testsuite/27_io/basic_filebuf/seekoff/wchar_t/12790-1.cc:
78         Likewise.
79         * testsuite/27_io/basic_filebuf/seekoff/wchar_t/12790-2.cc:
80         Likewise.
81         * testsuite/27_io/basic_filebuf/seekoff/wchar_t/12790-3.cc:
82         Likewise.
83         * testsuite/27_io/basic_filebuf/seekoff/wchar_t/12790-4.cc:
84         Likewise.
85         * testsuite/27_io/basic_filebuf/seekpos/wchar_t/12790-1.cc:
86         Likewise.
87         * testsuite/27_io/basic_filebuf/seekpos/wchar_t/12790-2.cc:
88         Likewise.
89         * testsuite/27_io/basic_filebuf/seekpos/wchar_t/12790-4.cc:
90         Likewise.
91         * testsuite/27_io/basic_filebuf/underflow/wchar_t/2.cc: Likewise.
92         * testsuite/27_io/basic_filebuf/underflow/wchar_t/3.cc: Likewise.
93         * testsuite/27_io/basic_ifstream/cons/wchar_t/1.cc: Likewise.
94         * testsuite/27_io/basic_ifstream/open/wchar_t/1.cc: Likewise.
95         * testsuite/27_io/basic_istream/extractors_character/wchar_t/4.cc:
96         Likewise.
97         * testsuite/27_io/basic_istream/extractors_other/wchar_t/2.cc:
98         Likewise.
99         * testsuite/27_io/basic_istream/get/wchar_t/2.cc: Likewise.
100         * testsuite/27_io/basic_istream/getline/wchar_t/5.cc: Likewise.
101         * testsuite/27_io/basic_istream/ignore/wchar_t/2.cc: Likewise.
102         * testsuite/27_io/basic_istream/ignore/wchar_t/3.cc: Likewise.
103         * testsuite/27_io/basic_istream/seekg/wchar_t/sstream.cc: Likewise.
104         * testsuite/27_io/basic_istream/tellg/wchar_t/sstream.cc: Likewise.
105         * testsuite/27_io/basic_ofstream/cons/wchar_t/1.cc: Likewise.
106         * testsuite/27_io/basic_ofstream/open/wchar_t/1.cc: Likewise.
107         * testsuite/27_io/basic_ostream/inserters_other/wchar_t/1.cc:
108         Likewise.
109         * testsuite/27_io/objects/wchar_t/10.cc: Likewise.
110         * testsuite/27_io/objects/wchar_t/12048-1.cc: Likewise.
111         * testsuite/27_io/objects/wchar_t/12048-2.cc: Likewise.
112         * testsuite/27_io/objects/wchar_t/12048-3.cc: Likewise.
113         * testsuite/27_io/objects/wchar_t/12048-4.cc: Likewise.
114         * testsuite/27_io/objects/wchar_t/12048-5.cc: Likewise.
115         * testsuite/experimental/string_view/inserters/wchar_t/2.cc:
116         Likewise.
117         * testsuite/ext/stdio_sync_filebuf/wchar_t/1.cc: Likewise.
119 2018-08-30  Sandra Loosemore  <sandra@codesourcery.com>
121         * testsuite/experimental/propagate_const/observers/1.cc: Make
122         dependence on -fdelete-null-pointer-checks explicit.
124 2018-08-30  Jonathan Wakely  <jwakely@redhat.com>
126         * include/bits/hashtable_policy.h (__clp2): Fix calculation for LLP64
127         targets where sizeof(size_t) > sizeof(long). Avoid undefined shifts
128         of the number of bits in the type.
129         * include/std/bit (__ceil2): Avoid undefined shifts.
130         * testsuite/26_numerics/bit/bit.pow.two/ceil2.cc: Test values with
131         the most signifiant bit set.
133         * config/abi/pre/gnu.ver: Add missing exports for mingw.
135         * include/ext/pointer.h (_Pointer_adapter): Define operators for
136         pointer arithmetic using long long offsets.
137         * testsuite/ext/ext_pointer/1.cc: Test pointer arithmetic using
138         long long values.
140 2018-08-29  Jonathan Wakely  <jwakely@redhat.com>
142         PR libstdc++/31413
143         * testsuite/22_locale/time_get/get_date/wchar_t/4.cc: Check D_FMT
144         string for alternative format.
146 2018-08-28  Jonathan Wakely  <jwakely@redhat.com>
148         PR libstdc++/87116
149         * src/filesystem/std-path.cc (path::lexically_normal): When handling
150         a dot-dot filename, preserve an empty final component in the iteration
151         sequence.
152         [_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Use preferred-separator for
153         root-directory.
154         * testsuite/27_io/filesystem/path/generation/normal.cc: Add new tests
155         for more than two adjacent dot-dot filenames.
156         [_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Replace slashes with
157         preferred-separator in expected normalized strings.
159 2018-08-25  Iain Sandoe  <iain@sandoe.co.uk>
161         PR libstdc++/70694
162         * configure.host (OPT_LDFLAGS): Don't append
163         -fvisibility-inlines-hidden for newer Darwin.
165 2018-08-24  Marc Glisse  <marc.glisse@inria.fr>
167         PR libstdc++/86822
168         * libsupc++/new (operator new(size_t, nothrow_t), operator
169         new[](size_t, nothrow_t), operator new(size_t, align_val_t, nothrow_t),
170         operator new[](size_t, align_val_t, nothrow_t)): Add malloc attribute.
172 2018-08-24  Jonathan Wakely  <jwakely@redhat.com>
174         * include/debug/deque (std::__debug::deque): Declare.
175         * include/debug/forward_list (std::__debug::forward_list): Declare.
176         * include/debug/list (std::__debug::list): Declare.
177         * include/debug/map (std::__debug::map): Declare.
178         * include/debug/set (std::__debug::set): Declare.
179         * include/debug/unordered_map (std::__debug::unordered_map): Declare.
180         * include/debug/unordered_set (std::__debug::unordered_set): Declare.
181         * include/debug/vector (std::__debug::vector): Declare.
182         * testsuite/23_containers/deque/types/pmr_typedefs_debug.cc: New test.
183         * testsuite/23_containers/forward_list/pmr_typedefs_debug.cc: New
184         test.
185         * testsuite/23_containers/list/pmr_typedefs_debug.cc: New test.
186         * testsuite/23_containers/map/pmr_typedefs_debug.cc: New test.
187         * testsuite/23_containers/multimap/pmr_typedefs_debug.cc: New test.
188         * testsuite/23_containers/multiset/pmr_typedefs_debug.cc: New test.
189         * testsuite/23_containers/set/pmr_typedefs_debug.cc: New test.
190         * testsuite/23_containers/unordered_map/pmr_typedefs_debug.cc: New
191         test.
192         * testsuite/23_containers/unordered_multimap/pmr_typedefs_debug.cc:
193         New test.
194         * testsuite/23_containers/unordered_multiset/pmr_typedefs_debug.cc:
195         New test.
196         * testsuite/23_containers/unordered_set/pmr_typedefs_debug.cc: New
197         test.
198         * testsuite/23_containers/vector/cons/destructible_debug_neg.cc:
199         Adjust dg-error lineno.
200         * testsuite/23_containers/vector/types/pmr_typedefs_debug.cc: New
201         test.
203 2018-08-23  Jonathan Wakely  <jwakely@redhat.com>
205         * testsuite/util/testsuite_allocator.h (__gnu_test::memory_resource):
206         Only define when RTTI is enabled.
208         * include/debug/vector (__niter_base): Define for C++98.
210         * testsuite/25_algorithms/partial_sort_copy/debug/irreflexive_neg.cc:
211         Fix C++98 test to not use C++11 features.
212         * testsuite/25_algorithms/fill_n/2.cc: Likewise.
214         * scripts/check_compile: Fix comments.
216         * include/debug/string (insert(__const_iterator, _InIter, _InIter)):
217         [!_GLIBCXX_USE_CXX11_ABI]: Replace use of C++11-only cbegin() with
218         begin(), for C++98 compatibility.
220         * include/bits/basic_string.h [_GLIBCXX_USE_CXX11_ABI]
221         (basic_string::__const_iterator): Change access to protected.
222         [!_GLIBCXX_USE_CXX11_ABI] (basic_string::__const_iterator): Define
223         as typedef for iterator.
224         * include/debug/string (__const_iterator): Use typedef from base.
225         (insert(const_iterator, _CharT))
226         (replace(const_iterator, const_iterator, const basic_string&))
227         (replace(const_iterator, const_iterator, const _CharT*, size_type))
228         (replace(const_iterator, const_iterator, const CharT*))
229         (replace(const_iterator, const_iterator, size_type, _CharT))
230         (replace(const_iterator, const_iterator, _InputIter, _InputIter))
231         (replace(const_iterator, const_iterator, initializer_list<_CharT>)):
232         Change const_iterator parameters to __const_iterator.
233         (insert(iterator, size_type, _CharT)): Add C++98 overload.
234         (insert(const_iterator, _InputIterator, _InputIterator)): Change
235         const_iterator parameter to __const_iterator.
236         [!_GLIBCXX_USE_CXX11_ABI]: Add workaround for incorrect return type
237         of base's member function.
238         (insert(const_iterator, size_type, _CharT)) [!_GLIBCXX_USE_CXX11_ABI]:
239         Likewise.
240         (insert(const_iterator, initializer_list<_CharT>))
241         [!_GLIBCXX_USE_CXX11_ABI]: Likewise.
242         * testsuite/21_strings/basic_string/init-list.cc: Remove effective
243         target directive.
245         * testsuite/20_util/reference_wrapper/lwg2993.cc: Fix C++11 test to
246         not use C++14 feature.
247         * testsuite/23_containers/list/68222_neg.cc: Likewise.
249         * testsuite/21_strings/basic_string/init-list.cc:
250         Require cxx11-abi.
251         * testsuite/experimental/polymorphic_allocator/pmr_typedefs_match.cc:
252         Likewise.
253         * testsuite/experimental/polymorphic_allocator/pmr_typedefs_string.cc:
254         Likewise.
256         * testsuite/23_containers/deque/capacity/max_size.cc: Fix test for
257         C++98 mode.
258         * testsuite/23_containers/deque/modifiers/assign/1.cc: Likewise.
259         * testsuite/23_containers/list/modifiers/assign/1.cc: Likewise.
260         * testsuite/23_containers/vector/bool/modifiers/assign/1.cc: Likewise.
261         * testsuite/23_containers/vector/capacity/max_size.cc: Likewise.
262         * testsuite/23_containers/vector/modifiers/assign/1.cc: Likewise.
264 2018-08-22  Jonathan Wakely  <jwakely@redhat.com>
266         PR libstdc++/87061
267         * include/experimental/regex [!_GLIBCXX_USE_CXX11_ABI]
268         (experimental::pmr::match_results, experimental::pmr::cmatch)
269         (experimental::pmr::smatch, experimental::pmr::wcmatch)
270         (experimental::pmr::wsmatch): Do not declare for gcc4-compatible ABI,
271         because COW strings don't support C++11 allocator model.
272         * include/experimental/string [!_GLIBCXX_USE_CXX11_ABI]
273         (experimental::pmr::basic_string, experimental::pmr::string)
274         (experimental::pmr::u16string, experimental::pmr::u32string)
275         (experimental::pmr::wstring): Likewise.
276         * include/std/regex [!_GLIBCXX_USE_CXX11_ABI] (pmr::match_results)
277         (pmr::cmatch, pmr::smatch, pmr::wcmatch, pmr::wsmatch): Likewise.
278         * include/std/string [!_GLIBCXX_USE_CXX11_ABI] (pmr::basic_string)
279         (pmr::string, pmr::u16string, pmr::u32string, pmr::wstring): Likewise.
280         * testsuite/21_strings/basic_string/types/pmr_typedefs.cc: Require
281         cxx11-abi.
282         * testsuite/28_regex/match_results/pmr_typedefs.cc: Likewise.
284         PR libstdc++/78448
285         * include/bits/deque.tcc (deque::_M_range_initialize): Use
286         _S_check_init_len to check size.
287         (deque::_M_push_back_aux, deque::_M_push_front_aux): Throw length
288         error if size would exceed max_size().
289         * include/bits/stl_deque.h (_Deque_base::size_type): Remove typedef.
290         (_Deque_base(_Deque_base&&, const allocator_type&, size_t)): Use
291         size_t instead of size_type.
292         (deq(size_type, const allocator_type&)
293         (deq(size_type, const value_type&, const allocator_type&)
294         (deque::_M_initialize_dispatch): Use _S_check_init_len to check size.
295         (deque::max_size): Call _S_max_size.
296         (deque::_S_check_init_len, deque::_S_max_size): New functions.
297         * include/bits/stl_vector.h (vector(size_type, const allocator_type&))
298         (vector(size_type, const value_type&, const allocator_type&))
299         (vector::_M_initialize_dispatch, vector::_M_range_initialize): Use
300         _S_check_init_len to check size.
301         (vector::max_size): Call _S_max_size.
302         (vector::_M_check_len): Prevent max from being expanded as a
303         function-like macro.
304         (vector::_S_check_init_len, vector::_S_max_size): New functions.
305         * include/bits/vector.tcc (vector::_M_assign_aux): Use
306         _S_check_init_len to check size.
307         * testsuite/23_containers/deque/capacity/max_size.cc: New test.
308         * testsuite/23_containers/vector/capacity/max_size.cc: New test.
310 2018-08-22  François Dumont  <fdumont@gcc.gnu.org>
312         PR libstdc++/68222
313         * include/debug/safe_iterator.h
314         (_Safe_iterator<_It, _Sq, _Cat>): Add category template parameter.
315         (_Safe_iterator<>::_Const_iterator): Remove.
316         (_Safe_iterator<>::_IsConstant): New.
317         (_Safe_iterator<>::_OtherIterator): New.
318         (_Safe_iterator<_It, _Sq, _Cat>::_Safe_iterator<_MutIte>(
319         const _Safe_iterator<_MutIte, _Sq, _Cat>&)): Add _IsConstant::__value in
320         __gnu_cxx::__enable_if condition.
321         (_Safe_iterator<_It, _Sq, _Cat>::_M_get_distance_to): New.
322         (_Safe_iterator<_It, _Sq, _Cat>::_M_get_distance_from_begin): New.
323         (_Safe_iterator<_It, _Sq, _Cat>::_M_get_distance_to_end): New.
324         (_Safe_iterator<_It, _Sq, std::bidirectional_iterator_tag>): New.
325         (_Safe_iterator<_It, _Sq, _Cat>::operator--()): Move...
326         (_Safe_iterator<_It, _Sq, std::bidirectional_iterator_tag>
327         ::operator--()): ...here.
328         (_Safe_iterator<_It, _Sq, _Cat>::operator--(int)): Move...
329         (_Safe_iterator<_It, _Sq, std::bidirectional_iterator_tag>
330         ::operator--(int)): ...here.
331         (_Safe_iterator<_It, _Sq, _Cat>::_M_decrementable()): Move...
332         (_Safe_iterator<_It, _Sq, std::bidirectional_iterator_tag>
333         ::_M_decrementable()): ...here.
334         (_Safe_iterator<_It, _Sq, std::random_access_iterator_tag>): New.
335         (_Safe_iterator<_It, _Sq, _Cat>::operator[](const difference_type&)):
336         Move...
337         (_Safe_iterator<_It, _Sq, std::random_access_iterator_tag>
338         ::operator[](const difference_type&)): ...here.
339         (_Safe_iterator<_It, _Sq, _Cat>::operator+=(const difference_type&)):
340         Move...
341         (_Safe_iterator<_It, _Sq, std::random_access_iterator_tag>
342         ::operator+=(const difference_type&)): ...here.
343         (_Safe_iterator<_It, _Sq, _Cat>::operator+(const difference_type&)):
344         Move...
345         (_Safe_iterator<_It, _Sq, std::random_access_iterator_tag>
346         ::operator+(const difference_type&)): ...here.
347         (_Safe_iterator<_It, _Sq, _Cat>::operator-=(const difference_type&)):
348         Move...
349         (_Safe_iterator<_It, _Sq, std::random_access_iterator_tag>
350         ::operator-=(const difference_type&)): ...here.
351         (_Safe_iterator<_It, _Sq, _Cat>::operator-(const difference_type&)):
352         Move...
353         (_Safe_iterator<_It, _Sq, std::random_access_iterator_tag>
354         ::operator-(const difference_type&)): ...here.
355         (operator<(const _Safe_iterator<>&, const _Safe_iterator<>&)):
356         Constraint to random access iterators.
357         (operator<=(const _Safe_iterator<>&, const _Safe_iterator<>&)):
358         Likewise.
359         (operator>(const _Safe_iterator<>&, const _Safe_iterator<>&)): Likewise.
360         (operator>=(const _Safe_iterator<>&, const _Safe_iterator<>&)):
361         Likewise.
362         (operator-(const _Safe_iterator<>&, const _Safe_iterator<>&)): Likewise.
363         (operator+(const difference_type&, const _Safe_iterator<>&)): Likewise.
364         (__check_dereferenceable(const _Safe_iterator<>&)): Remove.
365         (__get_distance): Remove.
366         (__get_distance_from_begin): Remove.
367         (__get_distance_to_end): Remove.
368         (struct __is_safe_random_iterator<_Safe_iterator<>>): Remove partial
369         specialization.
370         (__base(const _Safe_iterator<>&, std::input_iterator_tag)): Remove.
371         (__base(const _Safe_iterator<>&, std::random_access_iterator_tag)): Remove.
372         (__base(const _Safe_iterator<>&)): Constraint to random access iterator.
373         * include/debug/safe_iterator.tcc
374         (_Safe_iterator<>::_M_get_distance_from_begin()): New.
375         (_Safe_iterator<>::_M_get_distance_to_end()): New.
376         (_Safe_iterator<>::_M_get_distance_to(const _Safe_iterator<>&)): New.
377         (_Safe_iterator<_It, _Seq, std::random_access_iterator_tag>
378         ::_M_valid_range): New.
379         * include/debug/safe_local_iterator.h
380         (_Safe_local_iterator<>::_Const_local_iterator): Remove.
381         (_Safe_local_iterator<>::_IsConstant): New.
382         (_Safe_local_iterator<>::_OtherIterator): New.
383         (_Safe_local_iterator<_It, _Cont>::_Safe_local_iterator<_MutIte, _Cont>(
384         const _Safe_local_iterator<_MutIte, _Seq>&)): Add _IsConstant::__value
385         in __gnu_cxx::__enable_if condition. If singular compare base iterator
386         with _MutIte rather than _It.
387         (_Safe_local_iterator<>::_S_constant): Make constexpr.
388         (_Safe_local_iterator<>::_M_get_distance_to): New.
389         (__check_dereferenceable(const _Safe_local_iterator<>&)): Remove.
390         (__get_distance(const _Safe_local_iterator<>&,
391         const _Safe_local_iterator<>&, std::input_iterator_tag)): Remove.
392         (__valid_range(const _Safe_local_iterator<>&,
393         const _Safe_local_iterator<>&)): New.
394         * include/debug/safe_local_iterator.tcc
395         (_Safe_local_iterator<>::_M_get_distance_to): New.
396         * include/debug/deque (std::__debug::deque<>): Add
397         ::__gnu_debug::_Safe_iterator<> friend declaration.
398         * include/debug/forward_list (std::__debug::forward_list<>): Likewise.
399         * include/debug/list (std::__debug::list<>): Likewise.
400         * include/debug/map.h (std::__debug::map<>): Likewise.
401         * include/debug/multimap.h (std::__debug::multimap<>): Likewise.
402         * include/debug/set.h (std::__debug::set<>): Likewise.
403         * include/debug/multiset.h (std::__debug::multiset<>): Likewise.
404         * include/debug/string (std::__debug::basic_string<>): Likewise.
405         * include/debug/unordered_map (std::__debug::unordered_map<>): Likewise
406         and add ::__gnu_debug::_Safe_local_iterator<> friend declaration.
407         (std::__debug::unordered_multimap<>): Likewise.
408         * include/debug/unordered_set (std::__debug::unordered_set<>): Likewise.
409         (std::__debug::unordered_multiset<>): Likewise.
410         * include/debug/formatter.h: Adapt.
411         * include/debug/helper_functions.h
412         (__gnu_debug::_Safe_local_iterator<>): Add declaration.
413         (__get_distance<_Ite>(_Ite, _Ite, std::random_access_iterator_tag):
414         Pass parameter by copy.
415         (__get_distance<_Ite>(_Ite, _Ite, std::input_iterator_tag): Likewise.
416         (__get_distance<_Ite>(_Ite, _Ite): Likewise.
417         (__valid_range_aux<_Integral>): Pass _Integral by copy.
418         (__valid_range<_InputIterator>): Pass _InputIterator by copy.
419         (__valid_range<>(const _Safe_iterator<>&,
420         const _Safe_iterator<>&, typename _Distance_traits<>::__type&)):
421         Declare.
422         (__valid_range(const _Safe_local_iterator<>&,
423         const _Safe_local_iterator<>&, typename _Distance_traits<>::__type&)):
424         Declare.
425         (__valid_range<>(const _Safe_iterator<>&, const _Safe_iterator<>&)):
426         Declare.
427         (__valid_range(const _Safe_local_iterator<>&, const _Safe_local_iterator<>&)):
428         Declare.
429         (__can_advance): Adapt.
430         (struct __is_safe_random_iterator<>): Remove.
431         (struct _SIter_base<>): Remove.
432         * include/debug/functions.h: Include <bits/stl_iterator.h>.
433         (__check_dereferenceable): Remove.
434         (__foreign_iterator_aux4, __foreign_iterator_aux3): Adapt.
435         (__foreign_iterator_aux2, __foreign_iterator_aux): Adapt.
436         (__foreign_iterator): Adapt.
437         * include/debug/stl_iterator.h
438         (__is_safe_random_iterator<std::reverse_iterator<>>): Remove.
439         (__base(const std::reverse_iterator<_Safe_iterator<_It, _Sq>)):
440         Constraint for random access iterators.
441         (__niter_base): Adapt.
442         * testsuite/util/testsuite_containers.h:
443         Include <bits/boost_concept_check.h>.
444         (iterator_concept_checks<_It, _Mutable, _Category>): New.
445         (citerator<_Cont>::forward_members::forward_members()): Instantiate
446         latter for container iterator and const_iterator.
447         * testsuite/23_containers/list/68222_neg.cc: New.
448         * testsuite/23_containers/vector/cons/destructible_debug_neg.cc: Adapt
449         line number.
450         * testsuite/23_containers/unordered_set/debug/debug_functions.cc:
451         (test01): Remove.
452         * testsuite/23_containers/vector/debug/debug_functions.cc (test01):
453         Remove.
455 2018-08-22  Jonathan Wakely  <jwakely@redhat.com>
457         PR libstdc++/77854
458         * doc/xml/manual/status_cxx1998.xml: Document size_type and
459         difference_type for containers.
460         * doc/html/*: Regenerate.
462 2018-08-21  François Dumont  <fdumont@gcc.gnu.org>
464         P0646R1 Improving the Return Value of Erase-Like Algorithms I
465         * include/debug/forward_list (forward_list::__remove_return_type):
466         Define typedef as size_type or void, according to __cplusplus value.
467         (_GLIBCXX_FWDLIST_REMOVE_RETURN_TYPE_TAG): Define macro as abi-tag or
468         empty, according to __cplusplus value.
469         (_GLIBCXX20_ONLY): Define macro.
470         (forward_list::remove, forward_list::unique): Use typedef and macro
471         to change return type and add abi-tag for C++2a. Return number of
472         removed elements for C++2a.
473         (forward_list::remove_if<Pred>, forward_list::unique<BinPred>): Use
474         typedef to change return type for C++2a. Return number of removed
475         elements for C++2a.
476         * include/debug/list (list::__remove_return_type): Define typedef as
477         size_type or void, according to __cplusplus value.
478         (_GLIBCXX_LIST_REMOVE_RETURN_TYPE_TAG): Define macro as abi-tag or
479         empty, according to __cplusplus value.
480         (_GLIBCXX20_ONLY): Define macro.
481         (list::remove, list::unique): Use typedef and macro to change return
482         type and add abi-tag for C++2a. Return number of removed elements for
483         C++2a.
484         (list::remove_if<Predicate>, list::unique<BinaryPredicate>): Use typedef
485         to change return type for C++2a. Return number of removed elements for
486         C++2a.
488 2018-08-21  David Edelsohn  <dje.gcc@gmail.com>
490         * testsuite/18_support/new_nothrow.cc: XFAIL on AIX.
492 2018-08-21  Jonathan Wakely  <jwakely@redhat.com>
494         * testsuite/26_numerics/bit/bitops.count/countl_one.cc: Remove
495         redundant dg-do directive.
496         * testsuite/26_numerics/bit/bitops.count/countl_zero.cc: Likewise.
497         * testsuite/26_numerics/bit/bitops.count/countr_one.cc: Likewise.
498         * testsuite/26_numerics/bit/bitops.count/countr_zero.cc: Likewise.
499         * testsuite/26_numerics/bit/bitops.count/popcount.cc: Likewise.
501 2018-08-20  Jonathan Wakely  <jwakely@redhat.com>
503         PR libstdc++/86963
504         * include/std/tuple (_Tuple_impl::operator=): Define as deleted.
505         (_Tuple_impl::_M_assign): New functions to perform assignment instead
506         of assignment operators.
507         (_Tuple_impl::_M_swap): Remove exception specification.
508         (_Tuple_impl<_Idx, _Head>): Likewise.
509         (_TC::_NonNestedTuple, _TC::_NotSameTuple): Use __remove_cvref_t.
510         (__tuple_base): Remove.
511         (tuple, tuple<_T1, _T2>): Remove inheritance from __tuple_base.
512         (tuple::operator=, tuple<_T1, _T2>::operator=): Call _M_assign.
513         (tuple::swap, tuple<_T1, _T2>::swap): Define exception specification
514         using __is_nothrow_swappable.
515         (tuple<_T1, _T2>::tuple(_U1&&, _U2&&)): Use __remove_cvref_t.
517         * include/std/optional (_Optional_payload): Use variable templates
518         for conditions in default template arguments and exception
519         specifications.
520         (optional): Likewise. Adjust indentation.
521         (optional::__not_self, optional::__not_tag, optional::_Requires): New
522         SFINAE helpers.
523         (optional::optional): Use new helpers in constructor constraints.
524         * include/std/type_traits (__or_v, __and_v): New variable templates.
525         * testsuite/20_util/optional/cons/value_neg.cc: Change dg-error to
526         dg-prune-output. Remove unused header.
528 2018-08-18  François Dumont  <fdumont@gcc.gnu.org>
530         * testsuite/25_algorithms/copy/86658.cc: Use dg-options to define
531         _GLIBCXX_DEBUG.
533 2018-08-17  Jonathan Wakely  <jwakely@redhat.com>
535         PR libstdc++/86963
536         * include/std/tuple (__tuple_base): New class template with deleted
537         copy assignment operator.
538         (tuple, tuple<_T1, _T2>): Derive from __tuple_base<tuple> so that
539         implicit copy/move assignment operator will be deleted/suppressed.
540         (tuple::__assignable, tuple<_T1, _T2>::__assignable): New helper
541         functions for SFINAE constraints on assignment operators.
542         (tuple::__nothrow_assignable, tuple<_T1, _T2>::__nothrow_assignable):
543         New helper functions for exception specifications.
544         (tuple::operator=(const tuple&), tuple::operator=(tuple&&))
545         (tuple<_T1, _T2>::operator=(const tuple&))
546         (tuple<_T1, _T2>::operator=(tuple&&)): Change parameter types to
547         __nonesuch_no_braces when the operator should be defined implicitly.
548         Use __nothrow_assignable for exception specifications.
549         (tuple::operator=(const tuple<_UElements...>&))
550         (tuple::operator=(tuple<_UElements...>&&))
551         (tuple<_T1, _T2>::operator=(const tuple<_U1, _U2>&))
552         (tuple<_T1, _T2>::operator=(tuple<_U1, _U2>&&))
553         (tuple<_T1, _T2>::operator=(const pair<_U1, _U2>&))
554         (tuple<_T1, _T2>::operator=(pair<_U1, _U2>&&)): Constrain using
555         __assignable and use __nothrow_assignable for exception
556         specifications.
557         * python/libstdcxx/v6/printers.py (is_specialization_of): Accept
558         gdb.Type as first argument, instead of a string.
559         (StdTuplePrinter._iterator._is_nonempty_tuple): New method to check
560         tuple for expected structure.
561         (StdTuplePrinter._iterator.__init__): Use _is_nonempty_tuple.
562         * testsuite/20_util/tuple/dr2729.cc: New test.
563         * testsuite/20_util/tuple/element_access/get_neg.cc: Change dg-error
564         to dg-prune-output.
566 2018-08-16  Jonathan Wakely  <jwakely@redhat.com>
568         * include/tr1/legendre_function.tcc (__sph_legendre): Avoid warning
569         about signed/unsigned comparison.
571         * include/std/ostream (basic_ostream::sentry::~sentry): Suppress
572         deprecation warnings for using uncaught_exception().
574         PR libstdc++/86447
575         * src/c++11/cow-stdexcept.cc [_GLIBCXX_FULLY_DYNAMIC_STRING]
576         (logic_error::logic_error(logic_error&&))
577         (logic_error::operator=(logic_error&&))
578         (runtime_error::runtime_error(runtime_error&&))
579         (runtime_error::operator=(runtime_error&&)): Copy strings instead of
580         moving, to avoid allocating empty reps for moved-from strings.
582 2018-08-15  Jonathan Wakely  <jwakely@redhat.com>
584         * include/experimental/regex: Remove begin/end macros for namespace.
585         * include/experimental/string: Likewise.
586         * testsuite/experimental/polymorphic_allocator/pmr_typedefs_deque.cc:
587         New test.
588         * testsuite/experimental/polymorphic_allocator/
589         pmr_typedefs_forward_list.cc: New test.
590         * testsuite/experimental/polymorphic_allocator/pmr_typedefs_list.cc:
591         New test.
592         * testsuite/experimental/polymorphic_allocator/pmr_typedefs_map.cc:
593         New test.
594         * testsuite/experimental/polymorphic_allocator/pmr_typedefs_match.cc:
595         New test.
596         * testsuite/experimental/polymorphic_allocator/
597         pmr_typedefs_multimap.cc: New test.
598         * testsuite/experimental/polymorphic_allocator/
599         pmr_typedefs_multiset.cc: New test.
600         * testsuite/experimental/polymorphic_allocator/pmr_typedefs_set.cc:
601         New test.
602         * testsuite/experimental/polymorphic_allocator/pmr_typedefs_string.cc:
603         New test.
604         * testsuite/experimental/polymorphic_allocator/
605         pmr_typedefs_unordered_map.cc: New test.
606         * testsuite/experimental/polymorphic_allocator/
607         pmr_typedefs_unordered_multimap.cc: New test.
608         * testsuite/experimental/polymorphic_allocator/
609         pmr_typedefs_unordered_multiset.cc: New test.
610         * testsuite/experimental/polymorphic_allocator/
611         pmr_typedefs_unordered_set.cc: New test.
612         * testsuite/experimental/polymorphic_allocator/pmr_typedefs_vector.cc:
613         New test.
615         * include/bits/uses_allocator.h (__uses_allocator_construct): Qualify
616         calls to __uses_allocator_construct_impl and __use_alloc.
617         * include/experimental/memory_resource
618         (polymorphic_allocator::_M_construct): Remove.
619         (polymorphic_allocator::construct): Call __uses_allocator_construct.
620         Qualify calls to __use_alloc.
621         * include/std/memory_resource (polymorphic_allocator::construct): Fix
622         type in SFINAE constraint. Use constexpr if instead of tag dispatching
623         to _S_construct overloads.
624         (polymorphic_allocator::construct(pair<T1, T2>*, ...)): Fix order of
625         arguments to _S_construct_p.
626         (polymorphic_allocator::_S_construct): Remove.
627         (polymorphic_allocator::_S_construct_p): Return allocators by value
628         not by reference.
629         * include/std/scoped_allocator (scoped_allocator_adaptor::construct):
630         Qualify calls to __use_alloc.
631         * testsuite/20_util/polymorphic_allocator/construct_pair.cc: New test,
632         copied from testsuite/20_util/scoped_allocator/construct_pair.cc.
633         * testsuite/experimental/polymorphic_allocator/1.cc: New test.
634         * testsuite/experimental/polymorphic_allocator/construct_pair.cc:
635         New test.
637         * src/c++17/memory_resource.cc [!_GLIBCXX_HAS_GTHREADS]
638         (atomic_mem_res): Add unsynchronized definition for single-threaded.
640 2018-08-14  Jonathan Wakely  <jwakely@redhat.com>
642         PR libstdc++/86954
643         * include/bits/stl_tempbuf.h (return_temporary_buffer): Use
644         non-placement delete.
646         * include/std/chrono (__check_overflow): Simplify definition.
647         (_Checked_integral_constant): Remove.
649         PR libstdc++/86846
650         * src/c++17/default_resource.h: New file, defining default_res.
651         * src/c++17/memory_resource.cc [ATOMIC_POINTER_LOCK_FREE != 2]
652         (atomic_mem_res): Define alternative for atomic<memory_resource*>
653         using a mutex instead of atomics.
655         PR libstdc++/85343
656         * config/abi/pre/gnu.ver: Export new symbol.
657         * doc/xml/manual/abi.xml: Document new versions.
658         * include/bits/fstream.tcc (basic_filebuf<C, T>::underflow)
659         (basic_filebuf<C, T>::xsgetn): Pass errno to __throw_ios_failure.
660         * include/bits/functexcept.h (__throw_ios_failure(const char*, int)):
661         Declare new overload.
662         * src/c++11/cxx11-ios_failure.cc (__ios_failure): Add new constructor
663         and static member function.
664         (__throw_ios_failure(const char*, int)): Define.
665         * src/c++98/ios_failure.cc [!_GLIBCXX_USE_DUAL_ABI]
666         (__throw_ios_failure(const char*, int)): Define.
668 2018-08-14  Jeremy Sawicki  <jeremy-gcc@sawicki.us>
670         * include/ext/rope (_Rope_iterator_base(const _Rope_iterator_base&))
671         (_Rope_const_iterator::operator=(const _Rope_const_iterator&))
672         (_Rope_iterator::operator=(const _Rope_iterator&)): Ensure
673         copied/assigned rope iterators don't retain pointers to the iterator
674         they were copied/assigned from.
675         * testsuite/ext/rope/7.cc: New.
677 2018-08-13  Jonathan Wakely  <jwakely@redhat.com>
679         PR libstdc++/45093
680         * include/bits/stl_tree.h (_Rb_tree::_M_destroy_node(_Link_type)):
681         Combine definitions to avoid --detect-odr-violations warning.
683         * libsupc++/new_opa.cc (operator new(size_t, align_val_t)): Use
684         __is_pow2 to check for valid alignment. Avoid branching when rounding
685         size to multiple of alignment.
687         * include/Makefile.am: Install <bit> and <version> for freestanding.
688         * include/Makefile.in: Regenerate.
689         * testsuite/17_intro/freestanding.cc: Check for <bit> and <version>.
691         Revert
692         2018-08-10  Sebastian Huber  <sebastian.huber@embedded-brains.de>
694         PR target/85904
695         * configure.ac: Define HAVE_ALIGNED_ALLOC if building for
696         Newlib.
697         * configure: Regenerate.
699 2018-08-10  Jonathan Wakely  <jwakely@redhat.com>
701         PR libstdc++/68210
702         * doc/xml/manual/intro.xml: Document LWG 206 change.
703         * libsupc++/del_op.cc: Replace _GLIBCXX_USE_NOEXCEPT with noexcept.
704         * libsupc++/del_opa.cc: Likewise.
705         * libsupc++/del_opant.cc: Likewise.
706         * libsupc++/del_opnt.cc: Likewise. Call operator delete(ptr) instead
707         of free(ptr).
708         * libsupc++/del_ops.cc: Replace _GLIBCXX_USE_NOEXCEPT with noexcept.
709         * libsupc++/del_opsa.cc: Likewise.
710         * libsupc++/del_opva.cc: Likewise.
711         * libsupc++/del_opvant.cc: Likewise.
712         * libsupc++/del_opvnt.cc: Likewise. Call operator delete[](ptr)
713         instead of operator delete(ptr).
714         * libsupc++/del_opvs.cc: Replace _GLIBCXX_USE_NOEXCEPT with noexcept.
715         * libsupc++/del_opvsa.cc: Likewise.
716         * libsupc++/new_op.cc: Use __builtin_expect in check for zero size.
717         * libsupc++/new_opa.cc: Use nullptr instead of literal 0.
718         * libsupc++/new_opant.cc: Likewise. Replace _GLIBCXX_USE_NOEXCEPT
719         with noexcept.
720         * libsupc++/new_opnt.cc: Likewise. Call operator new(sz) instead of
721         malloc(sz).
722         * libsupc++/new_opvant.cc: Use nullptr and noexcept.
723         * libsupc++/new_opvnt.cc: Likewise. Call operator new[](sz) instead of
724         operator new(sz, nothrow).
725         * testsuite/18_support/new_nothrow.cc: New test.
727 2018-08-10  Martin Liska  <mliska@suse.cz>
729         * libsupc++/new_op.cc (new): Remove __builtin_expect as malloc
730         predictor can handle that.
731         * libsupc++/new_opa.cc: Likewise.
732         * libsupc++/new_opnt.cc (new): Likewise.
734 2018-08-10  Sebastian Huber  <sebastian.huber@embedded-brains.de>
736         PR target/85904
737         * configure.ac: Define HAVE_ALIGNED_ALLOC if building for
738         Newlib.
739         * configure: Regenerate.
741 2018-08-10  Jonathan Wakely  <jwakely@redhat.com>
743         * include/std/deque (std::pmr::deque): Declare alias.
744         * include/std/forward_list (std::pmr::forward_list): Likewise.
745         * include/std/list (std::pmr::list): Likewise.
746         * include/std/map (std::pmr::map, std::pmr::multimap): Likewise.
747         * include/std/regex (std::pmr::match_results, std::pmr::cmatch)
748         (std::pmr::smatch, std::pmr::wcmatch, std::pmr::wsmatch): Likewise.
749         * include/std/set (std::pmr::set, std::pmr::multiset): Likewise.
750         * include/std/string (std::pmr::basic_string, std::pmr::string)
751         (std::pmr::u16string, std::pmr::u32string, std::pmr::wstring):
752         Likewise.
753         * include/std/unordered_map (std::pmr::unordered_map)
754         (std::pmr::unordered_multimap): Likewise.
755         * include/std/unordered_set (std::pmr::unordered_set)
756         (std::pmr::unordered_multiset): Likewise.
757         * include/std/vector (std::pmr::vector): Likewise.
758         * testsuite/21_strings/basic_string/types/pmr_typedefs.cc: New test.
759         * testsuite/23_containers/deque/types/pmr_typedefs.cc: New test.
760         * testsuite/23_containers/forward_list/pmr_typedefs.cc: New test.
761         * testsuite/23_containers/list/pmr_typedefs.cc: New test.
762         * testsuite/23_containers/map/pmr_typedefs.cc: New test.
763         * testsuite/23_containers/multimap/pmr_typedefs.cc: New test.
764         * testsuite/23_containers/multiset/pmr_typedefs.cc: New test.
765         * testsuite/23_containers/set/pmr_typedefs.cc: New test.
766         * testsuite/23_containers/unordered_map/pmr_typedefs.cc: New test.
767         * testsuite/23_containers/unordered_multimap/pmr_typedefs.cc: New
768         test.
769         * testsuite/23_containers/unordered_multiset/pmr_typedefs.cc: New
770         test.
771         * testsuite/23_containers/unordered_set/pmr_typedefs.cc: New test.
772         * testsuite/23_containers/vector/pmr_typedefs.cc: New test.
773         * testsuite/28_regex/match_results/pmr_typedefs.cc: New test.
775 2018-08-08  François Dumont  <fdumont@gcc.gnu.org>
777         * include/bits/stl_algo.h
778         (__rotate(_Ite, _Ite, _Ite, forward_iterator_tag))
779         (__rotate(_Ite, _Ite, _Ite, bidirectional_iterator_tag))
780         (__rotate(_Ite, _Ite, _Ite, random_access_iterator_tag)): Move code
781         duplication...
782         (rotate(_Ite, _Ite, _Ite)): ...here.
783         (__stable_partition_adaptive(_FIt, _FIt, _Pred, _Dist, _Pointer, _Dist)):
784         Simplify rotate call.
785         (__rotate_adaptive(_BIt1, _BIt1, _BIt1, _Dist, _Dist, _Bit2, _Dist)):
786         Likewise.
787         (__merge_without_buffer(_BIt, _BIt, _BIt, _Dist, _Dist, _Comp)):
788         Likewise.
790 2018-08-08  Jonathan Wakely  <jwakely@redhat.com>
792         * libsupc++/new_opa.cc (aligned_alloc): Declare inside namespace to
793         avoid clashing with an ::aligned_alloc function that was not detected
794         by configure.
796         * doc/xml/manual/using.xml: Fix markup for empty table entry.
797         * doc/html/*: Regenerate.
799         * doc/xml/manual/using.xml: Add missing header to table and fix typo.
800         * doc/html/*: Regenerate.
802         PR libstdc++/86597
803         * include/bits/fs_dir.h (directory_entry::_M_file_type(error_code&)):
804         Clear error_code when cached type is used.
805         * testsuite/27_io/filesystem/directory_entry/86597.cc: New test.
807 2018-08-07  Jonathan Wakely  <jwakely@redhat.com>
809         PR libstdc++/86874
810         * include/std/variant (_Copy_ctor_base::_M_destructive_move): Define
811         here instead of in _Move_assign_base.
812         (_Copy_ctor_base<true, _Types...>::_M_destructive_move): Define.
813         (_Copy_assign_base::operator=): Use _M_destructive_move when changing
814         the contained value to another alternative.
815         (_Move_assign_base::operator=): Likewise.
816         (_Move_assign_base::_M_destructive_move): Remove.
817         * testsuite/20_util/variant/86874.cc: New test.
819         PR libstdc++/86861
820         * libsupc++/new_opa.cc [_GLIBCXX_HAVE_MEMALIGN] (aligned_alloc):
821         Replace macro with inline function.
822         [__sun]: Increase alignment to meet memalign precondition.
823         [!HAVE__ALIGNED_MALLOC && !HAVE_POSIX_MEMALIGN && !HAVE_MEMALIGN]
824         (aligned_alloc): Move check for valid alignment to operator new.
825         Remove redundant check for non-zero size, it's enforced by the caller.
826         (operator new): Move check for valid alignment here. Use
827         __builtin_expect on check for zero size.
829         * config/abi/pre/gnu.ver: Export monotonic_buffer_resource members.
830         * include/std/memory_resource (monotonic_buffer_resource::release):
831         Call _M_release_buffers to free buffers.
832         (monotonic_buffer_resource::do_allocate): Call _M_new_buffer to
833         allocate a new buffer from upstream.
834         (monotonic_buffer_resource::_M_new_buffer): Declare.
835         (monotonic_buffer_resource::_M_release_buffers): Declare.
836         (monotonic_buffer_resource::_Chunk): Replace definition with
837         declaration as opaque type.
838         * src/c++17/memory_resource.cc (monotonic_buffer_resource::_Chunk):
839         Define.
840         (monotonic_buffer_resource::_M_new_buffer): Define.
841         (monotonic_buffer_resource::_M_release_buffers): Define.
843 2018-08-05  François Dumont  <fdumont@gcc.gnu.org>
845         * include/bits/stl_iterator.h: Fix comment.
847 2018-08-03  Jonathan Wakely  <jwakely@redhat.com>
849         * src/c++11/system_error.cc
850         (system_error_category::default_error_condition): Add workaround for
851         ENOTEMPTY and EEXIST having the same value on AIX.
852         * testsuite/19_diagnostics/error_category/system_category.cc: Add
853         extra testcases for EDOM, EILSEQ, ERANGE, EEXIST and ENOTEMPTY.
855 2018-08-01  Jonathan Wakely  <jwakely@redhat.com>
857         * configure: Regenerate.
858         * configure.ac: Add -D_GLIBCXX_ASSERTIONS to default DEBUG_FLAGS.
859         * src/c++11/futex.cc: Use __glibcxx_assert instead of
860         _GLIBCXX_DEBUG_ASSERT.
862 2018-08-01  Mike Crowe  <mac@mcrowe.com>
864         * include/std/condition_variable (wait_for): Use steady_clock.
866 2018-08-01  Mike Crowe  <mac@mcrowe.com>
868         * include/std/condition_variable (wait_until): Only report timeout
869         if we really have timed out when measured against the
870         caller-supplied clock.
871         * testsuite/30_threads/condition_variable/members/2.cc: Add test
872         case to confirm above behaviour.
874 2018-08-01  Jonathan Wakely  <jwakely@redhat.com>
876         PR libstdc++/60555
877         * src/c++11/system_error.cc
878         (system_error_category::default_error_condition): New override to
879         check for POSIX errno values.
880         * testsuite/19_diagnostics/error_category/generic_category.cc: New
881         * testsuite/19_diagnostics/error_category/system_category.cc: New
882         test.
884 2018-07-31  Jonathan Wakely  <jwakely@redhat.com>
886         PR libstdc++/86751
887         * include/bits/stl_pair.h (__pair_base): New class with deleted copy
888         assignment operator.
889         (pair): Derive from __pair_base.
890         (pair::operator=): Remove deleted overload.
891         * python/libstdcxx/v6/printers.py (StdPairPrinter): New pretty printer
892         so that new base class isn't shown in GDB.
893         * testsuite/20_util/pair/86751.cc: New test.
894         * testsuite/20_util/pair/ref_assign.cc: New test.
896         * include/bits/c++config (_GLIBCXX_HAVE_BUILTIN_HAS_UNIQ_OBJ_REP)
897         (_GLIBCXX_HAVE_BUILTIN_IS_AGGREGATE): Move definitions here.
898         (_GLIBCXX_HAVE_BUILTIN_LAUNDER): Likewise. Use !__is_identifier
899         instead of __has_builtin.
900         * include/std/type_traits (_GLIBCXX_HAVE_BUILTIN_HAS_UNIQ_OBJ_REP)
901         (_GLIBCXX_HAVE_BUILTIN_IS_AGGREGATE): Remove definitions from here.
902         * include/std/version [!_GLIBCXX_HAS_GTHREADS]
903         (__cpp_lib_shared_timed_mutex, __cpp_lib_scoped_lock)
904         (__cpp_lib_shared_mutex): Don't define when Gthreads not in use.
905         [!_GLIBCXX_HAVE_BUILTIN_HAS_UNIQ_OBJ_REP]
906         (__cpp_lib_has_unique_object_representations): Don't define when
907         builtin not available.
908         [!_GLIBCXX_HAVE_BUILTIN_IS_AGGREGATE] (__cpp_lib_is_aggregate):
909         Likewise.
910         [!_GLIBCXX_HAVE_BUILTIN_LAUNDER] (__cpp_lib_launder): Likewise.
911         * libsupc++/new (_GLIBCXX_HAVE_BUILTIN_LAUNDER): Remove definition
912         from here.
914         * doc/xml/manual/test.xml: Improve documentation on writing tests for
915         newer standards.
916         * doc/xml/manual/using.xml: Document all headers for C++11 and later.
917         * doc/html/*: Regenerate.
919         * include/ext/pointer.h [__cplusplus >= 201103L]
920         (_Pointer_adapter::operator bool): Add explicit conversion operator
921         to replace safe bool idiom.
923 2018-07-30  Jonathan Wakely  <jwakely@redhat.com>
925         PR libstdc++/86734
926         * include/bits/stl_iterator.h (reverse_iterator::operator->): Call
927         _S_to_pointer (LWG 1052, LWG 2118).
928         (reverse_iterator::_S_to_pointer): Define overloaded helper functions.
929         * testsuite/24_iterators/reverse_iterator/dr1052.cc: New test.
930         * testsuite/24_iterators/reverse_iterator/dr2188.cc: New test.
932         * libsupc++/new_opa.cc (operator new(size_t, align_val_t)): Add
933         workaround for aligned_alloc bug on AIX.
934         * testsuite/18_support/new_aligned.cc: New test.
936 2018-07-26  Marek Polacek  <polacek@redhat.com>
938         * testsuite/30_threads/condition_variable_any/cond.cc: New.
940 2018-07-26  Marek Polacek  <polacek@redhat.com>
942         * src/c++98/locale_init.cc: Fix #ifdef condition.
944 2018-07-26  Jonathan Wakely  <jwakely@redhat.com>
946         * testsuite/18_support/aligned_alloc/aligned_alloc.cc: Add
947         dg-require-cstdint directive.
948         * testsuite/20_util/allocator/overaligned.cc: Likewise.
949         * testsuite/20_util/any/cons/aligned.cc: Likewise.
950         * testsuite/20_util/monotonic_buffer_resource/allocate.cc: Likewise.
951         * testsuite/20_util/monotonic_buffer_resource/deallocate.cc: Likewise.
952         * testsuite/20_util/shared_ptr/thread/default_weaktoshared.cc:
953         Likewise.
954         * testsuite/20_util/shared_ptr/thread/mutex_weaktoshared.cc: Likewise.
955         * testsuite/23_containers/list/modifiers/insert/25288.cc: Likewise.
956         * testsuite/23_containers/set/allocator/move_assign.cc: Likewise.
957         * testsuite/25_algorithms/make_heap/complexity.cc: Likewise.
958         * testsuite/25_algorithms/pop_heap/complexity.cc: Require cstdint and
959         random_device effective-target.
960         * testsuite/25_algorithms/push_heap/complexity.cc: Likewise.
961         * testsuite/25_algorithms/sample/1.cc: Require cstdint.
962         * testsuite/25_algorithms/sample/2.cc: Likewise.
963         * testsuite/25_algorithms/sort_heap/complexity.cc: Require cstdint
964         and random_device.
965         * testsuite/26_numerics/headers/random/types_std_c++0x.cc: Require
966         cstdint.
967         * testsuite/26_numerics/random/chi_squared_distribution/83833.cc:
968         Likewise.
969         * testsuite/26_numerics/random/discard_block_engine/requirements/
970         constexpr_data.cc: Likewise.
971         * testsuite/26_numerics/random/discard_block_engine/requirements/
972         constexpr_functions.cc: Likewise.
973         * testsuite/26_numerics/random/independent_bits_engine/requirements/
974         constexpr_functions.cc: Likewise.
975         * testsuite/26_numerics/random/linear_congruential_engine/requirements/
976         constexpr_data.cc: Likewise.
977         * testsuite/26_numerics/random/linear_congruential_engine/requirements/
978         constexpr_functions.cc: Likewise.
979         * testsuite/26_numerics/random/mersenne_twister_engine/requirements/
980         constexpr_data.cc: Likewise.
981         * testsuite/26_numerics/random/mersenne_twister_engine/requirements/
982         constexpr_functions.cc: Likewise.
983         * testsuite/26_numerics/random/pr60037-neg.cc: Likewise.
984         * testsuite/26_numerics/random/seed_seq/cons/65631.cc: Likewise.
985         * testsuite/26_numerics/random/shuffle_order_engine/requirements/
986         constexpr_data.cc: Add dg-require-cstdint directive.
987         * testsuite/26_numerics/random/shuffle_order_engine/requirements/
988         constexpr_functions.cc: Likewise.
989         * testsuite/26_numerics/random/subtract_with_carry_engine/requirements/
990         constexpr_data.cc: Likewise.
991         * testsuite/26_numerics/random/subtract_with_carry_engine/requirements/
992         constexpr_functions.cc: Likewise.
993         * testsuite/26_numerics/random/uniform_real_distribution/operators/
994         64351.cc: Likewise.
995         * testsuite/29_atomics/headers/atomic/types_std_c++0x.cc: Likewise.
996         * testsuite/experimental/algorithm/sample-2.cc: Likewise.
997         * testsuite/experimental/algorithm/sample.cc: Likewise.
998         * testsuite/experimental/algorithm/search.cc: Likewise.
999         * testsuite/experimental/algorithm/shuffle.cc: Likewise.
1000         * testsuite/experimental/any/cons/aligned.cc: Likewise.
1001         * testsuite/experimental/memory_resource/new_delete_resource.cc:
1002         Likewise.
1003         * testsuite/experimental/memory_resource/resource_adaptor.cc: Likewise.
1004         * testsuite/experimental/random/randint.cc: Likewise.
1005         * testsuite/experimental/source_location/1.cc: Likewise.
1006         * testsuite/ext/bitmap_allocator/overaligned.cc: Likewise.
1007         * testsuite/ext/malloc_allocator/overaligned.cc: Likewise.
1008         * testsuite/ext/mt_allocator/overaligned.cc: Likewise.
1009         * testsuite/ext/new_allocator/overaligned.cc: Likewise.
1010         * testsuite/ext/pb_ds/regression/hash_map_rand.cc: Likewise.
1011         * testsuite/ext/pb_ds/regression/hash_set_rand.cc: Likewise.
1012         * testsuite/ext/pb_ds/regression/list_update_map_rand.cc: Likewise.
1013         * testsuite/ext/pb_ds/regression/list_update_set_rand.cc: Likewise.
1014         * testsuite/ext/pb_ds/regression/priority_queue_rand.cc: Likewise.
1015         * testsuite/ext/pb_ds/regression/tree_map_rand.cc: Likewise.
1016         * testsuite/ext/pb_ds/regression/tree_set_rand.cc: Likewise.
1017         * testsuite/ext/pb_ds/regression/trie_map_rand.cc: Likewise.
1018         * testsuite/ext/pb_ds/regression/trie_set_rand.cc: Likewise.
1019         * testsuite/ext/pool_allocator/overaligned.cc: Likewise.
1020         * testsuite/ext/throw_allocator/check_allocate_max_size.cc: Likewise.
1021         * testsuite/ext/throw_allocator/check_deallocate_null.cc: Likewise.
1022         * testsuite/ext/throw_allocator/check_delete.cc: Likewise.
1023         * testsuite/ext/throw_allocator/check_new.cc: Likewise.
1024         * testsuite/ext/throw_allocator/deallocate_global.cc: Likewise.
1025         * testsuite/ext/throw_allocator/deallocate_local.cc: Likewise.
1026         * testsuite/ext/throw_allocator/explicit_instantiation.cc: Likewise.
1027         * testsuite/ext/throw_allocator/variadic_construct.cc: Likewise.
1028         * testsuite/tr1/8_c_compatibility/cinttypes/functions.cc: Likewise.
1030         * testsuite/30_threads/recursive_mutex/cons/1.cc: Likewise.
1031         * testsuite/30_threads/recursive_mutex/cons/assign_neg.cc: Likewise.
1032         * testsuite/30_threads/recursive_mutex/cons/copy_neg.cc: Likewise.
1033         * testsuite/30_threads/recursive_mutex/dest/destructor_locked.cc:
1034         Likewise.
1035         * testsuite/30_threads/recursive_mutex/lock/1.cc: Likewise.
1036         * testsuite/30_threads/recursive_mutex/native_handle/1.cc: Likewise.
1037         * testsuite/30_threads/recursive_mutex/native_handle/typesizes.cc:
1038         Likewise.
1039         * testsuite/30_threads/recursive_mutex/requirements/standard_layout.cc:
1040         Likewise.
1041         * testsuite/30_threads/recursive_mutex/requirements/typedefs.cc:
1042         Likewise.
1043         * testsuite/30_threads/recursive_mutex/try_lock/1.cc: Likewise.
1044         * testsuite/30_threads/recursive_mutex/try_lock/2.cc: Likewise.
1045         * testsuite/30_threads/recursive_mutex/unlock/1.cc: Likewise.
1046         * testsuite/30_threads/recursive_mutex/unlock/2.cc: Likewise.
1047         * testsuite/30_threads/recursive_timed_mutex/cons/1.cc: Likewise.
1048         * testsuite/30_threads/recursive_timed_mutex/cons/assign_neg.cc:
1049         Likewise.
1050         * testsuite/30_threads/recursive_timed_mutex/cons/copy_neg.cc:
1051         Likewise.
1052         * testsuite/30_threads/recursive_timed_mutex/dest/
1053         destructor_locked.cc: Likewise.
1054         * testsuite/30_threads/recursive_timed_mutex/lock/1.cc: Likewise.
1055         * testsuite/30_threads/recursive_timed_mutex/lock/2.cc: Likewise.
1056         * testsuite/30_threads/recursive_timed_mutex/native_handle/1.cc:
1057         Likewise.
1058         * testsuite/30_threads/recursive_timed_mutex/native_handle/
1059         typesizes.cc: Likewise.
1060         * testsuite/30_threads/recursive_timed_mutex/requirements/typedefs.cc:
1061         Likewise.
1062         * testsuite/30_threads/recursive_timed_mutex/try_lock/1.cc:
1063         Likewise.
1064         * testsuite/30_threads/recursive_timed_mutex/try_lock/2.cc:
1065         Likewise.
1066         * testsuite/30_threads/recursive_timed_mutex/try_lock_for/1.cc:
1067         Likewise.
1068         * testsuite/30_threads/recursive_timed_mutex/try_lock_for/2.cc:
1069         Likewise.
1070         * testsuite/30_threads/recursive_timed_mutex/try_lock_for/3.cc:
1071         Likewise.
1072         * testsuite/30_threads/recursive_timed_mutex/try_lock_until/1.cc:
1073         Likewise.
1074         * testsuite/30_threads/recursive_timed_mutex/try_lock_until/2.cc:
1075         Likewise.
1076         * testsuite/30_threads/recursive_timed_mutex/unlock/1.cc: Likewise.
1077         * testsuite/30_threads/recursive_timed_mutex/unlock/2.cc: Likewise.
1078         * testsuite/30_threads/scoped_lock/cons/1.cc: Likewise.
1079         * testsuite/30_threads/scoped_lock/requirements/
1080         explicit_instantiation.cc: Likewise.
1081         * testsuite/30_threads/scoped_lock/requirements/typedefs.cc: Likewise.
1082         * testsuite/30_threads/shared_future/cons/assign.cc: Likewise.
1083         * testsuite/30_threads/shared_future/cons/constexpr.cc: Likewise.
1084         * testsuite/30_threads/shared_future/cons/copy.cc: Likewise.
1085         * testsuite/30_threads/shared_future/cons/default.cc: Likewise.
1086         * testsuite/30_threads/shared_future/cons/move.cc: Likewise.
1087         * testsuite/30_threads/shared_future/cons/move_assign.cc: Likewise.
1088         * testsuite/30_threads/shared_future/members/45133.cc: Likewise.
1089         * testsuite/30_threads/shared_future/members/get.cc: Likewise.
1090         * testsuite/30_threads/shared_future/members/get2.cc: Likewise.
1091         * testsuite/30_threads/shared_future/members/valid.cc: Likewise.
1092         * testsuite/30_threads/shared_future/members/wait.cc: Likewise.
1093         * testsuite/30_threads/shared_future/members/wait_for.cc: Likewise.
1094         * testsuite/30_threads/shared_future/members/wait_until.cc: Likewise.
1095         * testsuite/30_threads/shared_future/requirements/
1096         explicit_instantiation.cc: Likewise.
1097         * testsuite/30_threads/shared_lock/cons/1.cc: Likewise.
1098         * testsuite/30_threads/shared_lock/cons/2.cc: Likewise.
1099         * testsuite/30_threads/shared_lock/cons/3.cc: Likewise.
1100         * testsuite/30_threads/shared_lock/cons/4.cc: Likewise.
1101         * testsuite/30_threads/shared_lock/cons/5.cc: Likewise.
1102         * testsuite/30_threads/shared_lock/cons/6.cc: Likewise.
1103         * testsuite/30_threads/shared_lock/locking/1.cc: Likewise.
1104         * testsuite/30_threads/shared_lock/locking/2.cc: Likewise.
1105         * testsuite/30_threads/shared_lock/locking/3.cc: Likewise.
1106         * testsuite/30_threads/shared_lock/locking/4.cc: Likewise.
1107         * testsuite/30_threads/shared_lock/modifiers/1.cc: Likewise.
1108         * testsuite/30_threads/shared_lock/requirements/
1109         explicit_instantiation.cc: Likewise.
1110         * testsuite/30_threads/shared_lock/requirements/typedefs.cc: Likewise.
1111         * testsuite/30_threads/shared_mutex/cons/1.cc: Likewise.
1112         * testsuite/30_threads/shared_mutex/cons/assign_neg.cc: Likewise.
1113         * testsuite/30_threads/shared_mutex/cons/copy_neg.cc: Likewise.
1114         * testsuite/30_threads/shared_mutex/requirements/standard_layout.cc:
1115         Likewise.
1116         * testsuite/30_threads/shared_mutex/try_lock/1.cc: Likewise.
1117         * testsuite/30_threads/shared_mutex/try_lock/2.cc: Likewise.
1118         * testsuite/30_threads/shared_mutex/unlock/1.cc: Likewise.
1119         * testsuite/30_threads/shared_timed_mutex/cons/1.cc: Likewise.
1120         * testsuite/30_threads/shared_timed_mutex/cons/assign_neg.cc: Likewise.
1121         * testsuite/30_threads/shared_timed_mutex/cons/copy_neg.cc: Likewise.
1122         * testsuite/30_threads/shared_timed_mutex/requirements/
1123         standard_layout.cc: Likewise.
1124         * testsuite/30_threads/shared_timed_mutex/try_lock/1.cc: Likewise.
1125         * testsuite/30_threads/shared_timed_mutex/try_lock/2.cc: Likewise.
1126         * testsuite/30_threads/shared_timed_mutex/try_lock/3.cc: Likewise.
1127         * testsuite/30_threads/shared_timed_mutex/unlock/1.cc: Likewise.
1128         * testsuite/30_threads/this_thread/1.cc: Likewise.
1129         * testsuite/30_threads/this_thread/2.cc: Likewise.
1130         * testsuite/30_threads/this_thread/3.cc: Likewise.
1131         * testsuite/30_threads/this_thread/4.cc: Likewise.
1132         * testsuite/30_threads/this_thread/58038.cc: Likewise.
1133         * testsuite/30_threads/thread/70503.cc: Likewise.
1134         * testsuite/30_threads/thread/84532.cc: Likewise.
1135         * testsuite/30_threads/thread/adl.cc: Likewise.
1136         * testsuite/30_threads/thread/cons/1.cc: Likewise.
1137         * testsuite/30_threads/thread/cons/2.cc: Likewise.
1138         * testsuite/30_threads/thread/cons/3.cc: Likewise.
1139         * testsuite/30_threads/thread/cons/4.cc: Likewise.
1140         * testsuite/30_threads/thread/cons/49668.cc: Likewise.
1141         * testsuite/30_threads/thread/cons/5.cc: Likewise.
1142         * testsuite/30_threads/thread/cons/6.cc: Likewise.
1143         * testsuite/30_threads/thread/cons/7.cc: Likewise.
1144         * testsuite/30_threads/thread/cons/8.cc: Likewise.
1145         * testsuite/30_threads/thread/cons/84535.cc: Likewise.
1146         * testsuite/30_threads/thread/cons/9.cc: Likewise.
1147         * testsuite/30_threads/thread/cons/assign_neg.cc: Likewise.
1148         * testsuite/30_threads/thread/cons/copy_neg.cc: Likewise.
1149         * testsuite/30_threads/thread/cons/lwg2097.cc: Likewise.
1150         * testsuite/30_threads/thread/cons/moveable.cc: Likewise.
1151         * testsuite/30_threads/thread/cons/terminate.cc: Likewise.
1152         * testsuite/30_threads/thread/id/operators.cc: Likewise.
1153         * testsuite/30_threads/thread/members/1.cc: Likewise.
1154         * testsuite/30_threads/thread/members/2.cc: Likewise.
1155         * testsuite/30_threads/thread/members/3.cc: Likewise.
1156         * testsuite/30_threads/thread/members/4.cc: Likewise.
1157         * testsuite/30_threads/thread/members/5.cc: Likewise.
1158         * testsuite/30_threads/thread/members/hardware_concurrency.cc:
1159         Likewise.
1160         * testsuite/30_threads/thread/native_handle/cancel.cc: Likewise.
1161         * testsuite/30_threads/thread/swap/1.cc: Likewise.
1162         * testsuite/30_threads/timed_mutex/cons/1.cc: Likewise.
1163         * testsuite/30_threads/timed_mutex/cons/assign_neg.cc: Likewise.
1164         * testsuite/30_threads/timed_mutex/cons/copy_neg.cc: Likewise.
1165         * testsuite/30_threads/timed_mutex/dest/destructor_locked.cc: Likewise.
1166         * testsuite/30_threads/timed_mutex/lock/1.cc: Likewise.
1167         * testsuite/30_threads/timed_mutex/native_handle/1.cc: Likewise.
1168         * testsuite/30_threads/timed_mutex/native_handle/typesizes.cc:
1169         Likewise.
1170         * testsuite/30_threads/timed_mutex/requirements/
1171         standard_layout.cc: Likewise.
1172         * testsuite/30_threads/timed_mutex/requirements/typedefs.cc: Likewise.
1173         * testsuite/30_threads/timed_mutex/try_lock/1.cc: Likewise.
1174         * testsuite/30_threads/timed_mutex/try_lock/2.cc: Likewise.
1175         * testsuite/30_threads/timed_mutex/try_lock_for/1.cc: Likewise.
1176         * testsuite/30_threads/timed_mutex/try_lock_for/2.cc: Likewise.
1177         * testsuite/30_threads/timed_mutex/try_lock_for/3.cc: Likewise.
1178         * testsuite/30_threads/timed_mutex/try_lock_until/1.cc: Likewise.
1179         * testsuite/30_threads/timed_mutex/try_lock_until/2.cc: Likewise.
1180         * testsuite/30_threads/timed_mutex/try_lock_until/57641.cc: Likewise.
1181         * testsuite/30_threads/timed_mutex/unlock/1.cc: Likewise.
1182         * testsuite/30_threads/timed_mutex/unlock/2.cc: Likewise.
1183         * testsuite/30_threads/try_lock/1.cc: Likewise.
1184         * testsuite/30_threads/try_lock/2.cc: Likewise.
1185         * testsuite/30_threads/try_lock/3.cc: Likewise.
1186         * testsuite/30_threads/try_lock/4.cc: Likewise.
1187         * testsuite/30_threads/unique_lock/cons/1.cc: Likewise.
1188         * testsuite/30_threads/unique_lock/cons/2.cc: Likewise.
1189         * testsuite/30_threads/unique_lock/cons/3.cc: Likewise.
1190         * testsuite/30_threads/unique_lock/cons/4.cc: Likewise.
1191         * testsuite/30_threads/unique_lock/cons/5.cc: Likewise.
1192         * testsuite/30_threads/unique_lock/cons/6.cc: Likewise.
1193         * testsuite/30_threads/unique_lock/locking/1.cc: Likewise.
1194         * testsuite/30_threads/unique_lock/locking/2.cc: Likewise.
1195         * testsuite/30_threads/unique_lock/locking/3.cc: Likewise.
1196         * testsuite/30_threads/unique_lock/locking/4.cc: Likewise.
1197         * testsuite/30_threads/unique_lock/modifiers/1.cc: Likewise.
1198         * testsuite/30_threads/unique_lock/requirements/
1199         explicit_instantiation.cc: Likewise.
1200         * testsuite/30_threads/unique_lock/requirements/typedefs.cc: Likewise.
1202         * testsuite/30_threads/async/42819.cc: Remove dg-require-cstdint
1203         directive.
1204         * testsuite/30_threads/async/49668.cc: Likewise.
1205         * testsuite/30_threads/async/54297.cc: Likewise.
1206         * testsuite/30_threads/async/84532.cc: Likewise.
1207         * testsuite/30_threads/async/any.cc: Likewise.
1208         * testsuite/30_threads/async/async.cc: Likewise.
1209         * testsuite/30_threads/async/except.cc: Likewise.
1210         * testsuite/30_threads/async/forced_unwind.cc: Likewise.
1211         * testsuite/30_threads/async/launch.cc: Likewise.
1212         * testsuite/30_threads/async/lwg2021.cc: Likewise.
1213         * testsuite/30_threads/async/sync.cc: Likewise.
1214         * testsuite/30_threads/call_once/39909.cc: Likewise.
1215         * testsuite/30_threads/call_once/49668.cc: Likewise.
1216         * testsuite/30_threads/call_once/60497.cc: Likewise.
1217         * testsuite/30_threads/call_once/call_once1.cc: Likewise.
1218         * testsuite/30_threads/call_once/constexpr.cc: Likewise.
1219         * testsuite/30_threads/call_once/dr2442.cc: Likewise.
1220         * testsuite/30_threads/call_once/once_flag.cc: Likewise.
1221         * testsuite/30_threads/condition_variable/54185.cc: Likewise.
1222         * testsuite/30_threads/condition_variable/cons/1.cc: Likewise.
1223         * testsuite/30_threads/condition_variable/cons/assign_neg.cc:
1224         Likewise.
1225         * testsuite/30_threads/condition_variable/cons/copy_neg.cc: Likewise.
1226         * testsuite/30_threads/condition_variable/members/1.cc: Likewise.
1227         * testsuite/30_threads/condition_variable/members/2.cc: Likewise.
1228         * testsuite/30_threads/condition_variable/members/3.cc: Likewise.
1229         * testsuite/30_threads/condition_variable/members/53841.cc: Likewise.
1230         * testsuite/30_threads/condition_variable/members/68519.cc: Likewise.
1231         * testsuite/30_threads/condition_variable/native_handle/typesizes.cc:
1232         Likewise.
1233         * testsuite/30_threads/condition_variable/requirements/
1234         standard_layout.cc: Likewise.
1235         * testsuite/30_threads/condition_variable/requirements/typedefs.cc:
1236         * Likewise.
1237         * testsuite/30_threads/condition_variable_any/50862.cc: Likewise.
1238         * testsuite/30_threads/condition_variable_any/53830.cc: Likewise.
1239         * testsuite/30_threads/condition_variable_any/cons/1.cc: Likewise.
1240         * testsuite/30_threads/condition_variable_any/cons/assign_neg.cc:
1241         Likewise.
1242         * testsuite/30_threads/condition_variable_any/cons/copy_neg.cc:
1243         Likewise.
1244         * testsuite/30_threads/condition_variable_any/members/1.cc: Likewise.
1245         * testsuite/30_threads/condition_variable_any/members/2.cc: Likewise.
1246         * testsuite/30_threads/future/cons/assign_neg.cc: Likewise.
1247         * testsuite/30_threads/future/cons/constexpr.cc: Likewise.
1248         * testsuite/30_threads/future/cons/copy_neg.cc: Likewise.
1249         * testsuite/30_threads/future/cons/default.cc: Likewise.
1250         * testsuite/30_threads/future/cons/move.cc: Likewise.
1251         * testsuite/30_threads/future/cons/move_assign.cc: Likewise.
1252         * testsuite/30_threads/future/members/45133.cc: Likewise.
1253         * testsuite/30_threads/future/members/get.cc: Likewise.
1254         * testsuite/30_threads/future/members/get2.cc: Likewise.
1255         * testsuite/30_threads/future/members/share.cc: Likewise.
1256         * testsuite/30_threads/future/members/valid.cc: Likewise.
1257         * testsuite/30_threads/future/members/wait.cc: Likewise.
1258         * testsuite/30_threads/future/members/wait_for.cc: Likewise.
1259         * testsuite/30_threads/future/members/wait_until.cc: Likewise.
1260         * testsuite/30_threads/future/requirements/explicit_instantiation.cc:
1261         Likewise.
1262         * testsuite/30_threads/headers/condition_variable/types_std_c++0x.cc:
1263         Likewise.
1264         * testsuite/30_threads/headers/future/types_std_c++0x.cc: Likewise.
1265         * testsuite/30_threads/headers/mutex/types_std_c++0x.cc: Likewise.
1266         * testsuite/30_threads/headers/thread/std_c++0x_neg.cc: Likewise.
1267         * testsuite/30_threads/headers/thread/types_std_c++0x.cc: Likewise.
1268         * testsuite/30_threads/lock/1.cc: Likewise.
1269         * testsuite/30_threads/lock/2.cc: Likewise.
1270         * testsuite/30_threads/lock/3.cc: Likewise.
1271         * testsuite/30_threads/lock/4.cc: Likewise.
1272         * testsuite/30_threads/lock_guard/cons/1.cc: Likewise.
1273         * testsuite/30_threads/lock_guard/requirements/
1274         explicit_instantiation.cc: Likewise.
1275         * testsuite/30_threads/lock_guard/requirements/typedefs.cc: Likewise.
1276         * testsuite/30_threads/mutex/cons/1.cc: Likewise.
1277         * testsuite/30_threads/mutex/cons/assign_neg.cc: Likewise.
1278         * testsuite/30_threads/mutex/cons/constexpr.cc: Likewise.
1279         * testsuite/30_threads/mutex/cons/copy_neg.cc: Likewise.
1280         * testsuite/30_threads/mutex/dest/destructor_locked.cc: Likewise.
1281         * testsuite/30_threads/mutex/lock/1.cc: Likewise.
1282         * testsuite/30_threads/mutex/native_handle/1.cc: Likewise.
1283         * testsuite/30_threads/mutex/native_handle/typesizes.cc: Likewise.
1284         * testsuite/30_threads/mutex/requirements/standard_layout.cc::
1285         Likewise.
1286         * testsuite/30_threads/mutex/requirements/typedefs.cc: Likewise.
1287         * testsuite/30_threads/mutex/try_lock/1.cc: Likewise.
1288         * testsuite/30_threads/mutex/try_lock/2.cc: Likewise.
1289         * testsuite/30_threads/mutex/unlock/1.cc: Likewise.
1290         * testsuite/30_threads/mutex/unlock/2.cc: Likewise.
1291         * testsuite/30_threads/once_flag/cons/constexpr.cc: Likewise.
1292         * testsuite/30_threads/packaged_task/49668.cc: Likewise.
1293         * testsuite/30_threads/packaged_task/60564.cc: Likewise.
1294         * testsuite/30_threads/packaged_task/cons/1.cc: Likewise.
1295         * testsuite/30_threads/packaged_task/cons/2.cc: Likewise.
1296         * testsuite/30_threads/packaged_task/cons/3.cc: Likewise.
1297         * testsuite/30_threads/packaged_task/cons/56492.cc: Likewise.
1298         * testsuite/30_threads/packaged_task/cons/alloc.cc: Likewise.
1299         * testsuite/30_threads/packaged_task/cons/alloc2.cc: Likewise.
1300         * testsuite/30_threads/packaged_task/cons/alloc_min.cc: Likewise.
1301         * testsuite/30_threads/packaged_task/cons/assign_neg.cc: Likewise.
1302         * testsuite/30_threads/packaged_task/cons/copy_neg.cc: Likewise.
1303         * testsuite/30_threads/packaged_task/cons/move.cc: Likewise.
1304         * testsuite/30_threads/packaged_task/cons/move_assign.cc: Likewise.
1305         * testsuite/30_threads/packaged_task/members/at_thread_exit.cc:
1306         Likewise.
1307         * testsuite/30_threads/packaged_task/members/get_future.cc: Likewise.
1308         * testsuite/30_threads/packaged_task/members/get_future2.cc: Likewise.
1309         * testsuite/30_threads/packaged_task/members/invoke.cc: Likewise.
1310         * testsuite/30_threads/packaged_task/members/invoke2.cc: Likewise.
1311         * testsuite/30_threads/packaged_task/members/invoke3.cc: Likewise.
1312         * testsuite/30_threads/packaged_task/members/invoke4.cc: Likewise.
1313         * testsuite/30_threads/packaged_task/members/invoke5.cc: Likewise.
1314         * testsuite/30_threads/packaged_task/members/reset.cc: Likewise.
1315         * testsuite/30_threads/packaged_task/members/reset2.cc: Likewise.
1316         * testsuite/30_threads/packaged_task/members/swap.cc: Likewise.
1317         * testsuite/30_threads/packaged_task/members/valid.cc: Likewise.
1318         * testsuite/30_threads/packaged_task/requirements/
1319         explicit_instantiation.cc: Likewise.
1320         * testsuite/30_threads/packaged_task/uses_allocator.cc: Likewise.
1321         * testsuite/30_threads/promise/60966.cc: Likewise.
1322         * testsuite/30_threads/promise/69106.cc: Likewise.
1323         * testsuite/30_threads/promise/cons/1.cc: Likewise.
1324         * testsuite/30_threads/promise/cons/alloc.cc: Likewise.
1325         * testsuite/30_threads/promise/cons/alloc2.cc: Likewise.
1326         * testsuite/30_threads/promise/cons/alloc_min.cc: Likewise.
1327         * testsuite/30_threads/promise/cons/assign_neg.cc: Likewise.
1328         * testsuite/30_threads/promise/cons/copy_neg.cc: Likewise.
1329         * testsuite/30_threads/promise/cons/move.cc: Likewise.
1330         * testsuite/30_threads/promise/cons/move_assign.cc: Likewise.
1331         * testsuite/30_threads/promise/members/at_thread_exit.cc: Likewise.
1332         * testsuite/30_threads/promise/members/at_thread_exit2.cc: Likewise.
1333         * testsuite/30_threads/promise/members/get_future.cc: Likewise.
1334         * testsuite/30_threads/promise/members/get_future2.cc: Likewise.
1335         * testsuite/30_threads/promise/members/set_exception.cc: Likewise.
1336         * testsuite/30_threads/promise/members/set_exception2.cc: Likewise.
1337         * testsuite/30_threads/promise/members/set_value.cc: Likewise.
1338         * testsuite/30_threads/promise/members/set_value2.cc: Likewise.
1339         * testsuite/30_threads/promise/members/set_value3.cc: Likewise.
1340         * testsuite/30_threads/promise/members/swap.cc: Likewise.
1341         * testsuite/30_threads/promise/requirements/explicit_instantiation.cc:
1342         * Likewise.
1343         * testsuite/30_threads/promise/uses_allocator.cc: Likewise.
1345         * testsuite/18_support/numeric_limits/char16_32_t.cc: Qualify names
1346         from namespace std.
1347         * testsuite/20_util/align/2.cc: Remove dg-require-cstdint directive.
1348         * testsuite/20_util/duration/arithmetic/1.cc: Likewise.
1349         * testsuite/20_util/duration/arithmetic/2.cc: Likewise.
1350         * testsuite/20_util/duration/arithmetic/dr2020.cc: Likewise.
1351         * testsuite/20_util/duration/arithmetic/dr934-1.cc: Likewise.
1352         * testsuite/20_util/duration/arithmetic/dr934-2.cc: Likewise.
1353         * testsuite/20_util/duration/comparison_operators/1.cc: Likewise.
1354         * testsuite/20_util/duration/cons/1.cc: Likewise.
1355         * testsuite/20_util/duration/cons/1_neg.cc: Likewise.
1356         * testsuite/20_util/duration/cons/2.cc: Likewise.
1357         * testsuite/20_util/duration/cons/54025.cc: Likewise.
1358         * testsuite/20_util/duration/cons/dr974_neg.cc: Likewise.
1359         * testsuite/20_util/duration/requirements/explicit_instantiation/
1360         explicit_instantiation.cc: Likewise.
1361         * testsuite/20_util/duration/requirements/typedefs_neg1.cc: Likewise.
1362         * testsuite/20_util/duration/requirements/typedefs_neg2.cc: Likewise.
1363         * testsuite/20_util/duration/requirements/typedefs_neg3.cc: Likewise.
1364         * testsuite/20_util/make_signed/requirements/typedefs-4.cc: Likewise.
1365         * testsuite/20_util/ratio/comparisons/comp1.cc: Likewise.
1366         * testsuite/20_util/ratio/comparisons/comp2.cc: Likewise.
1367         * testsuite/20_util/ratio/comparisons/comp3.cc: Likewise.
1368         * testsuite/20_util/ratio/cons/cons1.cc: Likewise.
1369         * testsuite/20_util/ratio/operations/45866.cc: Likewise.
1370         * testsuite/20_util/ratio/operations/47913.cc: Likewise.
1371         * testsuite/20_util/ratio/operations/53840.cc: Likewise.
1372         * testsuite/20_util/ratio/operations/ops1.cc: Likewise.
1373         * testsuite/20_util/shared_ptr/atomic/3.cc: Likewise.
1374         * testsuite/20_util/system_clock/1.cc: Likewise.
1375         * testsuite/20_util/time_point/1.cc: Likewise.
1376         * testsuite/20_util/time_point/2.cc: Likewise.
1377         * testsuite/20_util/time_point/3.cc: Likewise.
1378         * testsuite/20_util/time_point/requirements/explicit_instantiation/
1379         explicit_instantiation.cc: Likewise.
1380         * testsuite/21_strings/basic_string/requirements/
1381         explicit_instantiation/char16_t/1.cc: Likewise.
1382         * testsuite/21_strings/basic_string/requirements/
1383         explicit_instantiation/char32_t/1.cc: Likewise.
1384         * testsuite/21_strings/basic_string_view/requirements/
1385         explicit_instantiation/char16_t/1.cc: Likewise.
1386         * testsuite/21_strings/basic_string_view/requirements/
1387         explicit_instantiation/char32_t/1.cc: Likewise.
1388         * testsuite/21_strings/char_traits/requirements/
1389         explicit_instantiation/char16_t/1.cc: Likewise.
1390         * testsuite/21_strings/char_traits/requirements/
1391         explicit_instantiation/char32_t/1.cc: Likewise.
1392         * testsuite/21_strings/headers/string/types_std_c++0x.cc: Likewise.
1393         * testsuite/22_locale/codecvt/char16_t.cc: Likewise.
1394         * testsuite/22_locale/codecvt/char32_t.cc: Likewise.
1395         * testsuite/22_locale/codecvt/codecvt_utf16/requirements/1.cc:
1396         Likewise.
1397         * testsuite/22_locale/codecvt/codecvt_utf8/requirements/1.cc:
1398         Likewise.
1399         * testsuite/22_locale/codecvt/codecvt_utf8_utf16/requirements/1.cc:
1400         Likewise.
1401         * testsuite/22_locale/codecvt/utf8.cc: Likewise.
1402         * testsuite/23_containers/vector/bool/72847.cc: Likewise.
1403         * testsuite/23_containers/vector/debug/multithreaded_swap.cc:
1404         Likewise.
1405         * testsuite/experimental/string_view/requirements/
1406         explicit_instantiation/char16_t/1.cc: Likewise.
1407         * testsuite/experimental/string_view/requirements/
1408         explicit_instantiation/char32_t/1.cc: Likewise.
1409         * testsuite/ext/vstring/requirements/explicit_instantiation/char16_t/
1410         1.cc: Likewise.
1411         * testsuite/ext/vstring/requirements/explicit_instantiation/char32_t/
1412         1.cc: Likewise.
1414         * include/ext/throw_allocator.h [!_GLIBCXX_USE_C99_STDINT_TR1]
1415         (random_condition, throw_value_random, throw_allocator_random)
1416         (std::hash<throw_value_random>): Do not define when <tr1/random> is
1417         not usable.
1418         * src/c++11/cow-stdexcept.cc [!_GLIBCXX_USE_C99_STDINT_TR1]: Do not
1419         define transactional memory support when <stdint.h> is not usable.
1421         * include/bits/hashtable_policy.h (__detail::__clp2): Use faster
1422         implementation that doesn't depend on <stdint.h> types.
1423         * include/std/memory (align) [!_GLIBCXX_USE_C99_STDINT_TR1]: Use
1424         std::size_t when std::uintptr_t is not usable.
1425         [!_GLIBCXX_USE_C99_STDINT_TR1] (pointer_safety, declare_reachable)
1426         (undeclare_reachable, declare_no_pointers, undeclare_no_pointers):
1427         Define independent of _GLIBCXX_USE_C99_STDINT_TR1.
1429         * include/bits/basic_string.h [!_GLIBCXX_USE_C99_STDINT_TR1]
1430         (hash<u16string>, hash<u32string>): Remove dependency on
1431         _GLIBCXX_USE_C99_STDINT_TR1.
1432         * include/bits/char_traits.h [!_GLIBCXX_USE_C99_STDINT_TR1]
1433         (char_traits<char16_t>, char_traits<char32_t>): Remove dependency on
1434         _GLIBCXX_USE_C99_STDINT_TR1. Use __UINT_LEAST16_TYPE__ and
1435         __UINT_LEAST32_TYPE__ or make_unsigned when <stdint.h> is not usable.
1436         * include/bits/codecvt.h [!_GLIBCXX_USE_C99_STDINT_TR1]
1437         (codecvt<char16_t, char, mbstate_t>)
1438         (codecvt<char32_t, char, mbstate_t>)
1439         (codecvt_byname<char16_t, char, mbstate_t>)
1440         (codecvt_byname<char32_t, char, mbstate_t>): Remove dependency
1441         on _GLIBCXX_USE_C99_STDINT_TR1.
1442         * include/bits/locale_facets.h [!_GLIBCXX_USE_C99_STDINT_TR1]
1443         (_GLIBCXX_NUM_UNICODE_FACETS): Likewise.
1444         * include/bits/stringfwd.h [!_GLIBCXX_USE_C99_STDINT_TR1]
1445         (char_traits<char16_t>, char_traits<char32_t>)
1446         (basic_string<char16_t>, basic_string<char32_t>): Remove dependency
1447         on _GLIBCXX_USE_C99_STDINT_TR1.
1448         * include/experimental/string_view [!_GLIBCXX_USE_C99_STDINT_TR1]
1449         (u16string_view, u32string_view, hash<u16string_view>)
1450         (hash<u32string_view>, operator""sv(const char16_t, size_t))
1451         (operator""sv(const char32_t, size_t)): Likewise.
1452         * include/ext/vstring.h [!_GLIBCXX_USE_C99_STDINT_TR1]
1453         (hash<__u16vstring>, hash<__u32vstring>): Likewise.
1454         * include/ext/vstring_fwd.h [!_GLIBCXX_USE_C99_STDINT_TR1]
1455         (__u16vstring, __u16sso_string, __u16rc_string, __u32vstring)
1456         (__u32sso_string, __u32rc_string): Likewise.
1457         * include/std/codecvt [!_GLIBCXX_USE_C99_STDINT_TR1] (codecvt_mode)
1458         (codecvt_utf8, codecvt_utf16, codecvt_utf8_utf16): Likewise.
1459         * include/std/string_view [!_GLIBCXX_USE_C99_STDINT_TR1]
1460         (u16string_view, u32string_view, hash<u16string_view>)
1461         (hash<u32string_view>, operator""sv(const char16_t, size_t))
1462         (operator""sv(const char32_t, size_t)): Likewise.
1463         * src/c++11/codecvt.cc: Likewise.
1464         * src/c++98/locale_init.cc: Likewise.
1465         * src/c++98/localename.cc: Likewise.
1467         * include/bits/atomic_futex.h [!_GLIBCXX_USE_C99_STDINT_TR1]
1468         (__atomic_futex_unsigned_base): Remove dependency on
1469         _GLIBCXX_USE_C99_STDINT_TR1 macro.
1470         * include/bits/unique_lock.h [!_GLIBCXX_USE_C99_STDINT_TR1]
1471         (unique_lock): Remove dependency on _GLIBCXX_USE_C99_STDINT_TR1.
1472         * include/c_global/cstdint [!_GLIBCXX_USE_C99_STDINT_TR1] (intmax_t)
1473         (uintmax_t): Define using predefined macros.
1474         * include/std/chrono [!_GLIBCXX_USE_C99_STDINT_TR1] (duration)
1475         (time_point, system_clock, high_resolution_clock, steady_clock): Remove
1476         dependency on _GLIBCXX_USE_C99_STDINT_TR1 macro.
1477         (nanoseconds, microseconds, milliseconds, seconds, minutes, hours):
1478         [!_GLIBCXX_USE_C99_STDINT_TR1]: Define using __INT64_TYPE__ or
1479         long long when <stdint.h> is not usable.
1480         * include/std/condition_variable [!_GLIBCXX_USE_C99_STDINT_TR1]
1481         (condition_variable, condition_variable_any): Remove dependency on
1482         _GLIBCXX_USE_C99_STDINT_TR1.
1483         * include/std/future [!_GLIBCXX_USE_C99_STDINT_TR1] (future, promise)
1484         (packaged_task, async): Likewise.
1485         * include/std/mutex [!_GLIBCXX_USE_C99_STDINT_TR1] (recursive_mutex)
1486         (timed_mutex, recursive_timed_mutex, try_lock, lock, scoped_lock)
1487         (once_flag, call_once): Likewise.
1488         * include/std/ratio [!_GLIBCXX_USE_C99_STDINT_TR1] (ratio): Likewise.
1489         * include/std/shared_mutex [!_GLIBCXX_USE_C99_STDINT_TR1]
1490         (shared_mutex, shared_timed_mutex, shared_lock): Likewise.
1491         * include/std/thread [!_GLIBCXX_USE_C99_STDINT_TR1] (thread)
1492         (this_thread::get_id, this_thread::yield, this_thread::sleep_for)
1493         (this_thread::sleep_until): Likewise.
1494         * src/c++11/chrono.cc: Remove dependency on
1495         _GLIBCXX_USE_C99_STDINT_TR1 macro.
1496         * src/c++11/condition_variable.cc: Likewise.
1497         * src/c++11/futex.cc: Likewise.
1498         * src/c++11/future.cc: Likewise.
1499         * src/c++11/mutex.cc: Likewise.
1500         * src/c++11/thread.cc: Likewise.
1501         * testsuite/20_util/duration/literals/range_neg.cc: Adjust dg-error.
1502         * testsuite/20_util/duration/requirements/typedefs_neg1.cc: Likewise.
1503         * testsuite/20_util/duration/requirements/typedefs_neg2.cc: Likewise.
1504         * testsuite/20_util/duration/requirements/typedefs_neg3.cc: Likewise.
1505         * testsuite/20_util/ratio/cons/cons_overflow_neg.cc: Likewise.
1506         * testsuite/20_util/ratio/operations/ops_overflow_neg.cc: Likewise.
1508 2018-07-26  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
1510         PR libstdc++/77691
1511         * testsuite/experimental/memory_resource/new_delete_resource.cc:
1512         xfail execution on 32-bit Solaris/x86.
1514 2018-07-26  Marc Glisse  <marc.glisse@inria.fr>
1516         * include/bits/stl_vector.h (_Vector_impl_data::_M_copy_data): New.
1517         (_Vector_impl_data::_M_swap_data): Use _M_copy_data.
1518         (vector::_M_move_assign): Reorder the swaps.
1520 2018-07-26  Jonathan Wakely  <jwakely@redhat.com>
1522         PR libstdc++/86676
1523         * testsuite/20_util/monotonic_buffer_resource/release.cc: Request
1524         same alignment for post-release allocation.
1526 2018-07-25  Jonathan Wakely  <jwakely@redhat.com>
1528         PR libstdc++/86676
1529         * testsuite/20_util/monotonic_buffer_resource/release.cc: Allow for
1530         buffer being misaligned and so returned pointer not being at start.
1532         * include/experimental/memory_resource: Include <cstddef> header.
1534         * acinclude.m4 (glibcxx_SUBDIRS): Add src/c++17.
1535         * src/Makefile.am: Add comment.
1536         * src/c++17/Makefile.in: Regenerate.
1538         * include/Makefile.am: Add new <bits/unique_lock.h> header.
1539         * include/Makefile.in: Regenerate.
1540         * include/bits/std_mutex.h [!_GLIBCXX_USE_C99_STDINT_TR1] (mutex)
1541         (lock_guard): Define independent of _GLIBCXX_USE_C99_STDINT_TR1.
1542         (unique_lock): Move definition to ...
1543         * include/bits/unique_lock.h: New header.
1544         [!_GLIBCXX_USE_C99_STDINT_TR1] (unique_lock): Define unconditionally.
1545         [_GLIBCXX_USE_C99_STDINT_TR1] (unique_lock(mutex_type&, time_point))
1546         (unique_lock(mutex_type&, duration), unique_lock::try_lock_until)
1547         (unique_lock::try_lock_for): Define only when <chrono> is usable.
1548         * include/std/condition_variable: Include <bits/unique_lock.h>.
1549         * include/std/mutex: Likewise.
1551 2018-07-24  Jonathan Wakely  <jwakely@redhat.com>
1553         * config/abi/pre/gnu.ver: Export new symbols.
1554         * configure: Regenerate.
1555         * include/Makefile.am: Add new <memory_resource> header.
1556         * include/Makefile.in: Regenerate.
1557         * include/precompiled/stdc++.h: Include <memory_resource> for C++17.
1558         * include/std/memory_resource: New header.
1559         (memory_resource, polymorphic_allocator, new_delete_resource)
1560         (null_memory_resource, set_default_resource, get_default_resource)
1561         (pool_options, monotonic_buffer_resource): Define.
1562         * src/Makefile.am: Add c++17 directory.
1563         * src/Makefile.in: Regenerate.
1564         * src/c++11/Makefile.am: Fix comment.
1565         * src/c++17/Makefile.am: Add makefile for new sub-directory.
1566         * src/c++17/Makefile.in: Generate.
1567         * src/c++17/memory_resource.cc: New.
1568         (newdel_res_t, null_res_t, constant_init, newdel_res, null_res)
1569         (default_res, new_delete_resource, null_memory_resource)
1570         (set_default_resource, get_default_resource): Define.
1571         * testsuite/20_util/memory_resource/1.cc: New test.
1572         * testsuite/20_util/memory_resource/2.cc: New test.
1573         * testsuite/20_util/monotonic_buffer_resource/1.cc: New test.
1574         * testsuite/20_util/monotonic_buffer_resource/allocate.cc: New test.
1575         * testsuite/20_util/monotonic_buffer_resource/deallocate.cc: New test.
1576         * testsuite/20_util/monotonic_buffer_resource/release.cc: New test.
1577         * testsuite/20_util/monotonic_buffer_resource/upstream_resource.cc:
1578         New test.
1579         * testsuite/20_util/polymorphic_allocator/1.cc: New test.
1580         * testsuite/20_util/polymorphic_allocator/resource.cc: New test.
1581         * testsuite/20_util/polymorphic_allocator/select.cc: New test.
1582         * testsuite/util/testsuite_allocator.h (__gnu_test::memory_resource):
1583         Define concrete memory resource for testing.
1584         (__gnu_test::default_resource_mgr): Define RAII helper for changing
1585         default resource.
1587         PR libstdc++/86658
1588         * include/bits/stl_algobase.h (__niter_wrap<_Iterator>): Pass unused
1589         parameter by reference, to avoid copying invalid iterators.
1590         * testsuite/25_algorithms/copy/86658.cc: New test.
1592         * include/std/bit (__countl_zero, __countr_zero, __popcount): Use
1593         local variables for number of digits instead of type aliases.
1594         (__log2p1): Remove redundant branch also checked in __countl_zero.
1596         * include/bits/uses_allocator.h (__is_erased_or_convertible): Reorder
1597         conditions. Add comments.
1598         * testsuite/20_util/uses_allocator/69293_neg.cc: Adjust dg-error line.
1599         * testsuite/20_util/uses_allocator/cons_neg.cc: Likewise.
1600         * testsuite/20_util/scoped_allocator/69293_neg.cc: Likewise.
1602         * include/bits/uses_allocator.h (__is_erased_or_convertible): Remove.
1603         (__uses_allocator_helper): Check conditions directly instead of
1604         using __is_erased_or_convertible.
1606         * include/experimental/memory_resource: Adjust comments and
1607         whitespace.
1608         (__resource_adaptor_imp): Add second template parameter for type of
1609         memory resource base class.
1610         (memory_resource): Define default constructor, destructor, copy
1611         constructor and copy assignment operator as defaulted.
1613         PR libstdc++/70966
1614         * include/experimental/memory_resource (__get_default_resource): Use
1615         placement new to create an object with dynamic storage duration.
1617 2018-07-23  Jonathan Wakely  <jwakely@redhat.com>
1619         PR libstdc++/70940
1620         * include/experimental/memory_resource
1621         (__resource_adaptor_common::_AlignMgr::_M_unadjust): Add assertion.
1622         (__resource_adaptor_common::__guaranteed_alignment): New helper to
1623         give maximum alignment an allocator guarantees. Specialize for known
1624         allocators using new and malloc.
1625         (__resource_adaptor_imp::do_allocate): Use __guaranteed_alignment.
1626         (__resource_adaptor_imp::do_deallocate): Likewise.
1627         * testsuite/experimental/memory_resource/new_delete_resource.cc:
1628         Check that new and delete are called with expected sizes.
1630 2018-07-20  Jonathan Wakely  <jwakely@redhat.com>
1632         PR libstdc++/86595
1633         * include/bits/fs_dir.h (directory_entry::refresh(error_code&)): Add
1634         noexcept.
1636 2018-07-20  Fangrui Song  <maskray@google.com>
1638         * include/bits/shared_ptr_base.h (_Sp_make_shared_tag::_S_ti): Use
1639         _GLIBCXX_VISIBILITY(default).
1641 2018-07-20  Jonathan Wakely  <jwakely@redhat.com>
1643         PR libstdc++/86603
1644         * include/std/version: Move __cpp_lib_list_remove_return_type macro.
1646 2018-07-19  Jonathan Wakely  <jwakely@redhat.com>
1648         * include/std/type_traits (__is_member_object_pointer_helper): Use
1649         __not_<is_function<_Tp>>::type instead of integral_constant.
1650         (__is_member_function_pointer_helper): Likewise for
1651         is_function<_Tp>::type.
1652         (is_compund): Likewise for __not_<is_fundamental<_Tp>>::type.
1653         (__do_is_nt_destructible_impl): Use __bool_constant and reindent.
1654         (is_trivially_constructible): Remove redundant use of
1655         is_constructible.
1656         (__is_trivially_copy_assignable_impl): Remove redundant use of
1657         is_copy_assignable.
1658         (__is_trivially_move_assignable_impl): Remove redundant use of
1659         is_move_assignable.
1660         (is_trivially_destructible): Use __bool_constant.
1661         * testsuite/20_util/is_trivially_assignable/value.cc: Add some more
1662         tests for scalar types.
1664 2018-07-19  Glen Joseph Fernandes  <glenjofe@gmail.com>
1666         * include/bits/stl_algobase.h (__copy_move_a): Used
1667         __is_trivially_copyable.
1668         (__copy_move_backward_a): Likewise.
1669         * testsuite/20_util/specialized_algorithms/uninitialized_copy/1.cc:
1670         New test.
1672 2018-07-17  Jonathan Wakely  <jwakely@redhat.com>
1674         PR libstdc++/86450
1675         * acinclude.m4 (GLIBCXX_CHECK_COMPILER_FEATURES): Don't define WERROR.
1676         (GLIBCXX_EXPORT_FLAGS): Use -Wabi=2 instead of -Wabi.
1677         * configure: Regenerate.
1678         * configure.ac: Change GLIBCXX_ENABLE_WERROR default to "no".
1679         * doc/Makefile.in: Regenerate.
1680         * fragment.am: Set WERROR_FLAG to -Werror instead of $(WERROR).
1681         * include/Makefile.in: Regenerate.
1682         * libsupc++/Makefile.in: Regenerate.
1683         * po/Makefile.in: Regenerate.
1684         * python/Makefile.in: Regenerate.
1685         * src/Makefile.in: Regenerate.
1686         * src/c++11/Makefile.in: Regenerate.
1687         * src/c++11/debug.cc: Use diagnostic pragmas to suppress warnings
1688         from -Wabi=2 that don't affect exported symbols.
1689         * src/c++98/Makefile.in: Regenerate.
1690         * src/filesystem/Makefile.in: Regenerate.
1691         * testsuite/Makefile.in: Regenerate.
1693         * src/c++11/compatibility-thread-c++0x.cc [_GLIBCXX_SHARED]
1694         (_Async_state_common::_M_join): Simplify use of std::call_once and
1695         corresponding explicit instantiation.
1696         (_Maybe_wrap_member_pointer, _Bind_simple, _Bind_simple_helper)
1697         (__bind_simple): Remove definitions and explicit instantiation that
1698         are not required by exported symbols.
1700 2018-07-16  Jonathan Wakely  <jwakely@redhat.com>
1702         * scripts/create_testsuite_files: Fix typo in comment.
1704         PR libstdc++/86537
1705         * include/bits/shared_ptr.h (less<shared_ptr<_Tp>>): Remove
1706         non-standard partial specialization.
1707         * include/bits/shared_ptr_base.h (_Sp_less): Remove class definition.
1708         (less<__shared_ptr<_Tp, _Lp>): Remove partial specialization.
1709         * testsuite/20_util/shared_ptr/comparison/86537.cc: New test.
1711 2018-07-16  Andreas Krebbel  <krebbel@linux.ibm.com>
1713         * config/abi/post/s390-linux-gnu/baseline_symbols.txt: Update.
1714         * config/abi/post/s390x-linux-gnu/32/baseline_symbols.txt: Update.
1715         * config/abi/post/s390x-linux-gnu/baseline_symbols.txt: Update.
1717 2018-07-06  François Dumont  <fdumont@gcc.gnu.org>
1719         * include/debug/functions.h (__gnu_debug::__check_string): Move...
1720         * include/debug/string (__gnu_debug::__check_string): ... here.
1721         (_GLIBCXX_DEBUG_VERIFY_STR_COND_AT): New.
1722         (__glibcxx_check_string_n_constructor): New.
1723         (__gnu_debug::basic_string<>(const _CharT*, size_type, const _Alloc&)):
1724         Use latter.
1725         (__glibcxx_check_string_constructor): New.
1726         (__gnu_debug::basic_string<>(const _CharT*, const _Alloc&)):
1727         Use latter.
1728         * testsuite/21_strings/basic_string/debug/1_neg.cc: New.
1729         * testsuite/21_strings/basic_string/debug/2_neg.cc: New.
1731 2018-07-06  Jonathan Wakely  <jwakely@redhat.com>
1733         PR libstdc++/84928 use std::move in <numeric> algorithms
1734         * include/bits/stl_numeric.h (_GLIBCXX_MOVE_IF_20): Define macro to
1735         conditionally move, according to __cplusplus value.
1736         (accumulate, inner_product, partial_sum, adjacent_difference): Use
1737         _GLIBCXX_MOVE_IF_20.
1738         * testsuite/26_numerics/accumulate/lwg2055.cc: New test.
1739         * testsuite/26_numerics/adjacent_difference/lwg2055.cc: New test.
1740         * testsuite/26_numerics/inner_product/lwg2055.cc: New test.
1741         * testsuite/26_numerics/partial_sum/lwg2055.cc: New test.
1743         * config/abi/pre/gnu.ver: Use wildcards to combine related patterns.
1745         P0935R0 Eradicating unnecessarily explicit default constructors
1746         * config/abi/pre/gnu.ver: Tighten existing patterns and export new
1747         default constructor symbols.
1748         * include/std/sstream (basic_stringbuf, basic_istringstream)
1749         (basic_ostringstream, basic_stringstream): Remove default arguments
1750         from explicit constructors taking ios_base::openmode and add separate
1751         non-explicit default constructors.
1752         * testsuite/27_io/basic_istringstream/cons/default.cc: New.
1753         * testsuite/27_io/basic_ostringstream/cons/default.cc: New.
1754         * testsuite/27_io/basic_stringstream/cons/default.cc: New.
1755         * testsuite/27_io/basic_stringbuf/cons/char/default.cc: New.
1756         * testsuite/27_io/basic_stringbuf/cons/wchar_t/default.cc: New.
1758         * include/std/variant (__accepted_index): Use void_t.
1760 2018-07-05  Jonathan Wakely  <jwakely@redhat.com>
1762         PR libstdc++/85831
1763         * config/abi/pre/gnu.ver: Export move constructors and move
1764         assignment operators for std::logic_error and std::runtime_error.
1765         * include/std/stdexcept: Use _GLIBCXX_NOTHROW instead of
1766         _GLIBCXX_USE_NOEXCEPT.
1767         (logic_error, runtime_error): Declare move constructors and move
1768         assignment operators. When not declared already, define copy
1769         constructors and copy assignment operators as explicit-defaulted.
1770         (domain_error, invalid_argument, length_error, out_of_range)
1771         (overflow_error, underflow_error): Define move constructors and move
1772         assignment operators as explicitly-defaulted.
1773         * libsupc++/exception.h (exception): Likewise.
1774         * src/c++11/cow-stdexcept.cc (logic_error, runtime_error): Define
1775         move constructors and move assignment operators as defaulted.
1776         * testsuite/19_diagnostics/stdexcept.cc: Check that constructors and
1777         assignment operators are defined.
1779         * testsuite/21_strings/basic_string/cons/char/deduction.cc: XFAIL for
1780         COW strings.
1781         * testsuite/21_strings/basic_string/cons/wchar_t/deduction.cc:
1782         Likewise.
1783         * testsuite/21_strings/basic_string/requirements/
1784         explicit_instantiation/debug.cc: Likewise.
1786         PR libstdc++/58265
1787         * include/bits/basic_string.h [!_GLIBCXX_USE_CXX11_ABI]
1788         (basic_string::assign(basic_string&&)): Add conditional noexcept
1789         depending on the allocator's is_always_equal property (LWG 2063).
1790         * testsuite/21_strings/basic_string/modifiers/assign/char/
1791         move_assign.cc: Check for non-throwing exception specification.
1792         * testsuite/21_strings/basic_string/modifiers/assign/wchar_t/
1793         move_assign.cc: Likewise.
1795         PR libstdc++/58265
1796         * include/bits/basic_string.h [!_GLIBCXX_USE_CXX11_ABI]
1797         [_GLIBCXX_FULLY_DYNAMIC_STRING==0] (basic_string::basic_string()):
1798         Add GLIBCXX_NOEXCEPT.
1799         (basic_string::operator=(basic_string&&)): Add _GLIBCXX_NOEXCEPT_IF
1800         to depend on the allocator's is_always_equal property (LWG 2063).
1801         (basic_string::swap(basic_string&)): Likewise.
1802         * include/bits/basic_string.tcc [!_GLIBCXX_USE_CXX11_ABI]
1803         (basic_string::swap(basic_string&)): Likewise.
1804         * testsuite/21_strings/basic_string/allocator/char/move_assign.cc:
1805         Check is_nothrow_move_assignable.
1806         * testsuite/21_strings/basic_string/allocator/wchar_t/move_assign.cc:
1807         Check is_nothrow_move_assignable.
1808         * testsuite/21_strings/basic_string/cons/char/
1809         noexcept_move_construct.cc: Likewise.
1810         * testsuite/21_strings/basic_string/cons/wchar_t/
1811         noexcept_move_construct.cc: Likewise.
1813 2018-07-04  Jonathan Wakely  <jwakely@redhat.com>
1815         P0646R1 Improving the Return Value of Erase-Like Algorithms I
1816         * include/bits/forward_list.h (__cpp_lib_list_remove_return_type):
1817         Define.
1818         (forward_list::__remove_return_type): Define typedef as size_type or
1819         void, according to __cplusplus value.
1820         (_GLIBCXX_FWDLIST_REMOVE_RETURN_TYPE_TAG): Define macro as abi-tag or
1821         empty, according to __cplusplus value.
1822         (forward_list::remove, forward_list::unique): Use typedef and macro
1823         to change return type and add abi-tag for C++2a.
1824         (forward_list::remove_if<Pred>, forward_list::unique<BinPred>): Use
1825         typedef to change return type for C++2a.
1826         * include/bits/forward_list.tcc (_GLIBCXX20_ONLY): Define macro.
1827         (forward_list::remove, forward_list::remove_if<Pred>)
1828         (forward_list::unique<BinPred>): Return number of removed elements
1829         for C++2a.
1830         * include/bits/list.tcc (_GLIBCXX20_ONLY): Define macro.
1831         (list::remove, list::unique, list::remove_if<Predicate>)
1832         (list::unique<BinaryPredicate>): Return number of removed elements
1833         for C++2a.
1834         * include/bits/stl_list.h (__cpp_lib_list_remove_return_type): Define.
1835         (list::__remove_return_type): Define typedef as size_type or
1836         void, according to __cplusplus value.
1837         (_GLIBCXX_LIST_REMOVE_RETURN_TYPE_TAG): Define macro as abi-tag or
1838         empty, according to __cplusplus value.
1839         (list::remove, list::unique): Use typedef and macro to change return
1840         type and add abi-tag for C++2a.
1841         (list::remove_if<Predicate>, list::unique<BinaryPredicate>): Use
1842         typedef to change return type for C++2a.
1843         * include/std/version (__cpp_lib_list_remove_return_type): Define.
1844         * testsuite/23_containers/forward_list/operations/
1845         remove_cxx20_return.cc: New.
1846         * testsuite/23_containers/forward_list/operations/
1847         unique_cxx20_return.cc: New.
1849         P0458R2 Checking for Existence of an Element in Associative Containers
1850         * include/bits/stl_map.h (map::contains): Add for C++2a.
1851         * include/bits/stl_multimap.h (multimap::contains): Likewise.
1852         * include/bits/stl_multiset.h (multiset::contains): Likewise.
1853         * include/bits/stl_set.h (set::contains): Likewise.
1854         * include/bits/stl_tree.h (__has_is_transparent_t): Define alias.
1855         (_Rb_tree::_M_find_tr, _Rb_tree::_M_count_tr)
1856         (_Rb_tree::_M_lower_bound_tr, _Rb_tree::_M_upper_bound_tr)
1857         (_Rb_tree::_M_equal_range_tr): Use __has_is_transparent_t.
1858         * include/bits/unordered_map.h (unordered_map::contains)
1859         (unordered_multimap::contains): Add for C++2a.
1860         * include/bits/unordered_set.h (unordered_set::contains)
1861         (unordered_multiset::contains): Likewise.
1862         * testsuite/23_containers/map/operations/contains.cc: New.
1863         * testsuite/23_containers/multimap/operations/contains.cc: New.
1864         * testsuite/23_containers/multiset/operations/contains.cc: New.
1865         * testsuite/23_containers/set/operations/contains.cc: New.
1866         * testsuite/23_containers/unordered_map/operations/contains.cc: New.
1867         * testsuite/23_containers/unordered_multimap/operations/contains.cc:
1868         New.
1869         * testsuite/23_containers/unordered_multiset/operations/contains.cc:
1870         New.
1871         * testsuite/23_containers/unordered_set/operations/contains.cc: New.
1873 2018-07-04  François Dumont  <fdumont@gcc.gnu.org>
1875         PR libstdc++/86272
1876         * include/debug/string
1877         (__gnu_debug::basic_string<>::insert<_Ite>(const_iterator, _Ite, _Ite)):
1878         Use __glibcxx_check_insert_range.
1879         * 21_strings/basic_string/cons/char/1.cc: Adapt test to use
1880         __gnu_debug::string when _GLIBCXX_DEBUG.
1881         * 21_strings/basic_string/init-list.cc: Likewise.
1882         * 21_strings/basic_string/modifiers/insert/char/1.cc: Likewise.
1883         * 21_strings/basic_string/modifiers/insert/char/2.cc: Likewise.
1884         * 21_strings/basic_string/modifiers/insert/char/83328.cc: Likewise.
1885         * 21_strings/basic_string/types/1.cc: Likewise.
1887 2018-07-04  Jonathan Wakely  <jwakely@redhat.com>
1889         * testsuite/25_algorithms/make_heap/complexity.cc: Require effective
1890         target for std::random_device.
1891         * testsuite/26_numerics/random/random_device/cons/default.cc:
1892         Likewise.
1893         * testsuite/experimental/algorithm/sample-2.cc: Likewise.
1894         * testsuite/experimental/algorithm/shuffle.cc: Likewise.
1895         * testsuite/experimental/random/randint.cc: Likewise.
1896         * testsuite/lib/libstdc++.exp
1897         (check_effective_target_random_device): New proc.
1899 2018-07-04  Jonathan Wakely  <jwakely@redhat.com>
1900             Jakub Jelinek  <jakub@redhat.com>
1902         * include/std/bit (__rotl, __rotr): Fix for non-power of two sizes.
1904 2018-07-04  Jonathan Wakely  <jwakely@redhat.com>
1906         PR libstdc++/86398
1907         * include/std/type_traits (is_trivially_constructible): Check
1908         is_constructible before __is_trivially_constructible.
1909         * testsuite/20_util/is_trivially_constructible/value.cc: Add more
1910         tests, including negative cases.
1911         * testsuite/20_util/make_signed/requirements/typedefs_neg.cc: Use
1912         zero for dg-error lineno.
1913         * testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc:
1914         Likewise.
1916         * include/std/bit (__rotl, __rotr): Avoid branch.
1917         (_If_is_unsigned_integer): Use remove_cv_t.
1918         * testsuite/26_numerics/bit/bitops.count/popcount.cc: New.
1920 2018-07-03  Jonathan Wakely  <jwakely@redhat.com>
1922         P0556R3 Integral power-of-2 operations, P0553R2 Bit operations
1923         * include/Makefile.am: Add new header.
1924         * include/Makefile.in: Regenerate.
1925         * include/precompiled/stdc++.h: Include new header.
1926         * include/std/bit: New header.
1927         (__rotl, __rotr, __countl_zero, __countl_one, __countr_zero)
1928         (__countr_one, __popcount, __ispow2, __ceil2, __floor2, __log2p1):
1929         Define for C++14.
1930         [!__STRICT_ANSI__] (rotl, rotr, countl_zero, countl_one, countr_zero)
1931         (countr_one, popcount): Define for C++2a. Also overload for std::byte.
1932         (ispow2, ceil2, floor2, log2p1): Define for C++2a.
1933         [!__STRICT_ANSI__] (ispow2, ceil2, floor2, log2p1): Overload for
1934         std::byte.
1935         * testsuite/26_numerics/bit/bit.pow.two/ceil2.cc: New.
1936         * testsuite/26_numerics/bit/bit.pow.two/floor2.cc: New.
1937         * testsuite/26_numerics/bit/bit.pow.two/ispow2.cc: New.
1938         * testsuite/26_numerics/bit/bit.pow.two/log2p1.cc: New.
1939         * testsuite/26_numerics/bit/bitops.rot/rotl.cc: New.
1940         * testsuite/26_numerics/bit/bitops.rot/rotr.cc: New.
1941         * testsuite/26_numerics/bit/bitops.count/countl_one.cc: New.
1942         * testsuite/26_numerics/bit/bitops.count/countl_zero.cc: New.
1943         * testsuite/26_numerics/bit/bitops.count/countr_one.cc: New.
1944         * testsuite/26_numerics/bit/bitops.count/countr_zero.cc: New.
1946         * include/bits/alloc_traits.h: Remove redundant preprocessor
1947         condition.
1949 2018-07-03  François Dumont  <fdumont@gcc.gnu.org>
1951         * include/bits/stl_algobase.h (__niter_wrap): New.
1952         (__copy_move_a2(_II, _II, _OI)): Use latter.
1953         (__copy_move_backward_a2(_BI1, _BI1, _BI2)): Likewise.
1954         (fill_n(_OI, _Size, const _Tp&)): Likewise.
1955         (equal(_II1, _II1, _II2)): Use __glibcxx_requires_can_increment.
1956         * include/debug/stl_iterator.h
1957         (std::__niter_base(const __gnu_cxx::_Safe_iterator<
1958         __gnu_cxx::__normal_iterator<>, _Sequence>&)): New declaration.
1959         * include/debug/vector (__niter_base(const __gnu_cxx::_Safe_iterator<
1960         __gnu_cxx::__normal_iterator<>, _Sequence>&)): New.
1962 2018-07-02  Jonathan Wakely  <jwakely@redhat.com>
1964         P0758R1 Implicit conversion traits
1965         * include/std/type_traits [__cplusplus > 201703]
1966         (__is_convertible_helper::__is_nothrow_type): Define new member.
1967         (__is_convertible_helper<_From, _To, false>::__test_aux1): Add
1968         noexcept.
1969         (__is_convertible_helper<_From, _To, false>::__test_nothrow)
1970         (__is_convertible_helper<_From, _To, false>::__is_nothrow_type): Add
1971         new members.
1972         (is_nothrow_convertible, is_nothrow_convertible_v): Define for C++2a.
1973         * testsuite/20_util/is_nothrow_convertible/value.cc: New.
1974         * testsuite/20_util/is_nothrow_convertible/requirements/
1975         explicit_instantiation.cc: New.
1976         * testsuite/20_util/is_nothrow_convertible/requirements/typedefs.cc:
1977         New.
1979         P0887R1 The identity metafunction
1980         * include/std/type_traits (type_identity, type_identity_t): Define
1981         for C++2a.
1982         * testsuite/20_util/type_identity/requirements/alias_decl.cc: New.
1983         * testsuite/20_util/type_identity/requirements/
1984         explicit_instantiation.cc:New.
1985         * testsuite/20_util/type_identity/requirements/typedefs.cc: New.
1987         * include/bits/regex.h (sub_match::operator string_type): Call str().
1988         (sub_match::compare): Use _M_str() instead of str().
1989         (sub_match::_M_compare): New public function.
1990         (sub_match::__string_view): New helper type.
1991         (sub_match::_M_str): New overloaded functions to avoid creating a
1992         string_type object when not needed.
1993         (operator==, operator!=, operator<, operator>, operator<=, operator>=):
1994         Use sub_match::_M_compare instead of creating string_type objects.
1995         Fix Doxygen comments.
1996         * include/bits/regex_compiler.h (__has_contiguous_iter): Remove.
1997         (__is_contiguous_normal_iter): Rename to __is_contiguous_iter and
1998         simplify.
1999         (__enable_if_contiguous_iter, __disable_if_contiguous_iter): Use
2000         __enable_if_t.
2001         * include/std/type_traits (__enable_if_t): Define for C++11.
2002         * testsuite/28_regex/sub_match/compare.cc: New.
2003         * testsuite/util/testsuite_iterators.h (remove_cv): Add transformation
2004         trait.
2005         (input_iterator_wrapper): Use remove_cv for value_type argument of
2006         std::iterator base class.
2008 2018-06-29  Jonathan Wakely  <jwakely@redhat.com>
2010         * testsuite/20_util/add_rvalue_reference/requirements/alias_decl.cc:
2011         Add whitespace to dejagnu directive.
2012         * testsuite/23_containers/array/element_access/at_neg.cc: Likewise.
2014 2018-06-27  François Dumont  <fdumont@gcc.gnu.org>
2016         * include/bits/stl_vector.h
2017         (struct _Vector_base<>::_Vector_impl_data): New.
2018         (struct _Vector_base<>::_Vector_impl): Inherit from latter.
2019         (_Vector_base<>::_Vector_impl::_M_swap_data): Move...
2020         (_Vector_base<>::_Vector_impl_data::_M_swap_data): ...here.
2021         (_Vector_base<>::_Vector_impl()): Add noexcept qualification.
2022         (_Vector_base<>::_Vector_impl(_Vector_impl&&)): New.
2023         (_Vector_base<>::_Vector_impl(_Tp_alloc_type&&, _Vector_impl&&)): New.
2024         (_Vector_base(const allocator_type&, _Vector_base&&)): New, use latter.
2025         (_Vector_base()): Default.
2026         (_Vector_base(_Vector_base&&)): Default.
2027         (_Vector_base(size_t)) [_GLIBCXX_INLINE_VERSION]: Delete.
2028         (_Vector_base(_Tp_alloc_type&&)) [_GLIBCXX_INLINE_VERSION]: Delete.
2029         (_Vector_base::_M_create_storage(size_t)): Make protected.
2030         (vector()): Default.
2031         (vector(vector&&)): Default.
2032         (vector(vector&&, const allocator_type&, true_type)): New.
2033         (vector(vector&&, const allocator_type&, false_type)): New.
2034         (vector(vector&&, const allocator_type&)): Use latters.
2035         (vector(_InputIte, _InputIte, const allocator_type&)): Call
2036         _M_range_initialize directly.
2037         * include/debug/vector
2038         (vector(vector&&, const allocator_type&)): Add noexcept qualification.
2039         * testsuite/23_containers/vector/allocator/default_init.cc: New.
2040         * testsuite/23_containers/vector/cons/noexcept_move_construct.cc: Add
2041         static assertions.
2043 2018-06-27  Jonathan Wakely  <jwakely@redhat.com>
2045         * include/bits/cpp_type_traits.h [__cplusplus >= 201703]
2046         (__is_byte<byte>): Define specialization for std::byte.
2048         PR libstdc++/86138
2049         * include/bits/basic_string.tcc: [_GLIBCXX_EXTERN_TEMPLATE < 0]
2050         Declare explicit instantiations of COW empty reps and I/O functions.
2052 2018-06-26  David Edelsohn  <dje.gcc@gmail.com>
2054         * testsuite/experimental/algorithm/sample-2.cc: Add TLS DejaGNU
2055         directives.
2056         * testsuite/experimental/algorithm/shuffle.cc: Likewise.
2058 2018-06-26  Jonathan Wakely  <jwakely@redhat.com>
2060         * include/bits/regex.tcc (regex_iterator::operator==): Add missing
2061         noexcept.
2063 2018-06-25  Jonathan Wakely  <jwakely@redhat.com>
2065         PR libstdc++/86112
2066         * python/libstdcxx/v6/printers.py (add_one_template_type_printer):
2067         Replace dict comprehension.
2069         PR libstdc++/81092
2070         * config/abi/post/powerpc64-linux-gnu/baseline_symbols.txt: Update.
2072         PR libstdc++/86292
2073         * include/bits/stl_vector.h (vector::_M_range_initialize<InputIter>):
2074         Add try-catch block.
2075         * testsuite/23_containers/vector/cons/86292.cc: New.
2077         * doc/xml/manual/status_cxx2017.xml: Document N4531 status.
2079         * include/experimental/algorithm (sample, shuffle): Add new overloads
2080         using per-thread random number engine.
2081         * testsuite/experimental/algorithm/sample.cc: Simpify and reduce
2082         dependencies by using __gnu_test::test_container.
2083         * testsuite/experimental/algorithm/sample-2.cc: New.
2084         * testsuite/experimental/algorithm/shuffle.cc: New.
2086 2018-06-22  Jonathan Wakely  <jwakely@redhat.com>
2088         * config/abi/pre/gnu.ver: Fix __cxx11::basic_string patterns for
2089         different size_t mangling on 32-bit targets.
2091         PR libstdc++/86280
2092         * include/experimental/memory_resource
2093         (__resource_adaptor_common::_AlignMgr::_M_token_size): Use type large
2094         enough for result of left shift.
2096         PR libstdc++/86138
2097         * include/bits/basic_string.tcc:
2098         [__cplusplus > 201402 && !_GLIBCXX_USE_CXX11_ABI]
2099         (basic_string<char>::_Rep::_S_empty_rep_storage)
2100         (basic_string<wchar_t>::_Rep::_S_empty_rep_storage): Add explicit
2101         instantiation declarations.
2102         [__cplusplus > 201402] (operator>>, operator<<, getline): Re-enable
2103         explicit instantiation declarations.
2104         * testsuite/21_strings/basic_string/cons/char/86138.cc: New.
2105         * testsuite/21_strings/basic_string/cons/wchar_t/86138.cc: New.
2107 2018-06-21  Jonathan Wakely  <jwakely@redhat.com>
2109         PR libstdc++/83328
2110         * acinclude.m4 (libtool_VERSION): Bump to 6:26:0.
2111         * config/abi/pre/gnu.ver: Add GLIBCXX_3.4.26 and export new symbol.
2112         * configure: Regenerate.
2113         * include/bits/basic_string.h [_GLIBCXX_USE_CXX11_ABI]
2114         (basic_string::insert(const_iterator, initializer_list<C>)): Add.
2115         [_GLIBCXX_USE_CXX11_ABI && !_GLIBCXX_DEFINING_STRING_INSTANTIATIONS]
2116         (basic_string::insert(iterator, initializer_list<C>)): Suppress
2117         definition.
2118         * include/debug/string (basic_string::insert(iterator, C)): Change
2119         first parameter to const_iterator.
2120         (basic_string::insert(iterator, size_type, C)): Likewise. Change
2121         return type to iterator.
2122         (basic_string::insert(iterator, InputIterator, InputIterator)):
2123         Likewise.
2124         (basic_string::insert(iterator, initializer_list<C>)): Change first
2125         parameter to const_iterator and return type to iterator.
2126         * src/c++11/string-inst.cc: Extend comment.
2127         * testsuite/21_strings/basic_string/modifiers/insert/char/83328.cc:
2128         New.
2129         * testsuite/21_strings/basic_string/modifiers/insert/wchar_t/83328.cc:
2130         New.
2131         * testsuite/util/testsuite_abi.cc: Add new symbol version.
2133         * config/abi/post/x86_64-linux-gnu/baseline_symbols.txt: Update.
2135         PR libstdc++/70940
2136         * include/experimental/memory_resource
2137         (__resource_adaptor_imp::do_deallocate): Add missing return.
2138         * testsuite/experimental/memory_resource/new_delete_resource.cc: New.
2139         * testsuite/experimental/memory_resource/resource_adaptor.cc: Test
2140         resource_adaptor with std::allocator, __gnu_cxx::new_allocator and
2141         __gnu_cxx::malloc_allocator.
2143         PR libstdc++/70940
2144         * include/experimental/memory_resource (__resource_adaptor_common):
2145         New base class.
2146         (__resource_adaptor_common::_AlignMgr): Helper for obtaining aligned
2147         pointer from unaligned, and vice versa.
2148         (__resource_adaptor_imp::do_allocate): Use _AlignMgr to adjust
2149         allocated pointer to meet alignment request.
2150         (__resource_adaptor_imp::do_deallocate): Use _AlignMgr to retrieve
2151         original pointer for deallocation.
2152         (__resource_adaptor_imp::do_is_equal): Reformat.
2153         (__resource_adaptor_imp::_S_aligned_size): Remove.
2154         (__resource_adaptor_imp::_S_supported): Remove.
2155         (new_delete_resource): Use __gnu_cxx::new_allocator.
2156         * testsuite/experimental/memory_resource/resource_adaptor.cc: Test
2157         extended alignments and use debug_allocator to check for matching
2158         allocate/deallocate pairs.
2160 2018-06-21  François Dumont  <fdumont@gcc.gnu.org>
2162         * include/debug/safe_iterator.h
2163         (_Safe_iterator<>(const _Safe_iterator<_MutableIterator,>& __x)):
2164         Compare __x base iterator with a value-initialized iterator of the
2165         same type.
2167 2018-06-20  Jonathan Wakely  <jwakely@redhat.com>
2169         PR libstdc++/70966
2170         * include/experimental/memory_resource (__resource_adaptor_imp): Add
2171         static assertions to enforce requirements on pointer types.
2172         (__resource_adaptor_imp::get_allocator()): Add noexcept.
2173         (new_delete_resource, null_memory_resource): Return address of an
2174         object with dynamic storage duration.
2175         (__null_memory_resource): Remove.
2176         * testsuite/experimental/memory_resource/70966.cc: New.
2178         * testsuite/20_util/duration/arithmetic/dr3050.cc: Add new test
2179         missed from recent commit.
2181 2018-06-19  Jonathan Wakely  <jwakely@redhat.com>
2183         * include/std/utility: Remove unused <exception> header.
2185 2018-06-18  Jonathan Wakely  <jwakely@redhat.com>
2187         LWG 2975 ensure construct(pair<T,U>*, ...) used to construct pairs
2188         * include/std/scoped_allocator (__not_pair): Define SFINAE helper.
2189         (construct(_Tp*, _Args&&...)): Remove from overload set when _Tp is
2190         a specialization of std::pair.
2191         * testsuite/20_util/scoped_allocator/construct_pair.cc: Ensure
2192         pair elements are constructed correctly.
2194         LWG 2989 hide path iostream operators from normal lookup
2195         * include/bits/fs_path.h (operator<<, operator>>): Define inline as
2196         friends.
2197         * testsuite/27_io/filesystem/path/io/dr2989.cc: New.
2199         LWG 3050 Fix cv-qualification of convertibility constraints
2200         * include/std/chrono (duration, operator*, operator/, operator%): Use
2201         const-qualified type as source type in is_convertible constraints.
2202         * testsuite/20_util/duration/arithmetic/dr3050.cc: New.
2203         * testsuite/20_util/duration/cons/dr3050.cc: New.
2204         * testsuite/20_util/duration/literals/range.cc: Rename to...
2205         * testsuite/20_util/duration/literals/range_neg.cc: Here. Adjust
2206         dg-error lineno.
2208 2018-06-18  Maya Rashish  <coypu@sdf.org>
2210         * crossconfig.m4: Handle OpenBSD just like NetBSD.
2211         * configure: Rebuilt.
2213 2018-06-18  Jonathan Wakely  <jwakely@redhat.com>
2215         P0754R2 <version> header
2216         * include/Makefile.am: Add new header.
2217         * include/Makefile.in: Regenerate.
2218         * include/bits/c++config: Change doxygen comment to suggest <version>
2219         instead of <iosfwd>.
2220         * include/precompiled/stdc++.h: Include <cwchar> and <cwctype>
2221         unconditionally.  Add C++17 and C++20 headers.
2222         * include/std/version: New header.
2223         * testsuite/17_intro/headers/c++2017/all_attributes.cc: New.
2224         * testsuite/17_intro/headers/c++2017/all_no_exceptions.cc: New.
2225         * testsuite/17_intro/headers/c++2017/all_no_rtti.cc: New.
2226         * testsuite/17_intro/headers/c++2017/all_pedantic_errors.cc: New.
2227         * testsuite/17_intro/headers/c++2017/operator_names.cc: New.
2228         * testsuite/17_intro/headers/c++2017/stdc++.cc: New.
2229         * testsuite/17_intro/headers/c++2017/stdc++_multiple_inclusion.cc:
2230         New.
2231         * testsuite/17_intro/headers/c++2020/all_attributes.cc: New.
2232         * testsuite/17_intro/headers/c++2020/all_no_exceptions.cc: New.
2233         * testsuite/17_intro/headers/c++2020/all_no_rtti.cc: New.
2234         * testsuite/17_intro/headers/c++2020/all_pedantic_errors.cc: New.
2235         * testsuite/17_intro/headers/c++2020/operator_names.cc: New.
2236         * testsuite/17_intro/headers/c++2020/stdc++.cc: New.
2237         * testsuite/17_intro/headers/c++2020/stdc++_multiple_inclusion.cc:
2238         New.
2239         * testsuite/18_support/headers/version/macros.cc: New.
2240         * testsuite/18_support/headers/version/macros.cc: New.
2242         * acinclude.m4 (GLIBCXX_CHECK_FILESYSTEM_DEPS): Only check when
2243         enable_libstdcxx_filesystem_ts = yes. Check for link, readlink and
2244         symlink.
2245         * config.h.in: Regenerate.
2246         * configure: Regenerate.
2247         * configure.ac: Remove AC_CHECK_FUNCS for link, readlink and symlink.
2249         LWG 3035. std::allocator's constructors should be constexpr
2250         * include/bits/allocator.h (allocator): Add constexpr to constructors
2251         for C++2a. Replace dynamic exception specifications with NOTHROW
2252         macro.
2253         (allocator, operator==, operator!=): Replace USE_NOEXCEPT macro with
2254         NOTHROW.
2255         * include/bits/c++config (_GLIBCXX20_CONSTEXPR): Define.
2256         * include/ext/malloc_allocator.h (malloc_allocator): Add constexpr
2257         to constructors for C++2a.
2258         * include/ext/new_allocator.h (new_allocator): Likewise.
2260 2018-06-16  Jonathan Wakely  <jwakely@redhat.com>
2262         LWG 3076 basic_string CTAD ambiguity
2263         * doc/xml/manual/intro.xml: Document LWG 3076 change.
2264         * include/bits/basic_string.h
2265         [__cpp_deduction_guides && !_GLIBCXX_DEFINING_STRING_INSTANTIATIONS]
2266         (basic_string(const _CharT*, const _Alloc&)): Turn into a function
2267         template constrained by _RequireAllocator.
2268         (basic_string(size_type, _CharT, const _Alloc&)): Likewise.
2269         * src/c++11/string-inst.cc (_GLIBCXX_DEFINING_STRING_INSTANTIATIONS):
2270         Define.
2271         * testsuite/21_strings/basic_string/cons/char/deduction.cc: Test
2272         deduction
2273         * testsuite/21_strings/basic_string/cons/wchar_t/deduction.cc:
2274         Likewise.
2276 2018-06-15  Jonathan Wakely  <jwakely@redhat.com>
2278         PR libstdc++/86169
2279         * include/bits/basic_string.h [!_GLIBCXX_USE_CXX11_ABI]
2280         (basic_string::data()): Unshare string.
2281         * testsuite/21_strings/basic_string/operations/data/char/86169.cc:
2282         New.
2284         * include/std/string_view (basic_string_view(const CharT*)): Remove
2285         check for null pointer and add nonnull attribute.
2286         (compare(const CharT*), compare(size_type, size_type, const CharT*))
2287         (find(const CharT*, size_type), rfind(const CharT*, size_type))
2288         (find_first_of(const CharT*, size_type))
2289         (find_last_of(const CharT*, size_type))
2290         (find_first_not_of(const CharT*, size_type))
2291         (find_last_not_of(const CharT*, size_type)): Add nonnull attribute.
2292         * testsuite/21_strings/basic_string_view/cons/char/nonnull.cc: New.
2293         * testsuite/21_strings/basic_string_view/operations/compare/char/
2294         nonnull.cc: New.
2295         * testsuite/21_strings/basic_string_view/operations/find/char/
2296         nonnull.cc: New.
2297         * testsuite/21_strings/basic_string_view/operations/rfind/char/
2298         nonnull.cc: New.
2300         PR libstdc++/86168
2301         * include/bits/random.h (random_device(const string&)): Remove
2302         default argument.
2304         * include/bits/char_traits.h (__cpp_lib_constexpr_char_traits): Only
2305         define for C++17 and above.
2307         LWG 2993 reference_wrapper<T> conversion from T&&
2308         * doc/xml/manual/intro.xml: Document LWG 2993 change.
2309         * include/bits/refwrap.h (reference_wrapper(_Tp&)): Remove.
2310         (reference_wrapper(_Tp&&)): Remove.
2311         (reference_wrapper<_Up>(_Up&&)): Define new constructor as constrained
2312         template.
2313         (reference_wrapper): Add deduction guide.
2314         * testsuite/20_util/reference_wrapper/deduction.cc: New.
2315         * testsuite/20_util/reference_wrapper/lwg2993.cc: New.
2317         LWG 3039 Unnecessary decay in thread and packaged_task
2318         * include/std/future (__constrain_pkgdtask): Replace with ...
2319         (packaged_task::__not_same): New alias template, using
2320         __remove_cvref_t instead of decay.
2321         * include/std/thread (thread::__not_same): Add comment.
2323 2018-06-14  Jonathan Wakely  <jwakely@redhat.com>
2325         LWG 3075 basic_string needs deduction guides from basic_string_view
2326         * testsuite/21_strings/basic_string/cons/char/deduction.cc: Test
2327         deduction from string views.
2328         * testsuite/21_strings/basic_string/cons/wchar_t/deduction.cc:
2329         Likewise.
2331         LWG 3074 make scalar types non-deduced in valarray non-member functions
2332         * include/bits/valarray_after.h (_DEFINE_EXPR_BINARY_FUNCTION): Change
2333         scalar parameters to be a non-deduced context.
2334         * include/std/valarray (_DEFINE_BINARY_OPERATOR): Likewise. Adjust
2335         whitespace.
2336         * testsuite/26_numerics/valarray/operators.cc: Test scalar operands.
2337         * testsuite/26_numerics/valarray/transcend.cc: New.
2339         * include/std/tuple (__cpp_lib_tuple_element_t, tuple_element_t):
2340         Move back to <utility>.
2341         * include/std/utility (__cpp_lib_tuple_element_t. tuple_element_t):
2342         Restore to here.
2344         P0935R0 Eradicating unnecessarily explicit default constructors
2345         * include/backward/strstream (strstreambuf): Add non-explicit default
2346         constructor.
2347         * include/bits/locale_conv.h (wbuffer_convert, wstring_convert):
2348         Likewise.
2349         * include/bits/regex.h (match_results): Likewise.
2350         * testsuite/22_locale/conversions/buffer/1.cc: Test for non-explicit
2351         default constructor.
2352         * testsuite/22_locale/conversions/string/1.cc: Likewise.
2353         * testsuite/28_regex/match_results/ctors/char/default.cc: Likewise.
2354         * testsuite/28_regex/match_results/ctors/wchar_t/default.cc: Likewise.
2356         * include/std/tuple (__cpp_lib_tuple_element_t): Move feature test
2357         macro from <utility> and change type to long.
2358         * include/std/utility (__cpp_lib_tuple_element_t): Remove.
2359         * testsuite/20_util/tuple/tuple_element_t.cc: Check for feature test
2360         macro.
2362         P0935R0 Eradicating unnecessarily explicit default constructors
2363         * include/bits/random.h (uniform_real_distribution::param_type)
2364         (normal_distribution::param_type, lognormal_distribution::param_type)
2365         (gamma_distribution::param_type, chi_squared_distribution::param_type)
2366         (cauchy_distribution::param_type, fisher_f_distribution::param_type)
2367         (student_t_distribution::param_type)
2368         (bernoulli_distribution::param_type)
2369         (binomial_distribution::param_type)
2370         (geometric_distribution::param_type)
2371         (negative_binomial_distribution::param_type)
2372         (poisson_distribution::param_type)
2373         (exponential_distribution::param_type)
2374         (weibull_distribution::param_type)
2375         (extreme_value_distribution::param_type): Add non-explicit default
2376         constructors. Remove default argument for first parameter of explicit
2377         constructors.
2378         * include/bits/uniform_int_dist.h
2379         (uniform_int_distribution::param_type): Likewise.
2380         * include/ext/random
2381         (beta_distribution::param_type, rice_distribution::param_type)
2382         (nakagami_distribution::param_type, pareto_distribution::param_type)
2383         (k_distribution::param_type, arcsine_distribution::param_type)
2384         (hoyt_distribution::param_type, triangular_distribution::param_type)
2385         (von_mises_distribution::param_type)
2386         (hypergeometric_distribution::param_type)
2387         (logistic_distribution::param_type)
2388         (uniform_inside_sphere_distribution::param_type): Likewise.
2389         (uniform_on_sphere_distribution::param_type): Make default constructor
2390         non-explicit.
2391         * testsuite/26_numerics/random/bernoulli_distribution/cons/default.cc:
2392         Test param_type for non-explicit default constructor.
2393         * testsuite/26_numerics/random/binomial_distribution/cons/default.cc:
2394         Likewise.
2395         * testsuite/26_numerics/random/cauchy_distribution/cons/default.cc:
2396         Likewise.
2397         * testsuite/26_numerics/random/chi_squared_distribution/cons/default.cc:
2398         Likewise.
2399         * testsuite/26_numerics/random/discrete_distribution/cons/default.cc:
2400         Likewise.
2401         * testsuite/26_numerics/random/exponential_distribution/cons/default.cc:
2402         Likewise.
2403         * testsuite/26_numerics/random/extreme_value_distribution/cons/default.cc:
2404         Likewise.
2405         * testsuite/26_numerics/random/fisher_f_distribution/cons/default.cc:
2406         Likewise.
2407         * testsuite/26_numerics/random/gamma_distribution/cons/default.cc:
2408         Likewise.
2409         * testsuite/26_numerics/random/geometric_distribution/cons/default.cc:
2410         Likewise.
2411         * testsuite/26_numerics/random/lognormal_distribution/cons/default.cc:
2412         Likewise.
2413         * testsuite/26_numerics/random/negative_binomial_distribution/cons/default.cc:
2414         Likewise.
2415         * testsuite/26_numerics/random/normal_distribution/cons/default.cc:
2416         Likewise.
2417         * testsuite/26_numerics/random/piecewise_constant_distribution/cons/default.cc:
2418         Likewise.
2419         * testsuite/26_numerics/random/piecewise_linear_distribution/cons/default.cc:
2420         Likewise.
2421         * testsuite/26_numerics/random/poisson_distribution/cons/default.cc:
2422         Likewise.
2423         * testsuite/26_numerics/random/student_t_distribution/cons/default.cc:
2424         Likewise.
2425         * testsuite/26_numerics/random/uniform_int_distribution/cons/default.cc:
2426         Likewise.
2427         * testsuite/26_numerics/random/uniform_real_distribution/cons/default.cc:
2428         Likewise.
2429         * testsuite/26_numerics/random/weibull_distribution/cons/default.cc:
2430         Likewise.
2431         * testsuite/ext/random/arcsine_distribution/cons/default.cc: Likewise.
2432         * testsuite/ext/random/beta_distribution/cons/default.cc: Likewise.
2433         * testsuite/ext/random/hoyt_distribution/cons/default.cc: Likewise.
2434         * testsuite/ext/random/hypergeometric_distribution/cons/default.cc:
2435         Likewise.
2436         * testsuite/ext/random/k_distribution/cons/default.cc: Likewise.
2437         * testsuite/ext/random/logistic_distribution/cons/default.cc: Likewise.
2438         * testsuite/ext/random/nakagami_distribution/cons/default.cc: Likewise.
2439         * testsuite/ext/random/normal_mv_distribution/cons/default.cc:
2440         Likewise.
2441         * testsuite/ext/random/pareto_distribution/cons/default.cc: Likewise.
2442         * testsuite/ext/random/rice_distribution/cons/default.cc: Likewise.
2443         * testsuite/ext/random/triangular_distribution/cons/default.cc:
2444         Likewise.
2445         * testsuite/ext/random/uniform_inside_sphere_distribution/cons/default.cc:
2446         Likewise.
2447         * testsuite/ext/random/uniform_on_sphere_distribution/cons/default.cc:
2448         Likewise.
2449         * testsuite/ext/random/von_mises_distribution/cons/default.cc:
2450         Likewise.
2452 2018-06-14  Daniel Trebbien <dtrebbien@gmail.com>
2453             Jonathan Wakely  <jwakely@redhat.com>
2455         PR libstdc++/83982
2456         * include/bits/vector.tcc (vector::_M_default_append(size_type)):
2457         Default-construct new elements before moving existing ones.
2458         * testsuite/23_containers/vector/capacity/resize/strong_guarantee.cc:
2459         New.
2461 2018-06-13  Jonathan Wakely  <jwakely@redhat.com>
2463         PR libstdc++/86127
2464         * include/bits/forward_list.h (_Fwd_list_base::_Tp_alloc_type): Remove
2465         unused typedef.
2466         (_Fwd_list_base::_M_create_node, _Fwd_list_base::_M_erase_after):
2467         Use node allocator to create and destroy elements.
2468         (forward_list::_Tp_alloc_type): Remove unused typedef.
2469         (forward_list::_Alloc_traits): Use allocator_traits instead of
2470         __gnu_cxx::__alloc_traits.
2472 2018-06-13  François Dumont  <fdumont@gcc.gnu.org>
2474         * include/debug/helper_functions.h
2475         (__gnu_debug::_Safe_iterator<>): Add declaration.
2476         (__can_advance(_Ite, _Size)): New.
2477         (__can_advance(const _Safe_iterator<>&, _Size)): Overload declaration.
2478         * include/debug/functions.h
2479         (__gnu_debug::_Safe_iterator<>): Remove declaration.
2480         * include/debug/stl_iterator.h
2481         (__can_advance(const _Safe_iterator<>&)): New definition.
2482         * include/debug/stl_iterator.h
2483         (__can_advance(const std::reverse_iterator<>&, _Size)): New.
2484         (__can_advance(const std::move_iterator<>&, _Size)): New.
2485         * include/debug/macros.h (__glibcxx_check_can_increment): New.
2486         * include/debug/debug.h (__glibcxx_requires_can_increment): New.
2487         * include/bits/stl_algobase.h (fill_n): Use latter.
2488         * testsuite/25_algorithms/fill_n/2.cc: New.
2489         * testsuite/25_algorithms/fill_n/debug/1_neg.cc: New.
2490         * testsuite/25_algorithms/fill_n/debug/2_neg.cc: New.
2491         * testsuite/25_algorithms/fill_n/debug/3_neg.cc: New.
2492         * testsuite/25_algorithms/fill_n/debug/4_neg.cc: New.
2494         * include/debug/debug.h (__glibcxx_requires_can_increment_range): New.
2495         (__glibcxx_requires_can_decrement_range): New.
2497 2018-06-12  François Dumont  <fdumont@gcc.gnu.org>
2499         * include/debug/macros.h (__glibcxx_check_can_increment_range): New.
2500         (__glibcxx_check_can_decrement_range): New.
2501         * include/bits/stl_algobase.h (std::copy(_II, _II, _OI)): Use
2502         __glibcxx_requires_can_increment_range.
2503         (std::move(_II, _II, _OI)): Likewise.
2504         (std::copy_backward(_BI, _BI, _BI2)): Use
2505         __glibcxx_requires_can_decrement_range.
2506         (std::move_backward(_BI, _BI, _BI2)): Likewise.
2507         * testsuite/25_algorithms/copy_backward/debug/1_neg.cc: New.
2508         * testsuite/25_algorithms/copy_backward/debug/2_neg.cc: New.
2509         * testsuite/25_algorithms/copy_backward/debug/3_neg.cc: New.
2510         * testsuite/25_algorithms/equal/debug/1_neg.cc: New.
2511         * testsuite/25_algorithms/equal/debug/2_neg.cc: New.
2512         * testsuite/25_algorithms/equal/debug/3_neg.cc: New.
2514 2018-06-12  Jonathan Wakely  <jwakely@redhat.com>
2516         P0935R0 Eradicating unnecessarily explicit default constructors
2517         * include/bits/random.h (linear_congruential_engine)
2518         (mersenne_twister_engine, subtract_with_carry_engine, random_device)
2519         (uniform_real_distribution, normal_distribution)
2520         (lognormal_distribution, gamma_distribution, chi_squared_distribution)
2521         (cauchy_distribution, fisher_f_distribution, student_t_distribution)
2522         (bernoulli_distribution, binomial_distribution,geometric_distribution)
2523         (negative_binomial_distribution, exponential_distribution)
2524         (weibull_distribution, extreme_value_distribution): Add non-explicit
2525         default constructors. Remove default argument for first parameter of
2526         explicit constructors.
2527         (piecewise_constant_distribution, piecewise_linear_distribution):
2528         Make default constructor non-explicit.
2529         * include/bits/uniform_int_dist.h (uniform_int_distribution): Add
2530         non-explicit default constructors. Remove default argument for first
2531         parameter of explicit constructor.
2532         * include/ext/random
2533         (simd_fast_mersenne_twister_engine, beta_distribution)
2534         (rice_distribution, nakagami_distribution, pareto_distribution)
2535         (k_distribution, arcsine_distribution, hoyt_distribution)
2536         (triangular_distribution, von_mises_distribution)
2537         (hypergeometric_distribution, logistic_distribution)
2538         (uniform_inside_sphere_distribution): Likewise.
2539         (uniform_on_sphere_distribution): Make default constructor
2540         non-explicit.
2541         * testsuite/26_numerics/random/bernoulli_distribution/cons/default.cc:
2542         Test for non-explicit default constructor. Fix references to standard.
2543         * testsuite/26_numerics/random/binomial_distribution/cons/default.cc:
2544         Likewise.
2545         * testsuite/26_numerics/random/cauchy_distribution/cons/default.cc:
2546         Likewise.
2547         * testsuite/26_numerics/random/chi_squared_distribution/cons/default.cc:
2548         Likewise.
2549         * testsuite/26_numerics/random/discrete_distribution/cons/default.cc:
2550         Likewise.
2551         * testsuite/26_numerics/random/exponential_distribution/cons/default.cc:
2552         Likewise.
2553         * testsuite/26_numerics/random/extreme_value_distribution/cons/default.cc:
2554         Likewise.
2555         * testsuite/26_numerics/random/fisher_f_distribution/cons/default.cc:
2556         Likewise.
2557         * testsuite/26_numerics/random/gamma_distribution/cons/default.cc:
2558         Likewise.
2559         * testsuite/26_numerics/random/geometric_distribution/cons/default.cc:
2560         Likewise.
2561         * testsuite/26_numerics/random/lognormal_distribution/cons/default.cc:
2562         Likewise.
2563         * testsuite/26_numerics/random/negative_binomial_distribution/cons/default.cc:
2564         Likewise.
2565         * testsuite/26_numerics/random/normal_distribution/cons/default.cc:
2566         Likewise.
2567         * testsuite/26_numerics/random/piecewise_constant_distribution/cons/default.cc:
2568         Likewise.
2569         * testsuite/26_numerics/random/piecewise_linear_distribution/cons/default.cc:
2570         Likewise.
2571         * testsuite/26_numerics/random/poisson_distribution/cons/default.cc:
2572         Likewise.
2573         * testsuite/26_numerics/random/student_t_distribution/cons/default.cc:
2574         Likewise.
2575         * testsuite/26_numerics/random/uniform_int_distribution/cons/default.cc:
2576         Likewise.
2577         * testsuite/26_numerics/random/uniform_real_distribution/cons/default.cc:
2578         Likewise.
2579         * testsuite/26_numerics/random/weibull_distribution/cons/default.cc:
2580         Likewise.
2581         * testsuite/ext/random/arcsine_distribution/cons/default.cc: Likewise.
2582         * testsuite/ext/random/beta_distribution/cons/default.cc: Likewise.
2583         * testsuite/ext/random/hoyt_distribution/cons/default.cc: Likewise.
2584         * testsuite/ext/random/hypergeometric_distribution/cons/default.cc:
2585         Likewise.
2586         * testsuite/ext/random/k_distribution/cons/default.cc: Likewise.
2587         * testsuite/ext/random/logistic_distribution/cons/default.cc: Likewise.
2588         * testsuite/ext/random/nakagami_distribution/cons/default.cc: Likewise.
2589         * testsuite/ext/random/normal_mv_distribution/cons/default.cc:
2590         Likewise.
2591         * testsuite/ext/random/pareto_distribution/cons/default.cc: Likewise.
2592         * testsuite/ext/random/rice_distribution/cons/default.cc: Likewise.
2593         * testsuite/ext/random/triangular_distribution/cons/default.cc:
2594         Likewise.
2595         * testsuite/ext/random/uniform_inside_sphere_distribution/cons/default.cc:
2596         Likewise.
2597         * testsuite/ext/random/uniform_on_sphere_distribution/cons/default.cc:
2598         Likewise.
2599         * testsuite/ext/random/von_mises_distribution/cons/default.cc:
2600         Likewise.
2601         * testsuite/util/testsuite_common_types.h
2602         (implicitly_default_constructible): New helper.
2604 2018-06-08  Jonathan Wakely  <jwakely@redhat.com>
2606         * include/bits/ios_base.h (ios::Init::Init(const Init&))
2607         (ios::Init::operator=): Define as defaulted.
2608         * include/bits/stl_bvector.h (_Bit_reference(const _Bit_reference&)):
2609         Likewise.
2610         * include/bits/stream_iterator.h (istream_iterator::operator=)
2611         (ostream_iterator::operator=): Likewise.
2612         * include/bits/streambuf_iterator.h (istreambuf_iterator::operator=)
2613         Likewise.
2614         * include/std/bitset (bitset::reference::reference(const reference&)):
2615         Likewise.
2616         * include/std/complex (complex<float>::complex(const complex&))
2617         (complex<double>::complex(const complex&))
2618         (complex<long double>::complex(const complex&)): Likewise.
2620 2018-06-07  Jonathan Wakely  <jwakely@redhat.com>
2622         * include/bits/regex.h (sub_match): Add noexcept to default
2623         constructor and length observer.
2624         (match_results): Add noexcept to default constructor and observers
2625         with no preconditions. Define destructor as defaulted.
2626         (operator==, operator!=, swap): Add noexcept.
2627         (regex_iterator): Add default member initializers and define default
2628         constructor and destructor as defaulted. Add noexcept to equality
2629         and dereference operators.
2631 2018-06-07  François Dumont  <fdumont@gcc.gnu.org>
2633         * src/c++11/debug.cc
2634         (_Safe_iterator_base::_M_detach()): Reset state only if needed.
2635         (_Safe_iterator_base::_M_detach_single()): Likewise.
2636         (_Safe_local_iterator_base::_M_detach()): Reset state only if needed.
2637         (_Safe_local_iterator_base::_M_detach_single()): Likewise.
2639 2018-06-06  Jonathan Wakely  <jwakely@redhat.com>
2641         * include/bits/shared_ptr_base.h (__shared_count): Remove redundant
2642         move of const value.
2644 2018-06-06  Jakub Jelinek  <jakub@redhat.com>
2646         PR c++/86068
2647         * include/bits/c++config: Check __cpp_transactional_memory >= 201500L
2648         rather than __cpp_transactional_memory >= 201505L.
2650 2018-06-06  Jonathan Wakely  <jwakely@redhat.com>
2652         PR libstdc++/86008
2653         * include/bits/quoted_string.h (_Quoted_string<basic_string_view, C>):
2654         Define new partial specialization.
2655         * include/std/iomanip (quoted(basic_string_view<C,T>, C, C)): Define
2656         new overload.
2657         (operator<<(basic_ostream<C,T>&, const _Quoted_string<S,C>&)): Use
2658         value not reference for iteration.
2659         * testsuite/27_io/manipulators/standard/char/quoted.cc: Adjust
2660         comment.
2661         * testsuite/27_io/manipulators/standard/char/quoted_sv.cc: New test.
2662         * testsuite/27_io/manipulators/standard/wchar_t/quoted.cc: Adjust
2663         comment.
2665 2018-06-05  Jonathan Wakely  <jwakely@redhat.com>
2667         * include/std/type_traits: Fix comment typos.
2669         * testsuite/27_io/filesystem/operations/read_symlink.cc: XFAIL for
2670         mingw* targets.
2671         * testsuite/27_io/filesystem/operations/symlink_status.cc: Likewise.
2672         * testsuite/experimental/filesystem/operations/read_symlink.cc:
2673         Likewise.
2675 2018-06-05  François Dumont  <fdumont@gcc.gnu.org>
2677         * include/bits/stl_tempbuf.h
2678         (_Temporary_buffer(_FwdIte, _FwdIte)): Delete, replaced by...
2679         (_Temporary_buffer(_FwdIte, size_type)): ...this, new.
2680         * include/ext/memory (temporary_buffer<>(_FwdIte, _FwdIte)): Adapt.
2681         * include/bits/stl_algo.h (__stable_partition): Adapt.
2682         (__inplace_merge): Adapt.
2683         (__stable_sort): Adapt.
2685 2018-06-04  Jonathan Wakely  <jwakely@redhat.com>
2687         PR libstdc++/85930
2688         * include/bits/shared_ptr_base.h [!__cpp_rtti]: Include <typeinfo>
2689         unconditionally. Remove redundant declaration.
2690         [!__cpp_rtti] (_Sp_make_shared_tag::_S_ti): Fix location of
2691         alignment-specifier.
2693         * include/bits/postypes.h (fpos): Define special members as defaulted.
2695         PR libstdc++/85930
2696         * include/bits/shared_ptr_base.h (_Sp_make_shared_tag::_S_ti): Align
2697         the static variable correctly.
2699 2018-05-24  Jonathan Wakely  <jwakely@redhat.com>
2701         PR libstdc++/78870 support std::filesystem on Windows
2702         * config.h.in: Regenerate.
2703         * configure: Regenerate.
2704         * configure.ac: Check for link, readlink and symlink.
2705         * include/bits/fs_path.h (path::operator/=(const path&)): Move
2706         definition out of class body.
2707         (path::is_absolute(), path::_M_append(path)): Likewise.
2708         (operator<<(basic_ostream, const path&)): Use std::quoted directly.
2709         (operator>>(basic_istream, path&)): Likewise.
2710         (u8path): Reorder definitions and fix Windows implementation.
2711         (path::is_absolute()): Define inline and fix for Windows.
2712         [!_GLIBCXX_FILESYSTEM_IS_WINDOWS] (path::operator/=(const path&)):
2713         Define POSIX version inline.
2714         (path::_M_append(path)): Define inline.
2715         * include/experimental/bits/fs_path.h (path::is_absolute()): Move
2716         definition out of class body.
2717         (operator<<(basic_ostream, const path&)): Fix type of delimiter and
2718         escape characters.
2719         (operator>>(basic_istream, path&)): Likewise.
2720         (path::is_absolute()): Define inline and fix for Windows.
2721         * src/filesystem/dir-common.h (__gnu_posix): New namespace.
2722         (__gnu_posix::char_type, __gnu_posix::DIR, __gnu_posix::dirent)
2723         (__gnu_posix::opendir, __gnu_posix::readdir, __gnu_posix::closedir):
2724         Define as adaptors for Windows functions/types or as
2725         using-declarations for POSIX functions/types.
2726         (_Dir_base, get_file_type): Qualify names to use declarations from
2727         __gnu_posix namespace.
2728         (_Dir_base::is_dor_or_dotdot): New helper functions.
2729         * src/filesystem/dir.cc (_Dir, recursive_directory_iterator): Qualify
2730         names to use declarations from __gnu_posix namespace.
2731         * src/filesystem/ops-common.h (__gnu_posix): New nested namespace.
2732         (__gnu_posix::open, __gnu_posix::close, __gnu_posix::stat_type)
2733         (__gnu_posix::stat, __gnu_posix::lstat, __gnu_posix::mode_t)
2734         (__gnu_posix::chmod, __gnu_posix::mkdir, __gnu_posix::getcwd)
2735         (__gnu_posix::chdir, __gnu_posix::utimbuf, __gnu_posix::utime)
2736         (__gnu_posix::rename, __gnu_posix::truncate, __gnu_posix::char_type):
2737         Define as adaptors for Windows functions/types or as
2738         using-declarations for POSIX functions/types.
2739         (stat_type, do_copy_file): Qualify names to use declarations from
2740         __gnu_posix namespace.
2741         (do_space): Declare new function.
2742         (make_file_type): Only use S_ISLNK if defined.
2743         * src/filesystem/ops.cc (char_ptr, filesystem::canonical): Use
2744         path::value_type not char.
2745         (filesystem::copy, create_dir, filesystem::create_directory): Qualify
2746         names to use declarations from __gnu_posix namespace.
2747         (filesystem::create_hard_link): Check HAVE_LINK autoconf macro and
2748         add implementation for Windows.
2749         (filesystem::create_symlink): Check HAVE_SYMLINK autoconf macro.
2750         (filesystem::current_path(error_code&)): Use __gnu_posix::getcwd.
2751         [!_PC_PATH_MAX]: Don't use pathconf.
2752         [PATH_MAX]: Use if defined.
2753         (filesystem::current_path(const path&, error_code&))
2754         (filesystem::equivalent, do_stat, filesystem::hard_link_count)
2755         (filesystem::last_write_time, filesystem::permissions): Use names
2756         from __gnu_posix.
2757         (filesystem::read_symlink): Check HAVE_READLINK autoconf macro.
2758         (filesystem::remove) [_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Add
2759         implementation for Windows.
2760         (filesystem::rename, filesystem::resize_file): Use names from
2761         __gnu_posix.
2762         (filesystem::space): Use do_space.
2763         [_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Get absolute path to directory.
2764         (filesystem::status, filesystem::symlink_status): Use names from
2765         __gnu_posix.
2766         (filesystem::temp_directory_path): Add implementation for Windows.
2767         * src/filesystem/path.cc (dot): Define constant.
2768         (path::replace_extension): Use dot.
2769         (path::_M_find_extension): Likewise. Use path::string_type not
2770         std::string.
2771         (path::_M_split_cmpts): Use dot.
2772         (filesystem_error::_M_get_what): Use u8string() not native().
2773         * src/filesystem/std-dir.cc (_Dir, recursive_directory_iterator):
2774         Qualify names to use declarations from __gnu_posix namespace.
2775         * src/filesystem/std-ops.cc (filesystem::absolute(const path&)): Use
2776         correct error_code.
2777         (filesystem::absolute(const path&, error_code&)): Add implementation
2778         for Windows.
2779         (char_ptr, filesystem::canonical): Use path::value_type not char.
2780         (do_copy_file): Use names from __gnu_posix.
2781         [_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Do not use fchmod, fchmodat or
2782         sendfile.
2783         (filesystem::copy, create_dir, filesystem::create_directory): Qualify
2784         names to use declarations from __gnu_posix namespace.
2785         (filesystem::create_hard_link): Check HAVE_LINK autoconf macro and
2786         add implementation for Windows.
2787         (filesystem::create_symlink): Check HAVE_SYMLINK autoconf macro.
2788         (filesystem::current_path(error_code&)): Use __gnu_posix::getcwd.
2789         [!_PC_PATH_MAX]: Don't use pathconf.
2790         [PATH_MAX]: Use if defined.
2791         (filesystem::current_path(const path&, error_code&))
2792         (filesystem::equivalent, do_stat, filesystem::hard_link_count)
2793         (filesystem::last_write_time, filesystem::permissions): Use names
2794         from __gnu_posix.
2795         (filesystem::read_symlink): Check HAVE_READLINK autoconf macro.
2796         (filesystem::remove) [_GLIBCXX_FILESYSTEM_IS_WINDOWS]: Add
2797         implementation for Windows.
2798         (filesystem::rename, filesystem::resize_file): Use names from
2799         __gnu_posix.
2800         (do_space): Define.
2801         (filesystem::space): Use do_space.
2802         (filesystem::status, filesystem::symlink_status): Use names from
2803         __gnu_posix.
2804         (filesystem::temp_directory_path): Add implementation for Windows.
2805         * src/filesystem/std-path.cc
2806         [_GLIBCXX_FILESYSTEM_IS_WINDOWS] (path::operator/=(const path&)):
2807         Define for Windows.
2808         (dot): Define constant.
2809         (path::replace_extension, is_dot): Use dot.
2810         (path::lexically_normal): Check _M_type instead of calling
2811         non-existent function.
2812         (path::_M_find_extension): Use dot. Use path::string_type not
2813         std::string.
2814         (path::_M_split_cmpts): Use dot.
2815         (filesystem_error::_M_get_what): Use u8string() not native().
2816         * testsuite/27_io/filesystem/iterators/directory_iterator.cc: Do not
2817         use symlinks.
2818         * testsuite/27_io/filesystem/iterators/recursive_directory_iterator.cc:
2819         Likewise.
2820         * testsuite/27_io/filesystem/operations/absolute.cc: Use
2821         __gnu_test::root_path() instead of "/" and add Windows-specific tests.
2822         * testsuite/27_io/filesystem/operations/canonical.cc: Use
2823         path::string() to get narrow string, not path::native().
2824         * testsuite/27_io/filesystem/operations/copy.cc: Construct fstreams
2825         with std::filesystem::path not std::basic_string.
2826         * testsuite/27_io/filesystem/operations/copy_file.cc: Likewise.
2827         * testsuite/27_io/filesystem/operations/exists.cc: Use
2828         __gnu_test::root_path() instead of "/".
2829         * testsuite/27_io/filesystem/operations/is_empty.cc: Construct
2830         fstreams with std::filesystem::path not std::basic_string.
2831         * testsuite/27_io/filesystem/operations/last_write_time.cc: Use
2832         path::string() to get narrow string.
2833         * testsuite/27_io/filesystem/operations/space.cc: Check results for
2834         errors, expect sensible values otherwise.
2835         * testsuite/27_io/filesystem/operations/temp_directory_path.cc: Add
2836         helpers for adjusting the environment on Windows.
2837         * testsuite/27_io/filesystem/path/append/path.cc: Test
2838         Windows-specific behaviour.
2839         * testsuite/27_io/filesystem/path/construct/format.cc: Fix creation
2840         of path::string_type objects.
2841         * testsuite/27_io/filesystem/path/construct/locale.cc: Compare native
2842         string to wide string on Windows.
2843         * testsuite/27_io/filesystem/path/decompose/root_directory.cc: Allow
2844         for backslash as root-directory.
2845         * testsuite/27_io/filesystem/path/decompose/stem.cc: Use
2846         path::string() to get narrow string.
2847         * testsuite/27_io/filesystem/path/itr/traversal.cc: Test Windows-style
2848         paths.
2849         * testsuite/27_io/filesystem/path/native/string.cc: Use string_type
2850         not std::string.
2851         * testsuite/27_io/filesystem/path/query/is_absolute.cc: Adjust for
2852         different definintion of absolute paths on Windows.
2853         * testsuite/experimental/filesystem/iterators/directory_iterator.cc:
2854         Do not use symlinks.
2855         * testsuite/experimental/filesystem/operations/absolute.cc: Test
2856         Windows behaviour.
2857         * testsuite/experimental/filesystem/operations/copy.cc: Construct
2858         fstreams with NTCTS not std::basic_string.
2859         * testsuite/experimental/filesystem/operations/copy_file.cc: Likewise.
2860         * testsuite/experimental/filesystem/operations/exists.cc: Use
2861         __gnu_test::root_path() instead of "/".
2862         * testsuite/experimental/filesystem/operations/is_empty.cc: Construct
2863         fstreams with NTCTS not std::basic_string.
2864         * testsuite/experimental/filesystem/operations/last_write_time.cc:
2865         Use path::string() to get narrow string.
2866         * testsuite/experimental/filesystem/operations/space.cc: Use
2867         __gnu_test::root_path() instead of "/".
2868         * testsuite/experimental/filesystem/operations/temp_directory_path.cc:
2869         Add helpers for adjusting the environment on Windows.
2870         * testsuite/experimental/filesystem/path/append/path.cc: Use
2871         path::string() to get narrow strings for comparisons.
2872         * testsuite/experimental/filesystem/path/concat/path.cc: Likewise.
2873         * testsuite/experimental/filesystem/path/decompose/root_directory.cc:
2874         Likewise.
2875         * testsuite/experimental/filesystem/path/decompose/stem.cc: Likewise.
2876         * testsuite/experimental/filesystem/path/native/string.cc: Use
2877         string_type not std::string.
2878         * testsuite/experimental/filesystem/path/query/is_absolute.cc:
2879         Adjust for different definintion of absolute paths on Windows.
2880         * testsuite/util/testsuite_fs.h (__gnu_test::root_path()): New
2881         function.
2882         (__gnu_test::scoped_file): Construct fstreams with NTCTS not
2883         std::basic_string.
2885 2018-05-31  Jonathan Wakely  <jwakely@redhat.com>
2887         PR libstdc++/85951
2888         * include/std/type_traits [_GLIBCXX_USE_C99_STDINT_TR1]: Do not define
2889         uint_least16_t and uint_least32_t.
2890         (__make_unsigned<wchar_t>): Define unconditionally.
2891         (__make_unsigned_selector<_Tp, true, false>): Remove intermediate
2892         typedefs.
2893         (__make_unsigned_selector_base): New type to provide helper templates.
2894         (__make_unsigned_selector<_Tp, false, true>): Reimplement using
2895         __make_unsigned_selector_base helpers.
2896         (__make_unsigned<char16_t>, __make_unsigned<char32_t>): Define.
2897         (__make_signed_selector<_Tp, true, false>): Remove intermediate
2898         typedefs.
2899         (__make_signed<wchar_t>, __make_signed<char16_t>)
2900         (__make_signed<char32_t>)): Define unconditionally.
2901         * testsuite/20_util/make_signed/requirements/typedefs-3.cc: Check
2902         wchar_t, char16_t and char32_t are transformed correctly.
2903         * testsuite/20_util/make_signed/requirements/typedefs_neg.cc: Adjust
2904         dg-error lineno.
2905         * testsuite/20_util/make_unsigned/requirements/typedefs-3.cc: Check
2906         wchar_t, char16_t and char32_t are transformed correctly.
2907         * testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc: Adjust
2908         dg-error lineno.
2910 2018-05-29  Jonathan Wakely  <jwakely@redhat.com>
2912         * include/std/variant (__erased_dtor): Qualify call to __get.
2914 2018-05-27  François Dumont  <fdumont@gcc.gnu.org>
2916         * include/bits/stl_tree.h (_Rb_tree_impl(_Node_allocator&&)): New.
2917         (_Rb_tree(const allocator_type&)): Use latter.
2918         * include/bits/stl_map.h (map(const allocator_type&)): Likewise.
2919         (map(initializer_list<value_type>, const allocator_type&)): Likewise.
2920         (map(_InputIterator, _InputIterator, const allocator_type&)): Likewise.
2921         * include/bits/stl_multimap.h
2922         (multimap(const allocator_type&)): Likewise.
2923         (multimap(initializer_list<value_type>, const allocator_type&)):
2924         Likewise.
2925         (multimap(_InputIterator, _InputIterator, const allocator_type&)):
2926         Likewise.
2927         * include/bits/stl_set.h (set(const allocator_type&)): Likewise.
2928         (set(initializer_list<value_type>, const allocator_type&)): Likewise.
2929         (set(_InputIterator, _InputIterator, const allocator_type&)): Likewise.
2930         * include/bits/stl_multiset.h
2931         (multiset(const allocator_type&)): Likewise.
2932         (multiset(initializer_list<value_type>, const allocator_type&)):
2933         Likewise.
2934         (multiset(_InputIterator, _InputIterator, const allocator_type&)):
2935         Likewise.
2937 2018-05-25  François Dumont  <fdumont@gcc.gnu.org>
2939         PR libstdc++/85768
2940         * src/c++11/debug.cc: Remove backtrace usage.
2942 2018-05-24  Maya Rashish  <coypu@sdf.org>
2944         PR target/85904
2945         * crossconfig.m4: Test for aligned_alloc on netbsd.
2946         * configure: Regenerate.
2948 2018-05-24  Jonathan Wakely  <jwakely@redhat.com>
2950         PR libstdc++/69769
2951         PR libstdc++/85886
2952         * include/bits/atomic_base.h (__atomic_base::value_type)
2953         (__atomic_base::difference_type): Add new typedefs.
2954         * include/std/atomic (atomic<bool>::value_type, atomic<T>::value_type)
2955         (atomic<T*>::value_type, atomic<T*>::difference_type): Likewise.
2956         (atomic<T*>::operator++, atomic<T*>::operator--)
2957         (atomic<T*>::operator+=, atomic<T*>::operator-=)
2958         (atomic<T*>::fetch_add, atomic<T*>::fetch_sub): Add static assertion
2959         to enforce C++17 requirement on pointer arithmetic.
2960         (__atomic_val_t, __atomic_diff_t): New alias templates.
2961         (atomic_init, atomic_store_explicit, atomic_exchange_explicit)
2962         (atomic_compare_exchange_weak_explicit)
2963         (atomic_compare_exchange_strong_explicit, atomic_store)
2964         (atomic_exchange, atomic_compare_exchange_weak)
2965         (atomic_compare_exchange_strong): Use __atomic_val_t to make
2966         scalar parameters be non-deduced contexts.
2967         (atomic_fetch_add_explicit, atomic_fetch_sub_explicit)
2968         (atomic_fetch_add, atomic_fetch_sub): Change first parameter to be
2969         atomic instead of __atomic_base, and use __atomic_diff_t for scalar
2970         parameters.
2971         (atomic_fetch_and_explicit, atomic_fetch_or_explicit)
2972         (atomic_fetch_xor_explicit, atomic_fetch_and, atomic_fetch_or)
2973         (atomic_fetch_xor): Use __atomic_val_t for scalar parameters.
2974         (atomic_fetch_add_explicit, atomic_fetch_sub_explicit)
2975         (atomic_fetch_add, atomic_fetch_sub): Remove overloads for atomic
2976         address types.
2977         * testsuite/29_atomics/atomic/60695.cc: Adjust dg-error lineno.
2978         * testsuite/29_atomics/atomic/69769.cc: New test.
2979         * testsuite/29_atomics/atomic/nonmembers.cc: New test.
2980         * testsuite/29_atomics/atomic/operators/pointer_partial_void.cc:
2981         Disable test for C++17 and later.
2982         * testsuite/29_atomics/atomic/requirements/typedefs.cc: New test.
2983         * testsuite/29_atomics/atomic_integral/nonmembers.cc: New test.
2984         * testsuite/29_atomics/atomic_integral/requirements/typedefs.cc: New
2985         test.
2987 2018-05-23  Jonathan Wakely  <jwakely@redhat.com>
2989         * include/bits/fs_path.h (path::__is_encoded_char): Change from class
2990         template to alias template.
2991         (path::__value_type_is_char): Use remove_const_t.
2992         (path:_S_string_from_iter): New helper function.
2993         (path::_S_convert(InputIter, __null_terminated))
2994         (path::_S_convert_loc(InputIter, __null_terminated, const locale&)):
2995         Use _S_string_from_iter.
2996         (path::string<_CharT, _Allocator>(const _Allocator&)): Allow sharing
2997         rep for COW strings.
2998         * include/experimental/bits/fs_path.h (path::__is_encoded_char):
2999         Change from class template to alias template.
3000         (path::__value_type_is_char): Use remove_const.
3001         (path:_S_string_from_iter): New helper function.
3002         (path::_S_convert(InputIter, __null_terminated))
3003         (path::_S_convert_loc(InputIter, __null_terminated, const locale&)):
3004         Use _S_string_from_iter.
3005         * testsuite/27_io/filesystem/path/append/source.cc: Test appending
3006         wide strings.
3007         * testsuite/27_io/filesystem/path/concat/strings.cc: Check for exact
3008         string equality, not path equivalence.
3009         * testsuite/27_io/filesystem/path/construct/format.cc: Check
3010         construction from std::string and std::wstring and input iterators.
3011         * testsuite/27_io/filesystem/path/construct/locale.cc: Check
3012         construction from iterators.
3013         * testsuite/experimental/filesystem/path/concat/strings.cc: Check for
3014         exact string equality, not path equivalence.
3015         * testsuite/experimental/filesystem/path/construct/locale.cc: Check
3016         construction from iterators.
3018         * include/bits/fs_path.h (path::_M_type): Change default member
3019         initializer to _Filename.
3020         (path::begin): Create past-the-end iterator for empty path.
3021         * src/filesystem/std-path.cc (path::remove_filename()): Remove
3022         debugging check.
3023         (path::has_relative_path()): Return false for empty filenames.
3024         (path::_M_split_cmpts): Set _M_type to _Filename for empty paths.
3025         Fix offset of empty final component.
3026         * testsuite/27_io/filesystem/path/itr/components.cc: New.
3027         * testsuite/27_io/filesystem/path/itr/traversal.cc: Add new inputs.
3029 2018-05-21  Jonathan Wakely  <jwakely@redhat.com>
3031         Add support for opening file streams from wide character strings.
3032         * config/io/basic_file_stdio.cc [_GLIBCXX_HAVE__WFOPEN]
3033         (__basic_file<char>::open(const wchar_t*, ios_base::openmode)):
3034         Define new overload.
3035         * config/io/basic_file_stdio.h [_GLIBCXX_HAVE__WFOPEN]
3036         (__basic_file<char>::open(const wchar_t*, ios_base::openmode)):
3037         Declare new overload.
3038         * configure.ac: Check for _wfopen.
3039         * crossconfig.m4: Likewise.
3040         * configure: Regenerate.
3041         * config.h.in: Regenerate.
3042         * include/bits/fstream.tcc [_GLIBCXX_HAVE__WFOPEN]
3043         (basic_filebuf<C,T>::open(const wchar_t*, ios_base::openmode)):
3044         Define new overload.
3045         * include/std/fstream [_GLIBCXX_HAVE__WFOPEN]
3046         (basic_filebuf<C,T>::open(const wchar_t*, ios_base::openmode)):
3047         Declare new overload.
3048         [_GLIBCXX_HAVE__WFOPEN]
3049         (basic_ifstream<C,T>::basic_ifstream(const wchar_t*, openmode))
3050         (basic_ifstream<C,T>::basic_open(const wchar_t*, openmode))
3051         (basic_ofstream<C,T>::basic_ifstream(const wchar_t*, openmode))
3052         (basic_ofstream<C,T>::basic_open(const wchar_t*, openmode))
3053         (basic_fstream<C,T>::basic_ifstream(const wchar_t*, openmode))
3054         (basic_fstream<C,T>::basic_open(const wchar_t*, openmode)): Define
3055         new overloads.
3056         * testsuite/27_io/basic_filebuf/open/wchar_t/1.cc: New.
3057         * testsuite/27_io/basic_ifstream/cons/wchar_t/1.cc: New.
3058         * testsuite/27_io/basic_ifstream/open/wchar_t/1.cc: New.
3059         * testsuite/27_io/basic_ofstream/cons/wchar_t/1.cc: New.
3060         * testsuite/27_io/basic_ofstream/open/wchar_t/1.cc: New.
3061         * testsuite/27_io/basic_fstream/cons/wchar_t/1.cc: New.
3062         * testsuite/27_io/basic_fstream/open/wchar_t/1.cc: New.
3064 2018-05-21  François Dumont  <fdumont@gcc.gnu.org>
3066         PR libstdc++/85845
3067         * include/bits/stl_tree.h
3068         (_Rb_tree_impl(_Rb_tree_impl&&, _Node_allocator&&)): Fix noexcept
3069         qualification.
3071 2018-05-21  Jonathan Wakely  <jwakely@redhat.com>
3073         * src/filesystem/std-ops.cc (absolute): Report an error for empty
3074         paths.
3075         (weakly_canonical(const path&)): Do not call canonical on empty path.
3076         (weakly_canonical(const path&, error_code&)): Likewise.
3077         * testsuite/27_io/filesystem/operations/absolute.cc: Check for errors.
3079         PR libstdc++/85818
3080         * testsuite/experimental/filesystem/path/preferred_separator.cc: Add
3081         dg-require-filesystem-ts.
3083         PR libstdc++/85843
3084         * src/c++11/cow-stdexcept.cc (logic_error, runtime_error): Explicitly
3085         initialize base class to avoid warnings.
3087 2018-05-19  Jonathan Wakely  <jwakely@redhat.com>
3089         * src/c++11/codecvt.cc (__codecvt_utf8_base<wchar_t>::do_in)
3090         [__SIZEOF_WCHAR_T__==2 && __BYTE_ORDER__!=__ORDER_BIG_ENDIAN__]: Set
3091         little_endian element in bitmask.
3092         * testsuite/22_locale/codecvt/codecvt_utf8/69703.cc: Run all tests.
3093         * testsuite/22_locale/codecvt/codecvt_utf8/wchar_t/1.cc: New.
3095 2018-05-18  François Dumont  <fdumont@gcc.gnu.org>
3097         * include/bits/stl_tree.h
3098         (_Rb_tree_impl(_Rb_tree_impl&&, _Node_allocator&&)): New.
3099         (_Rb_tree(_Rb_tree&&, _Node_allocator&&, true_type)): New, use latter.
3100         (_Rb_tree(_Rb_tree&&, _Node_allocator&&, false_type)): New.
3101         (_Rb_tree(_Rb_tree&&, _Node_allocator&&)): Adapt, use latters.
3102         * include/debug/map.h
3103         (map(map&&, const_allocator_type&)): Add noexcept qualitication.
3104         * include/debug/multimap.h
3105         (multimap(multimap&&, const_allocator_type&)): Likewise.
3106         * include/debug/set.h
3107         (set(set&&, const_allocator_type&)): Likewise.
3108         * include/debug/multiset.h
3109         (multiset(multiset&&, const_allocator_type&)): Likewise.
3110         * testsuite/23_containers/map/cons/noexcept_default_construct.cc:
3111         Add checks.
3112         * testsuite/23_containers/map/cons/noexcept_move_construct.cc:
3113         Add checks.
3114         * testsuite/23_containers/multimap/cons/noexcept_default_construct.cc:
3115         Add checks.
3116         * testsuite/23_containers/multimap/cons/noexcept_move_construct.cc:
3117         Add checks.
3118         * testsuite/23_containers/multiset/cons/noexcept_default_construct.cc:
3119         Add checks.
3120         * testsuite/23_containers/multiset/cons/noexcept_move_construct.cc:
3121         Add checks.
3122         * testsuite/23_containers/set/cons/noexcept_default_construct.cc:
3123         Add checks.
3124         * testsuite/23_containers/set/cons/noexcept_move_construct.cc:
3125         Add checks.
3127 2018-05-18  Jason Merrill  <jason@redhat.com>
3129         * include/bits/stl_deque.h (_Deque_iterator): Constrain constructor
3130         for conversion to const_iterator.  Add defaulted copy ops.
3131         * libsupc++/new (bad_alloc): Add defaulted copy ops.
3132         * libsupc++/exception.h (exception): Add defaulted copy ops.
3133         * include/std/system_error (system_error): Add defaulted copy ops.
3134         * include/std/stdexcept (domain_error, invalid_argument)
3135         (length_error, out_of_range, range_error, overflow_error)
3136         (underflow_error): Add defaulted copy ops.
3137         * include/bits/stl_iterator.h (reverse_iterator): Add defaulted
3138         copy assignment.
3139         * include/bits/allocator.h (allocator): Add defaulted copy assignment.
3140         * include/ext/throw_allocator.h (condition_base): Add defaulted
3141         default and copy ctor and copy assignment.
3143 2018-05-18  Jonathan Wakely  <jwakely@redhat.com>
3145         PR libstdc++/85098
3146         * include/bits/regex.h [__cplusplus < 201703L] (basic_regex::icase)
3147         (basic_regex::nosubs, basic_regex::optimize, basic_regex::collate)
3148         (basic_regex::ECMAScript, basic_regex::basic, basic_regex::extended)
3149         (basic_regex::awk, basic_regex::grep, basic_regex::egrep): Add
3150         definitions.
3151         * include/bits/regex_automaton.h (_NFA::_M_insert_state): Adjust
3152         whitespace.
3153         * include/bits/regex_compiler.tcc (__INSERT_REGEX_MATCHER): Add
3154         braces around body of do-while.
3155         * testsuite/28_regex/basic_regex/85098.cc: New
3157 2018-05-17  Jonathan Wakely  <jwakely@redhat.com>
3159         PR libstdc++/85818
3160         * src/filesystem/path.cc (path::preferred_separator): Add used
3161         attribute.
3162         * testsuite/experimental/filesystem/path/preferred_separator.cc: New.
3164         PR libstdc++/85812
3165         * libsupc++/cxxabi_init_exception.h (__cxa_free_exception): Declare.
3166         * libsupc++/exception_ptr.h (make_exception_ptr) [__cpp_exceptions]:
3167         Refactor to separate non-throwing and throwing implementations.
3168         [__cpp_rtti && !_GLIBCXX_HAVE_CDTOR_CALLABI]: Deallocate the memory
3169         if constructing the object throws.
3171 2018-05-15  Jonathan Wakely  <jwakely@redhat.com>
3173         PR libstdc++/85749
3174         * include/bits/random.h (__detail::__is_seed_seq): New SFINAE helper.
3175         (linear_congruential_engine, mersenne_twister_engine)
3176         (subtract_with_carry_engine, discard_block_engine)
3177         (independent_bits_engine, shuffle_order_engine): Use __is_seed_seq to
3178         constrain function templates taking seed sequences.
3179         * include/bits/random.tcc (linear_congruential_engine::seed(_Sseq&))
3180         (mersenne_twister_engine::seed(_Sseq&))
3181         (subtract_with_carry_engine::seed(_Sseq&)): Change return types to
3182         match declarations.
3183         * include/ext/random (simd_fast_mersenne_twister_engine): Use
3184         __is_seed_seq to constrain function templates taking seed sequences.
3185         * include/ext/random.tcc (simd_fast_mersenne_twister_engine::seed):
3186         Change return type to match declaration.
3187         * testsuite/26_numerics/random/discard_block_engine/cons/seed_seq2.cc:
3188         New.
3189         * testsuite/26_numerics/random/independent_bits_engine/cons/
3190         seed_seq2.cc: New.
3191         * testsuite/26_numerics/random/linear_congruential_engine/cons/
3192         seed_seq2.cc: New.
3193         * testsuite/26_numerics/random/mersenne_twister_engine/cons/
3194         seed_seq2.cc: New.
3195         * testsuite/26_numerics/random/pr60037-neg.cc: Adjust dg-error lineno.
3196         * testsuite/26_numerics/random/shuffle_order_engine/cons/seed_seq2.cc:
3197         New.
3198         * testsuite/26_numerics/random/subtract_with_carry_engine/cons/
3199         seed_seq2.cc: New.
3200         * testsuite/ext/random/simd_fast_mersenne_twister_engine/cons/
3201         seed_seq2.cc: New.
3203         PR libstdc++/83891
3204         * include/bits/fs_path.h (path::is_absolute()): Use same definition
3205         for all operating systems.
3206         * include/experimental/bits/fs_path.h (path::is_absolute()): Likewise.
3207         * testsuite/27_io/filesystem/path/query/is_absolute.cc: New.
3208         * testsuite/27_io/filesystem/path/query/is_relative.cc: Fix comment.
3209         * testsuite/experimental/filesystem/path/query/is_absolute.cc: New.
3211         * testsuite/27_io/filesystem/path/decompose/extension.cc: Remove
3212         unused <vector> header.
3213         * testsuite/27_io/filesystem/path/query/empty.cc: Likewise.
3214         * testsuite/27_io/filesystem/path/query/has_extension.cc: Likewise.
3215         * testsuite/27_io/filesystem/path/query/has_filename.cc: Likewise.
3216         * testsuite/27_io/filesystem/path/query/has_parent_path.cc: Likewise.
3217         * testsuite/27_io/filesystem/path/query/has_relative_path.cc:
3218         Likewise.
3219         * testsuite/27_io/filesystem/path/query/has_root_directory.cc:
3220         Likewise.
3221         * testsuite/27_io/filesystem/path/query/has_root_name.cc: Likewise.
3222         * testsuite/27_io/filesystem/path/query/has_root_path.cc: Likewise.
3223         * testsuite/27_io/filesystem/path/query/has_stem.cc: Likewise.
3224         * testsuite/27_io/filesystem/path/query/is_relative.cc: Likewise.
3225         * testsuite/experimental/filesystem/path/decompose/extension.cc:
3226         Likewise.
3227         * testsuite/experimental/filesystem/path/query/empty.cc: Likewise.
3228         * testsuite/experimental/filesystem/path/query/has_extension.cc:
3229         Likewise.
3230         * testsuite/experimental/filesystem/path/query/has_filename.cc:
3231         Likewise.
3232         * testsuite/experimental/filesystem/path/query/has_parent_path.cc:
3233         Likewise.
3234         * testsuite/experimental/filesystem/path/query/has_relative_path.cc:
3235         Likewise.
3236         * testsuite/experimental/filesystem/path/query/has_root_directory.cc:
3237         Likewise.
3238         * testsuite/experimental/filesystem/path/query/has_root_name.cc:
3239         Likewise.
3240         * testsuite/experimental/filesystem/path/query/has_root_path.cc:
3241         Likewise.
3242         * testsuite/experimental/filesystem/path/query/has_stem.cc: Likewise.
3243         * testsuite/experimental/filesystem/path/query/is_relative.cc:
3244         Likewise.
3246         PR libstdc++/84159
3247         * include/bits/fs_path.h (path::operator/=, path::append): Construct
3248         temporary path before calling _M_append.
3249         (path::_M_append): Change parameter to path and implement C++17
3250         semantics.
3251         * testsuite/27_io/filesystem/path/append/path.cc: Add helper function
3252         and more examples from the standard.
3253         * testsuite/27_io/filesystem/path/append/source.cc: New.
3254         * testsuite/27_io/filesystem/path/decompose/filename.cc: Add comment.
3255         * testsuite/27_io/filesystem/path/nonmember/append.cc: New.
3257         * include/std/variant (__gen_vtable_impl::__visit_invoke): Qualify
3258         __invoke to prevent ADL.
3260 2018-05-14  Jonathan Wakely  <jwakely@redhat.com>
3262         PR libstdc++/81256
3263         * include/bits/fstream.tcc (basic_filebuf::close): Do not swallow
3264         exceptions from _M_terminate_output().
3265         * include/std/fstream (basic_filebuf::~basic_filebuf): Swallow any
3266         exceptions from close().
3267         * testsuite/27_io/basic_filebuf/close/81256.cc: New.
3269         * include/bits/valarray_array.h (__valarray_get_memory): Remove.
3270         (__valarray_get_storage): Call operator new directly. Remove ignored
3271         top-level restrict qualifier and add malloc attribute instead.
3272         (_Array<_Tp>::_Array(size_t)): Remove unused constructor.
3274         PR libstdc++/67554
3275         * include/bits/valarray_array.h (_Array_copy_ctor<_Tp, true>)
3276         (_Array_copier<_Tp, true>): Do not pass null pointers to memcpy.
3278         PR libstdc++/82966
3279         * include/bits/node_handle.h (_Node_handle_common::_M_swap): Use value
3280         instead of type.
3281         * testsuite/23_containers/set/modifiers/node_swap.cc: New.
3283 2018-05-13  Ville Voutilainen  <ville.voutilainen@gmail.com>
3285         PR libstdc++/80165
3286         * testsuite/20_util/variant/80165.cc: New.
3288 2018-05-10  Jonathan Wakely  <jwakely@redhat.com>
3290         * doc/xml/faq.xml: Link to C++17 status. Add note to outdated answer.
3291         * doc/xml/manual/debug_mode.xml: Add array and forward_list to list
3292         of C++11 containers with Debug Mode support.
3293         * doc/xml/manual/using.xml: Document Dual ABI for ios_base::failure.
3294         * doc/html/*: Regenerate.
3296 2018-05-10  Jason Merrill  <jason@redhat.com>
3298         * include/bits/regex_compiler.h (_S_cache_size): Change from
3299         function to variable.
3301 2018-05-10  Edward Smith-Rowland  <3dw4rd@verizon.net>
3303         PR libstdc++/83140 - assoc_legendre returns negated value when m is odd
3304         * include/tr1/legendre_function.tcc (__assoc_legendre_p): Add __phase
3305         argument defaulted to +1.  Doxy comments on same.
3306         * testsuite/special_functions/02_assoc_legendre/
3307         check_value.cc: Regen.
3308         * testsuite/tr1/5_numerical_facilities/special_functions/
3309         02_assoc_legendre/check_value.cc: Regen.
3311 2018-05-10  Jonathan Wakely  <jwakely@redhat.com>
3313         PR libstdc++/85729
3314         * include/bits/c++config.h (__replacement_assert): Add linkage
3315         specification.
3316         * include/bits/std_abs.h: Add comment to closing brace of block.
3317         * include/c_global/cstddef: Add linkage specification.
3318         * include/c_global/cstring: Likewise.
3319         * include/c_global/cwchar: Likewise.
3321 2018-05-09  François Dumont  <fdumont@gcc.gnu.org>
3323         * include/debug/safe_iterator.h (_Safe_iterator<>::_M_constant()):
3324         Rename in...
3325         (_Safe_iterator<>::_S_constant()): ...that.
3326         * include/debug/safe_local_iterator.h
3327         (_Safe_local_iterator<>::_M_constant()): Rename in...
3328         (_Safe_local_iterator<>::_S_constant()): ...that.
3329         * include/debug/formatter.h: Remove bits/cpp_type_traits.h include.
3330         (_Iterator_state::__rbegin): New.
3331         (_Iterator_state::__rmiddle): New.
3332         (_Iterator_state::__rend): New.
3333         (_Parameter::_Parameter(const _Safe_iterator<>&, const char*,
3334         _Is_iterator)): Use _Safe_iterator<>::_S_constant. Grab normal underlying
3335         iterator type.
3336         (_Parameter::_Parameter(const _Safe_local_iterator<>&, const char*,
3337         _Is_iterator)): Likewise.
3338         (_Parameter::_S_reverse_state(_Iterator_state)): New.
3339         (_Parameter(__gnu_cxx::__normal_iterator<> const&, const char*,
3340         _Is_iterator)): New.
3341         (_Parameter(std::reverse_iterator<> const&, const char*,
3342         _Is_iterator)): New.
3343         (_Parameter(std::reverse_iterator<_Safe_iterator<>> const&,
3344         const char*, _Is_iterator)): New.
3345         (_Parameter(std::move_iterator<> const&, const char*, _Is_iterator):
3346         New.
3347         (_Parameter(std::move_iterator<_Safe_iterator<>> const&, const char*,
3348         _Is_iterator)): New.
3349         * testsuite/24_iterators/move_iterator/debug_neg.cc: New.
3350         * testsuite/24_iterators/normal_iterator/debug_neg.cc: New.
3351         * testsuite/24_iterators/reverse_iterator/debug_neg.cc: New.
3353 2018-05-09  Jonathan Wakely  <jwakely@redhat.com>
3355         * include/bits/std_function.h (_Base_manager::_M_get_pointer):
3356         Use constexpr if in C++17 mode.
3357         (_Base_manager::_M_clone(_Any_data&, const _Any_data&, true_type)):
3358         Copy from const object.
3359         * testsuite/20_util/function/cons/non_copyconstructible.cc: New.
3361 2018-05-08  François Dumont  <fdumont@gcc.gnu.org>
3363         * src/c++11/debug.cc [_GLIBCXX_HAVE_EXECINFO_H]: Include execinfo.h.
3364         [_GLIBCXX_HAVE_EXECINFO_H](_Error_formatter::_M_error): Render
3365         backtrace.
3367         * include/debug/macros.h (__glibcxx_check_valid_range_at): New.
3368         * include/debug/functions.h (__check_valid_range): Use latter.
3369         * include/debug/macros.h (__glibcxx_check_valid_constructor_range): New,
3370         use latter.
3371         * include/debug/deque
3372         (deque::deque<_Iter>(_Iter, _Iter, const _Alloc&)): Use latter.
3373         * include/debug/forward_list
3374         (forward_list::forward_list<_Iter>(_Iter, _Iter, const _Alloc&)):
3375         Likewise.
3376         * include/debug/list
3377         (list::list<_Iter>(_Iter, _Iter, const _Alloc&)): Likewise.
3378         * include/debug/list
3379         (list::list<_Iter>(_Iter, _Iter, const _Alloc&)): Likewise.
3380         * include/debug/map.h
3381         (map::map<_Iter>(_Iter, _Iter, const _Alloc&)): Likewise.
3382         (map::map<_Iter>(_Iter, _Iter, const _Compare&, const _Alloc&)):
3383         Likewise.
3384         * include/debug/multimap.h
3385         (multimap::multimap<_Iter>(_Iter, _Iter, const _Alloc&)): Likewise.
3386         (multimap::multimap<_Iter>(_Iter, _Iter, const _Compare&,
3387         const _Alloc&)): Likewise.
3388         * include/debug/set.h
3389         (set::set<_Iter>(_Iter, _Iter, const _Alloc&)): Likewise.
3390         (set::set<_Iter>(_Iter, _Iter, const _Compare&, const _Alloc&)):
3391         Likewise.
3392         * include/debug/multiset.h
3393         (multiset::multiset<_Iter>(_Iter, _Iter, const _Alloc&)): Likewise.
3394         (multiset::multiset<_Iter>(_Iter, _Iter, const _Compare&,
3395         const _Alloc&)): Likewise.
3396         * include/debug/string
3397         (basic_string::basic_string<_Iter>(_Iter, _Iter, const _Alloc&)):
3398         Likewise.
3399         * include/debug/unordered_map
3400         (unordered_map::unordered_map<_Iter>(_Iter, _Iter, const _Alloc&)):
3401         Likewise.
3402         (unordered_multimap::unordered_multimap<_Iter>(_Iter, _Iter,
3403         const _Alloc&)): Likewise.
3404         * include/debug/unordered_set
3405         (unordered_set::unordered_set<_Iter>(_Iter, _Iter, const _Alloc&)):
3406         Likewise.
3407         (unordered_multiset::unordered_multiset<_Iter>(_Iter, _Iter,
3408         const _Alloc&)): Likewise.
3409         * include/debug/vector
3410         (vector::vector<_Iter>(_Iter, _Iter, const _Alloc&)): Use latter.
3412         * include/debug/formatter.h (_Error_formatter::_M_function): New.
3413         (_Error_formatter(const char*, unsigned int)): Adapt.
3414         (_Error_formatter::_M_at): Rename in...
3415         (_Error_formatter::_S_at): ...that and adapt.
3416         * include/debug/macros.h (_GLIBCXX_DEBUG_VERIFY_AT_F): New.
3417         (_GLIBCXX_DEBUG_VERIFY_AT, _GLIBCXX_DEBUG_VERIFY): Adapt.
3418         * src/c++11/debug.cc (_Error_formatter::_M_error): Render _M_function
3419         when available.
3421 2018-05-08  Jonathan Wakely  <jwakely@redhat.com>
3423         * include/bits/regex_automaton.h (_NFA_base::_M_paren_stack, _NFA):
3424         Use normal std::vector even in Debug Mode.
3426         PR libstdc++/85672
3427         * include/Makefile.am [!ENABLE_FLOAT128]: Change c++config.h entry
3428         to #undef _GLIBCXX_USE_FLOAT128 instead of defining it to zero.
3429         * include/Makefile.in: Regenerate.
3430         * include/bits/c++config (_GLIBCXX_USE_FLOAT128): Move definition
3431         within conditional block.
3433 2018-05-07  Jonathan Wakely  <jwakely@redhat.com>
3435         * doc/xml/manual/using.xml (table.cmd_options): Document that the
3436         C++17 Filesystem implementation also needs -lstdc++fs.
3438         PR libstdc++/85671
3439         * include/bits/fs_path.h (operator/): Permit copy elision.
3440         * include/experimental/bits/fs_path.h (operator/): Likewise.
3442 2018-05-07  Edward Smith-Rowland  <3dw4rd@verizon.net>
3444         Moar PR libstdc++/80506
3445         * include/bits/random.tcc (gamma_distribution::__generate_impl()):
3446         Fix magic number used in loop condition.
3448 2018-05-04  Jonathan Wakely  <jwakely@redhat.com>
3450         PR libstdc++/85642 fix is_nothrow_default_constructible<optional<T>>
3451         * include/std/optional (_Optional_payload): Add noexcept to default
3452         constructor. Re-indent.
3453         (_Optional_payload<_Tp, true, true, true>): Likewise. Add noexcept to
3454         constructor for copying disengaged payloads.
3455         (_Optional_payload<_Tp, true, false, true>): Likewise.
3456         (_Optional_payload<_Tp, true, true, false>): Likewise.
3457         (_Optional_payload<_Tp, true, false, false>): Likewise.
3458         * testsuite/20_util/optional/cons/85642.cc: New.
3459         * testsuite/20_util/optional/cons/value_neg.cc: Adjust dg-error lines.
3461 2018-05-03  Jonathan Wakely  <jwakely@redhat.com>
3463         PR libstdc++/82644
3464         * include/tr1/cmath [__STRICT_ANSI__] (hypergf, hypergl, hyperg): Use
3465         inline definitions instead of using-declarations.
3466         [__STRICT_ANSI__] (conf_hypergf, conf_hypergl, conf_hyperg): Likewise.
3467         * testsuite/tr1/5_numerical_facilities/special_functions/
3468         07_conf_hyperg/compile_cxx17.cc: New.
3469         * testsuite/tr1/5_numerical_facilities/special_functions/
3470         17_hyperg/compile_cxx17.cc: New.
3472         PR libstdc++/84769
3473         * include/std/variant (visit): Qualify std::get call.
3475         PR libstdc++/85632 use uintmax_t for arithmetic
3476         * src/filesystem/ops.cc (experimental::filesystem::space): Perform
3477         arithmetic in result type.
3478         * src/filesystem/std-ops.cc (filesystem::space): Likewise.
3479         * testsuite/27_io/filesystem/operations/space.cc: Check total capacity
3480         is greater than free space.
3481         * testsuite/experimental/filesystem/operations/space.cc: New.
3483         * testsuite/20_util/remove_cvref/requirements/alias_decl.cc: New.
3484         * testsuite/20_util/remove_cvref/requirements/explicit_instantiation.cc:
3485         New.
3486         * testsuite/20_util/remove_cvref/value.cc: New.
3487         * testsuite/20_util/remove_cvref/value_ext.cc: New.
3489         PR libstdc++/84087 LWG DR 2268 basic_string default arguments
3490         * include/bits/basic_string.h [_GLIBCXX_USE_CXX11_ABI=1]
3491         (append(const basic_string&, size_type, size_type)
3492         (assign(const basic_string&, size_type, size_type)
3493         (insert(size_type, const basic_string&, size_type, size_type)
3494         (replace(size_type,size_type,const basic_string&,size_type,size_type)
3495         (compare(size_type,size_type,constbasic_string&,size_type,size_type)):
3496         Add default arguments (LWG 2268).
3497         [_GLIBCXX_USE_CXX11_ABI=0]
3498         (append(const basic_string&, size_type, size_type)
3499         (assign(const basic_string&, size_type, size_type)
3500         (insert(size_type, const basic_string&, size_type, size_type)
3501         (replace(size_type,size_type,const basic_string&,size_type,size_type)
3502         (compare(size_type,size_type,constbasic_string&,size_type,size_type)):
3503         Likewise.
3504         * testsuite/21_strings/basic_string/dr2268.cc: New test.
3506         PR libstdc++/84535
3507         * include/std/thread (thread::__not_same): New SFINAE helper.
3508         (thread::thread(_Callable&&, _Args&&...)): Add SFINAE constraint that
3509         first argument is not a std::thread. Add static assertion to check
3510         INVOKE expression is valid.
3511         (thread::thread(thread&), thread::thread(const thread&&)): Remove.
3512         (thread::_Invoke::_M_invoke, thread::_Invoke::operator()): Use
3513         __invoke_result for return types and remove exception specifications.
3514         * testsuite/30_threads/thread/cons/84535.cc: New.
3516         * include/std/future (__async_result_of): Use __invoke_result instead
3517         of result_of.
3519         * include/std/any (any_cast): Use __remove_cvref_t.
3520         * include/std/tuple (__make_tuple): Likewise.
3521         * include/std/type_traits (__remove_cvref_t): Define.
3522         (__result_of_memobj, __result_of_memfun): Use __remove_cvref_t.
3523         [__cplusplus > 201703L] (remove_cvref, remove_cvref_t): Define.
3524         * include/std/variant (__erased_hash): Use __remove_cvref_t.
3526 2018-05-02  François Dumont  <fdumont@gcc.gnu.org>
3528         * include/bits/deque.tcc (deque<>::_M_assign_aux): Cast to void to
3529         ensure overloaded comma not used.
3530         * include/bits/list.tcc (list<>::_M_assign_dispatch): Likewise.
3531         * include/bits/vector.tcc (vector<>::_M_assign_aux): Likewise.
3532         * include/bits/stl_bvector.h (vector<bool>::_M_assign_aux): Likewise.
3533         * testsuite/23_containers/deque/modifiers/assign/1.cc: New.
3534         * testsuite/23_containers/list/modifiers/assign/1.cc: New.
3535         * testsuite/23_containers/vector/bool/modifiers/assign/1.cc: New.
3536         * testsuite/23_containers/vector/modifiers/assign/1.cc: New.
3538 2018-05-02  Jonathan Wakely  <jwakely@redhat.com>
3540         PR libstdc++/68197
3541         * include/bits/ios_base.h (ios_base::iword, ios_base::pword): Cast
3542         indices to unsigned.
3543         * src/c++11/ios.cc (ios_base::_M_grow_words): Treat negative indices
3544         as failure. Refactor error handling.
3545         * testsuite/27_io/ios_base/storage/68197.cc: New.
3547         PR libstdc++/57997
3548         PR libstdc++/83860
3549         * include/bits/gslice_array.h (gslice_array): Define default
3550         constructor as deleted, as per C++11 standard.
3551         * include/bits/mask_array.h (mask_array): Likewise.
3552         * include/bits/slice_array.h (slice_array): Likewise.
3553         * include/bits/valarray_after.h (_GBase, _GClos, _IBase, _IClos): Move
3554         to namespace __detail.
3555         (_GBase::_M_expr, _IBase::_M_expr): Use _ValArrayRef for type of data
3556         members.
3557         * include/bits/valarray_before.h (_ValArrayRef): New helper for type
3558         of data members in closure objects.
3559         (_FunBase, _ValFunClos, _RefFunClos, _UnBase, _UnClos, _BinBase)
3560         (_BinBase2, _BinBase1, _BinClos, _SBase, _SClos): Move to namespace
3561         __detail.
3562         (_FunBase::_M_expr, _UnBase::_M_expr, _BinBase::_M_expr1)
3563         (_BinBase::_M_expr2, _BinBase2::_M_expr1, _BinBase1::_M_expr2)
3564         (_SBase::_M_expr): Use _ValArrayRef for type of data members.
3565         * include/std/valarray (_UnClos, _BinClos, _SClos, _GClos, _IClos)
3566         (_ValFunClos, _RefFunClos): Move to namespace __detail and add
3567         using-declarations to namespace std.
3568         * testsuite/26_numerics/valarray/83860.cc: New.
3570         * testsuite/backward/strstream_move.cc: Remove duplicate function
3571         call.
3573         PR libstdc++/69608
3574         * include/backward/strstream (strstreambuf): Define move constructor
3575         and move assignment operator.
3576         (istrstream, ostrstream, strstream): Likewise.
3577         * testsuite/backward/strstream_move.cc: New.
3579 2018-05-01  Tulio Magno Quites Machado Filho  <tuliom@linux.vnet.ibm.com>
3581         PR libstdc++/84654
3582         * acinclude.m4: Set ENABLE_FLOAT128 instead of _GLIBCXX_USE_FLOAT128.
3583         * config.h.in: Remove references to _GLIBCXX_USE_FLOAT128.
3584         * configure: Regenerate.
3585         * include/Makefile.am: Replace the value of _GLIBCXX_USE_FLOAT128
3586         based on ENABLE_FLOAT128.
3587         * include/Makefile.in: Regenerate.
3588         * include/bits/c++config: Define _GLIBCXX_USE_FLOAT128.
3589         [!defined(__FLOAT128__) && !defined(__SIZEOF_FLOAT128__)]: Undefine
3590         _GLIBCXX_USE_FLOAT128.
3592 2018-04-24  H.J. Lu  <hongjiu.lu@intel.com>
3594         * configure: Regenerated.
3596 2018-04-19  Jakub Jelinek  <jakub@redhat.com>
3598         * configure: Regenerated.
3600 2018-04-18  Jonathan Wakely  <jwakely@redhat.com>
3601             Jakub Jelinek  <jakub@redhat.com>
3603         PR libstdc++/85442
3604         * src/c++11/Makefile.am: Don't generate debuginfo again for
3605         cxx11-ios_failure-lt.s and cxx11-ios_failure.s files.
3606         * src/c++11/Makefile.in: Regenerate.
3608 2018-04-18  Jonathan Wakely  <jwakely@redhat.com>
3610         PR libstdc++/84442
3611         * testsuite/30_threads/thread/cons/terminate.cc
3612         [!_GLIBCXX_USE_C99_STDLIB] : Use _exit or std::exit instead of _Exit.
3614 2018-04-18  David Malcolm  <dmalcolm@redhat.com>
3616         PR jit/85384
3617         * configure: Regenerate.
3619 2018-04-16  Jonathan Wakely  <jwakely@redhat.com>
3621         * testsuite/experimental/filesystem/file_status/1.cc: Add
3622         -DUSE_FILESYSTEM_TS to dg-options.
3623         * testsuite/experimental/filesystem/iterators/directory_iterator.cc:
3624         Likewise.
3625         * testsuite/experimental/filesystem/iterators/pop.cc: Likewise.
3626         * testsuite/experimental/filesystem/iterators/
3627         recursive_directory_iterator.cc: Likewise.
3628         * testsuite/experimental/filesystem/operations/absolute.cc: Likewise.
3629         * testsuite/experimental/filesystem/operations/canonical.cc: Likewise.
3630         * testsuite/experimental/filesystem/operations/copy.cc: Likewise.
3631         * testsuite/experimental/filesystem/operations/copy_file.cc: Likewise.
3632         * testsuite/experimental/filesystem/operations/create_directories.cc:
3633         Likewise.
3634         * testsuite/experimental/filesystem/operations/create_directory.cc:
3635         Likewise.
3636         * testsuite/experimental/filesystem/operations/create_symlink.cc:
3637         Likewise.
3638         * testsuite/experimental/filesystem/operations/current_path.cc:
3639         Likewise.
3640         * testsuite/experimental/filesystem/operations/equivalent.cc: Likewise.
3641         * testsuite/experimental/filesystem/operations/exists.cc: Likewise.
3642         * testsuite/experimental/filesystem/operations/file_size.cc: Likewise.
3643         * testsuite/experimental/filesystem/operations/is_empty.cc: Likewise.
3644         * testsuite/experimental/filesystem/operations/last_write_time.cc:
3645         Likewise.
3646         * testsuite/experimental/filesystem/operations/permissions.cc:
3647         Likewise.
3648         * testsuite/experimental/filesystem/operations/read_symlink.cc:
3649         Likewise.
3650         * testsuite/experimental/filesystem/operations/remove.cc: Likewise.
3651         * testsuite/experimental/filesystem/operations/remove_all.cc: Likewise.
3652         * testsuite/experimental/filesystem/operations/status.cc: Likewise.
3653         * testsuite/experimental/filesystem/operations/temp_directory_path.cc:
3654         Likewise.
3655         * testsuite/experimental/filesystem/path/append/path.cc: Likewise.
3656         * testsuite/experimental/filesystem/path/assign/assign.cc: Likewise.
3657         * testsuite/experimental/filesystem/path/assign/copy.cc: Likewise.
3658         * testsuite/experimental/filesystem/path/compare/compare.cc: Likewise.
3659         * testsuite/experimental/filesystem/path/compare/path.cc: Likewise.
3660         * testsuite/experimental/filesystem/path/compare/strings.cc: Likewise.
3661         * testsuite/experimental/filesystem/path/concat/path.cc: Likewise.
3662         * testsuite/experimental/filesystem/path/concat/strings.cc: Likewise.
3663         * testsuite/experimental/filesystem/path/construct/copy.cc: Likewise.
3664         * testsuite/experimental/filesystem/path/construct/default.cc:
3665         Likewise.
3666         * testsuite/experimental/filesystem/path/construct/locale.cc: Likewise.
3667         * testsuite/experimental/filesystem/path/construct/range.cc: Likewise.
3668         * testsuite/experimental/filesystem/path/construct/string_view.cc:
3669         Likewise.
3670         * testsuite/experimental/filesystem/path/decompose/extension.cc:
3671         Likewise.
3672         * testsuite/experimental/filesystem/path/decompose/filename.cc:
3673         Likewise.
3674         * testsuite/experimental/filesystem/path/decompose/parent_path.cc:
3675         Likewise.
3676         * testsuite/experimental/filesystem/path/decompose/relative_path.cc:
3677         Likewise.
3678         * testsuite/experimental/filesystem/path/decompose/root_directory.cc:
3679         Likewise.
3680         * testsuite/experimental/filesystem/path/decompose/root_name.cc:
3681         Likewise.
3682         * testsuite/experimental/filesystem/path/decompose/root_path.cc:
3683         Likewise.
3684         * testsuite/experimental/filesystem/path/decompose/stem.cc: Likewise.
3685         * testsuite/experimental/filesystem/path/generic/generic_string.cc:
3686         Likewise.
3687         * testsuite/experimental/filesystem/path/itr/traversal.cc: Likewise.
3688         * testsuite/experimental/filesystem/path/modifiers/clear.cc: Likewise.
3689         * testsuite/experimental/filesystem/path/modifiers/make_preferred.cc:
3690         Likewise.
3691         * testsuite/experimental/filesystem/path/modifiers/remove_filename.cc:
3692         Likewise.
3693         * testsuite/experimental/filesystem/path/modifiers/replace_extension.cc:
3694         Likewise.
3695         * testsuite/experimental/filesystem/path/modifiers/replace_filename.cc:
3696         Likewise.
3697         * testsuite/experimental/filesystem/path/modifiers/swap.cc: Likewise.
3698         * testsuite/experimental/filesystem/path/native/string.cc: Likewise.
3699         * testsuite/experimental/filesystem/path/nonmember/hash_value.cc:
3700         Likewise.
3701         * testsuite/experimental/filesystem/path/query/empty.cc: Likewise.
3702         * testsuite/experimental/filesystem/path/query/has_extension.cc:
3703         Likewise.
3704         * testsuite/experimental/filesystem/path/query/has_filename.cc:
3705         Likewise.
3706         * testsuite/experimental/filesystem/path/query/has_parent_path.cc:
3707         Likewise.
3708         * testsuite/experimental/filesystem/path/query/has_relative_path.cc:
3709         Likewise.
3710         * testsuite/experimental/filesystem/path/query/has_root_directory.cc:
3711         Likewise.
3712         * testsuite/experimental/filesystem/path/query/has_root_name.cc:
3713         Likewise.
3714         * testsuite/experimental/filesystem/path/query/has_root_path.cc:
3715         Likewise.
3716         * testsuite/experimental/filesystem/path/query/has_stem.cc: Likewise.
3717         * testsuite/experimental/filesystem/path/query/is_relative.cc:
3718         Likewise.
3720 2018-04-13  Jonathan Wakely  <jwakely@redhat.com>
3722         * src/c++11/Makefile.am: Fix sed command.
3723         * src/c++11/Makefile.in: Regenerate.
3725         * src/c++11/Makefile.am: Rewrite sed rule to be less fragile and to
3726         handle mangled names starting with double underscores on darwin.
3727         * src/c++11/Makefile.in: Regenerate.
3729 2018-04-12  Jonathan Wakely  <jwakely@redhat.com>
3731         * src/c++11/Makefile.am: Fix comment.
3732         * src/c++11/Makefile.in: Regenerate.
3733         * src/c++11/cxx11-ios_failure.cc: Fix comment.
3734         * src/c++98/ios_failure.cc: Likewise.
3736         * src/c++11/ios.cc: Remove redundant macro definition.
3738 2018-04-11  Jonathan Wakely  <jwakely@redhat.com>
3740         * doc/xml/manual/abi.xml: Document header locations in recent
3741         releases.
3742         * doc/xml/manual/evolution.xml: Add API changes since GCC 5.
3743         * doc/xml/manual/spine.xml: Update copyright years.
3744         * doc/xml/manual/strings.xml: Adjust tolower example to avoid
3745         undefined behaviour.
3746         * doc/xml/manual/test.xml: Update outdated notes on VERIFY in tests.
3747         * doc/html/*: Regenerate.
3749 2018-04-10  Jonathan Wakely  <jwakely@redhat.com>
3751         * doc/xml/faq.xml: Update links to archived copy of SGI STL docs.
3752         * doc/xml/manual/backwards_compatibility.xml: Likewise.
3753         * doc/xml/manual/containers.xml: Likewise.
3754         * doc/xml/manual/debug_mode.xml: Likewise.
3755         * doc/xml/manual/extensions.xml: Likewise.
3756         * doc/xml/manual/policy_data_structures_biblio.xml: Likewise.
3757         * doc/xml/manual/using.xml: Likewise.
3758         * doc/xml/manual/utilities.xml: Likewise.
3760         PR libstdc++/85222
3761         * src/c++11/Makefile.am [ENABLE_DUAL_ABI]: Add special rules for
3762         cxx11-ios_failure.cc to rewrite type info for __ios_failure.
3763         * src/c++11/Makefile.in: Regenerate.
3764         * src/c++11/cxx11-ios_failure.cc (__ios_failure, __iosfail_type_info):
3765         New types.
3766         [_GLIBCXX_USE_DUAL_ABI] (__throw_ios_failure): Define here.
3767         * src/c++11/ios.cc (__throw_ios_failure): Remove definition.
3768         * src/c++98/ios_failure.cc (__construct_ios_failure)
3769         (__destroy_ios_failure, is_ios_failure_handler): New functions.
3770         [!_GLIBCXX_USE_DUAL_ABI] (__throw_ios_failure): Define here.
3771         * testsuite/27_io/ios_base/failure/dual_abi.cc: New.
3772         * testsuite/27_io/basic_ios/copyfmt/char/1.cc: Revert changes to
3773         handler types, to always catch std::ios_base::failure.
3774         * testsuite/27_io/basic_ios/exceptions/char/1.cc: Likewise.
3775         * testsuite/27_io/basic_istream/extractors_arithmetic/char/
3776         exceptions_failbit.cc: Likewise.
3777         * testsuite/27_io/basic_istream/extractors_arithmetic/wchar_t/
3778         exceptions_failbit.cc: Likewise.
3779         * testsuite/27_io/basic_istream/extractors_other/char/
3780         exceptions_null.cc: Likewise.
3781         * testsuite/27_io/basic_istream/extractors_other/wchar_t/
3782         exceptions_null.cc: Likewise.
3783         * testsuite/27_io/basic_istream/sentry/char/12297.cc: Likewise.
3784         * testsuite/27_io/basic_istream/sentry/wchar_t/12297.cc: Likewise.
3785         * testsuite/27_io/basic_ostream/inserters_other/char/
3786         exceptions_null.cc: Likewise.
3787         * testsuite/27_io/basic_ostream/inserters_other/wchar_t/
3788         exceptions_null.cc: Likewise.
3789         * testsuite/27_io/ios_base/storage/2.cc: Likewise.
3791 2018-04-05  Jonathan Wakely  <jwakely@redhat.com>
3793         * include/std/variant (_VARIANT_RELATION_FUNCTION_TEMPLATE): Qualify
3794         __get calls to avoid ADL and avoid ambiguity due to Clang bug.
3796 2018-04-03  Jonathan Wakely  <jwakely@redhat.com>
3798         PR libstdc++/85183
3799         * include/std/variant (_Move_assign_base::operator=): Fix incorrect
3800         value categories.
3801         * testsuite/20_util/variant/85183.cc: New.
3803 2018-03-26  Jonathan Wakely  <jwakely@redhat.com>
3805         * include/std/variant (__get): Qualify calls to avoid ADL.
3806         (__select_index): Adjust whitespace.
3807         (variant): Add using-declaration to workaround Clang bug.
3809 2018-03-22  Jonathan Wakely  <jwakely@redhat.com>
3811         PR libstdc++/85040
3812         * include/bits/stl_function.h (greater::__not_overloaded)
3813         (less::__not_overloaded, greater_equal::__not_overloaded)
3814         (less_equal::__not_overloaded): Fix ambiguous specializations.
3815         * testsuite/20_util/function_objects/comparisons_pointer.cc: Add
3816         tests for type with overloaded operators.
3818 2018-03-22  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
3820         PR libstdc++/77691
3821         * testsuite/experimental/memory_resource/resource_adaptor.cc:
3822         xfail execution on 32-bit Solaris/x86.
3824 2018-03-21  Jonathan Wakely  <jwakely@redhat.com>
3826         * testsuite/20_util/function_objects/comparisons_pointer.cc: Use
3827         VERIFY instead of assert.
3828         * testsuite/20_util/hash/84998.cc: New test.
3829         * testsuite/23_containers/vector/cons/destructible_debug_neg.cc: New
3830         copy of test adjusted for Debug Mode.
3831         * testsuite/23_containers/vector/cons/destructible_neg.cc: Do not run
3832         test in Debug Mode.
3834 2018-03-20  François Dumont  <fdumont@gcc.gnu.org>
3836         PR libstdc++/84998
3837         * include/bits/stl_bvector.h: Fix std::hash friend declaration.
3838         * include/std/bitset: Likewise.
3839         * include/bits/stl_map.h (std::map<>): Fix _Rb_tree_merge_helper friend
3840         declaration.
3841         * include/bits/stl_multimap.h (std::multimap<>): Likewise.
3842         * include/bits/stl_multiset.h (std::multiset<>): Likewise.
3843         * include/bits/stl_set.h (std::set<>): Likewise.
3844         * include/bits/unordered_map.h (std::unordered_map<>): Fix
3845         _Hash_merge_helper friend declaration.
3846         (std::unordered_multimap<>): Likewise.
3847         * include/bits/unordered_set.h (std::unordered_set<>): Likewise.
3848         (std::unordered_multiset<>): Likewise.
3850 2018-03-19  Gerald Pfeifer  <gerald@pfeifer.com>
3852         * doc/xml/api.xml: www.fsf.org has moved to https. Also omit
3853         trailing slash for domain level link.
3854         * doc/xml/faq.xml: Ditto.
3855         * doc/xml/manual/appendix_free.xml (software): Ditto.
3856         * doc/xml/manual/intro.xml: Ditto.
3857         * doc/xml/manual/spine.xml: Ditto.
3858         * doc/xml/spine.xml: Ditto.
3860 2018-03-19  Gerald Pfeifer  <gerald@pfeifer.com>
3862         * doc/xml/manual/documentation_hacking.xml: Adjust link to
3863         docbook.org.
3865 2018-03-17  Jonathan Wakely  <jwakely@redhat.com>
3867         * testsuite/20_util/function_objects/comparisons_pointer.cc: Adjust
3868         to compile as C++98.
3870 2018-03-14  Jonathan Wakely  <jwakely@redhat.com>
3872         PR libstdc++/78420
3873         * include/bits/stl_function.h (greater<_Tp*>, less<_Tp*>)
3874         (greater_equal<_Tp*>, less_equal<_Tp>*): Add partial specializations
3875         to ensure total order for pointers.
3876         (greater<void>, less<void>, greater_equal<void>, less_equal<void>):
3877         Add operator() overloads for pointer arguments and make generic
3878         overloads dispatch to new _S_cmp functions when comparisons would
3879         use built-in operators for pointers.
3880         * testsuite/20_util/function_objects/comparisons_pointer.cc: New.
3882 2018-03-12  Jonathan Wakely  <jwakely@redhat.com>
3884         PR libstdc++/84773
3885         PR libstdc++/83662
3886         * crossconfig.m4: Check for aligned_alloc etc. on freebsd and mingw32.
3887         * configure: Regenerate.
3888         * include/c_global/cstdlib [_GLIBCXX_HAVE_ALIGNED_ALLOC]
3889         (aligned_alloc): Add using-declaration.
3890         * testsuite/18_support/aligned_alloc/aligned_alloc.cc: New test.
3892 2018-03-09  François Dumont  <fdumont@gcc.gnu.org>
3894         * python/libstdcxx/v6/printers.py (build_libstdcxx_dictionary):
3895         Fix std::_Fwd_list_iterator and std::_Fwd_list_const_iterator printers
3896         registration.
3898 2018-03-09  Jonathan Wakely  <jwakely@redhat.com>
3900         PR libstdc++/84769
3901         * include/std/variant (get<_Tp, _Types...>, get_if<_Tp, _Types...>):
3902         Qualify calls to get<_Np, Types...> and get_if<_Np, _Types...>.
3904         src/filesystem/ops.cc (create_dir): Pass error_code to is_directory.
3905         src/filesystem/std-ops.cc (create_dir): Likewise.
3907 2018-03-08  François Dumont  <fdumont@gcc.gnu.org>
3909         * python/libstdcxx/v6/printers.py (NodeIteratorPrinter): New.
3910         (StdListIteratorPrinter): Inherit from latter.
3911         (StdFwdListIteratorPrinter): New, inherit from latter.
3912         (StdDebugIteratorPrinter.to_string): Use non-debug iterator printer
3913         when iterator has no associated container.
3914         (build_libstdcxx_dictionary): Add __gnu_cxx::_Fwd_list_iterator and
3915         __gnu_cxx::_Fwd_list_const_iterator printers. Remove __norm namespace
3916         registrations.
3917         * testsuite/libstdc++-prettyprinters/debug.cc: Adapt.
3918         * testsuite/libstdc++-prettyprinters/debug_cxx11.cc: Adapt.
3920 2018-03-06  Ville Voutilainen  <ville.voutilainen@gmail.com>
3922         PR libstdc++/84601
3923         * include/std/optional (_Optional_payload): Split into multiple
3924         specializations that can handle different cases of trivial or
3925         non-trivial assignment operators.
3926         * testsuite/20_util/optional/84601.cc: New.
3927         * testsuite/20_util/optional/cons/value_neg.cc: Adjust.
3929 2018-03-02  Jonathan Wakely  <jwakely@redhat.com>
3931         PR libstdc++/84671
3932         * include/bits/parse_numbers.h (_Number_help): Add partial
3933         specialization to handle digit separators. Adjust partial
3934         specialization for recursion temrination to require _Pow == 1ULL.
3935         * testsuite/20_util/duration/literals/84671.cc: New
3937 2018-02-27  Ville Voutilainen  <ville.voutilainen@gmail.com>
3939         Implement the missing bits of LWG 2769
3940         * include/std/any (any_cast(const any&)): Add static_assert.
3941         (any_cast(any&)): Likewise.
3942         (any_cast(any&&)): Likewise, and remove the handling
3943         for copyable-but-not-movable type.
3944         * testsuite/20_util/any/misc/any_cast.cc: Adjust.
3945         * testsuite/20_util/any/misc/any_cast_neg.cc: Likewise, and
3946         add new tests.
3948 2018-02-23  Jonathan Wakely  <jwakely@redhat.com>
3950         PR libstdc++/84532
3951         * include/std/thread (thread::__make_invoker): Construct tuple
3952         directly instead of using make_tuple.
3953         * testsuite/30_threads/async/84532.cc: New.
3954         * testsuite/30_threads/thread/84532.cc: New.
3956 2018-02-20  François Dumont  <fdumont@gcc.gnu.org>
3958         * include/ext/aligned_buffer.h [_GLIBCXX_INLINE_VERSION]
3959         (template<> __aligned_buffer): Define as __aligned_membuf alias.
3961 2018-02-19  Igor Tsimbalist  <igor.v.tsimbalist@intel.com>
3963         PR target/84148
3964         * configure: Regenerate.
3966 2018-02-15  Jonathan Wakely  <jwakely@redhat.com>
3968         PR libstdc++/81797
3969         * configure.ac (INCLUDE_DIR_NOTPARALLEL): Define.
3970         * configure: Regenerate.
3971         * include/Makefile.am (INCLUDE_DIR_NOTPARALLEL): Add .NOTPARALLEL when
3972         defined.
3973         * include/Makefile.in: Regenerate.
3975 2018-01-29  Jonathan Wakely  <jwakely@redhat.com>
3977         PR libstdc++/83833
3978         * testsuite/26_numerics/random/chi_squared_distribution/83833.cc:
3979         Add -ffloat-store to options for m68k and ia32.
3981         * doc/xml/faq.xml: Update copyright years.
3982         * doc/html/*: Regenerate.
3984         PR libstdc++/83658
3985         * include/std/any (any::__do_emplace): Only set _M_manager after
3986         constructing the contained object.
3987         * testsuite/20_util/any/misc/any_cast_neg.cc: Adjust dg-error line.
3988         * testsuite/20_util/any/modifiers/83658.cc: New test.
3990 2018-01-25  Jonathan Wakely  <jwakely@redhat.com>
3992         PR libstdc++/81076
3993         * include/c_global/cstddef (__byte_operand): Define primary template.
3994         * testsuite/18_support/byte/81076.cc: New test.
3996 2018-01-19  Christophe Lyon  <christophe.lyon@linaro.org>
3998         * testsuite/ext/special_functions/airy_ai/check_nan.cc: Fix
3999         dg-options and dg-add-options order.
4000         * testsuite/ext/special_functions/airy_bi/check_nan.cc: Likewise.
4001         * testsuite/ext/special_functions/conf_hyperg/check_nan.cc:
4002         Likewise.
4003         * testsuite/ext/special_functions/hyperg/check_nan.cc: Likewise.
4004         * testsuite/special_functions/01_assoc_laguerre/check_nan.cc:
4005         Likewise.
4006         * testsuite/special_functions/02_assoc_legendre/check_nan.cc:
4007         Likewise.
4008         * testsuite/special_functions/03_beta/check_nan.cc: Likewise.
4009         * testsuite/special_functions/04_comp_ellint_1/check_nan.cc:
4010         Likewise.
4011         * testsuite/special_functions/05_comp_ellint_2/check_nan.cc:
4012         Likewise.
4013         * testsuite/special_functions/06_comp_ellint_3/check_nan.cc:
4014         Likewise.
4015         * testsuite/special_functions/06_comp_ellint_3/pr66689.cc:
4016         Likewise.
4017         * testsuite/special_functions/07_cyl_bessel_i/check_nan.cc:
4018         Likewise.
4019         * testsuite/special_functions/08_cyl_bessel_j/check_nan.cc:
4020         Likewise.
4021         * testsuite/special_functions/09_cyl_bessel_k/check_nan.cc:
4022         Likewise.
4023         * testsuite/special_functions/10_cyl_neumann/check_nan.cc:
4024         Likewise.
4025         * testsuite/special_functions/11_ellint_1/check_nan.cc: Likewise.
4026         * testsuite/special_functions/12_ellint_2/check_nan.cc: Likewise.
4027         * testsuite/special_functions/13_ellint_3/check_nan.cc: Likewise.
4028         * testsuite/special_functions/13_ellint_3/pr66689.cc: Likewise.
4029         * testsuite/special_functions/14_expint/check_nan.cc: Likewise.
4030         * testsuite/special_functions/15_hermite/check_nan.cc: Likewise.
4031         * testsuite/special_functions/16_laguerre/check_nan.cc: Likewise.
4032         * testsuite/special_functions/17_legendre/check_nan.cc: Likewise.
4033         * testsuite/special_functions/18_riemann_zeta/check_nan.cc:
4034         Likewise.
4035         * testsuite/special_functions/19_sph_bessel/check_nan.cc:
4036         Likewise.
4037         * testsuite/special_functions/20_sph_legendre/check_nan.cc:
4038         Likewise.
4039         * testsuite/special_functions/21_sph_neumann/check_nan.cc:
4040         Likewise.
4042 2018-01-18  Uros Bizjak  <ubizjak@gmail.com>
4044         * configure.ac (AC_CHECK_HEADERS): Add linux/types.h.  Conditionally
4045         include linux/types.h when checking linux/random.h header.
4046         * config.h.in: Regenerate.
4047         * configure: Ditto.
4048         * src/c++11/random.cc: Conditionally include linux/types.h.
4050 2018-01-16  Eric Botcazou  <ebotcazou@adacore.com>
4052         * testsuite/17_intro/names.cc: Undefine 'y' on SPARC/Linux.
4054 2018-01-16  Jonathan Wakely  <jwakely@redhat.com>
4056         PR libstdc++/83834
4057         * config/abi/pre/gnu.ver (GLIBCXX_3.4): Replace std::c[a-g]* wildcard
4058         pattern with exact match for std::cerr.
4060 2018-01-15  Jonathan Wakely  <jwakely@redhat.com>
4062         PR libstdc++/83833
4063         * include/bits/random.h (chi_squared_distribution::param): Update
4064         gamma distribution parameter.
4065         * testsuite/26_numerics/random/chi_squared_distribution/83833.cc: New
4066         test.
4068         PR libstdc++/83830
4069         * include/std/type_traits (has_unique_object_representations_v): Add
4070         variable template.
4071         * testsuite/20_util/has_unique_object_representations/value.cc: Check
4072         variable template.
4074 2018-01-15  Ville Voutilainen  <ville.voutilainen@gmail.com>
4076         Make optional conditionally
4077         trivially_{copy,move}_{constructible,assignable}
4078         * include/std/optional (_Optional_payload): Fix the comment in
4079         the class head and turn into a primary and one specialization.
4080         (_Optional_payload::_M_engaged): Strike the NSDMI.
4081         (_Optional_payload<_Tp, false>::operator=(const _Optional_payload&)):
4082         New.
4083         (_Optional_payload<_Tp, false>::operator=(_Optional_payload&&)):
4084         Likewise.
4085         (_Optional_payload<_Tp, false>::_M_get): Likewise.
4086         (_Optional_payload<_Tp, false>::_M_reset): Likewise.
4087         (_Optional_base_impl): Likewise.
4088         (_Optional_base): Turn into a primary and three specializations.
4089         (optional(nullopt)): Change the base init.
4090         * testsuite/20_util/optional/assignment/8.cc: New.
4091         * testsuite/20_util/optional/cons/trivial.cc: Likewise.
4092         * testsuite/20_util/optional/cons/value_neg.cc: Adjust.
4094 2018-01-15  Jonathan Wakely  <jwakely@redhat.com>
4096         PR libstdc++/80276
4097         * python/libstdcxx/v6/printers.py (strip_inline_namespaces): New.
4098         (get_template_arg_list): New.
4099         (StdVariantPrinter._template_args): Remove, use get_template_arg_list
4100         instead.
4101         (TemplateTypePrinter): Rewrite to work with gdb.Type objects instead
4102         of strings and regular expressions.
4103         (add_one_template_type_printer): Adapt to new TemplateTypePrinter.
4104         (FilteringTypePrinter): Add docstring. Match using startswith. Use
4105         strip_inline_namespaces instead of strip_versioned_namespace.
4106         (add_one_type_printer): Prepend namespace to match argument.
4107         (register_type_printers): Add type printers for char16_t and char32_t
4108         string types and for types using cxx11 ABI. Update calls to
4109         add_one_template_type_printer to provide default argument dicts.
4110         * testsuite/libstdc++-prettyprinters/80276.cc: New test.
4111         * testsuite/libstdc++-prettyprinters/whatis.cc: Remove tests for
4112         basic_string<unsigned char> and basic_string<signed char>.
4113         * testsuite/libstdc++-prettyprinters/whatis2.cc: Duplicate whatis.cc
4114         to test local variables, without overriding _GLIBCXX_USE_CXX11_ABI.
4116 2018-01-14  Andreas Schwab  <schwab@linux-m68k.org>
4118         PR libstdc++/81092
4119         * config/abi/post/ia64-linux-gnu/baseline_symbols.txt: Update.
4121 2018-01-13  Tim Shen  <timshen@google.com>
4123         PR libstdc++/83601
4124         * include/bits/regex.tcc (regex_replace): Fix escaping in sed.
4125         * testsuite/28_regex/algorithms/regex_replace/char/pr83601.cc: Tests.
4126         * testsuite/28_regex/algorithms/regex_replace/wchar_t/pr83601.cc: Tests.
4128 2018-01-12  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
4130         PR libstdc++/64054
4131         * testsuite/27_io/basic_ostream/inserters_arithmetic/char/hexfloat.cc:
4132         Remove dg-xfail-run-if.
4134 2018-01-10  François Dumont  <fdumont@gcc.gnu.org>
4136         * include/bits/forward_list.h
4137         (_Fwd_list_node_base(_Fwd_list_node_base&&)): New.
4138         (_Fwd_list_node_base& operator=(_Fwd_list_node_base&&)): New.
4139         (_Fwd_list_node_base(const _Fwd_list_node_base&)): Explicit delete.
4140         (_Fwd_list_node_base& operator=(const _Fwd_list_node_base&)): Likewise.
4141         (_Fwd_list_impl()): Add noexcept qualification.
4142         (_Fwd_list_impl(const _Node_alloc_type&)): Delete.
4143         (_Fwd_list_impl(_Fwd_list_impl&&)): New, default.
4144         (_Fwd_list_impl(_Fwd_list_impl&&, _Node_alloc_type&&)): New.
4145         (_Fwd_list_base()): Default.
4146         (_Fwd_list_base(_Fwd_list_base&&, _Node_alloc_type&&, true_type)): New.
4147         (_Fwd_list_base(_Fwd_list_base&&)): Default.
4148         (forward_list<>()): Default.
4149         (forward_list<>(forward_list&&)): Default.
4150         (forward_list(forward_list&&, _Node_alloc_type&&, false_type)): New.
4151         (forward_list(forward_list&&, _Node_alloc_type&&, true_type)): New.
4152         (forward_list(forward_list&&, const _Alloc&)): Adapt to use latters.
4153         * include/bits/forward_list.tcc
4154         (_Fwd_list_base(_Fwd_list_base&&, _Node_alloc_type&&)): Adapt to use
4155         _M_impl._M_head move assignment.
4156         (forward_list<>::merge(forward_list<>&&, _Comp)): Likewise.
4157         * testsuite/23_containers/forward_list/allocator/default_init.cc: New.
4159 2018-01-09  Jonathan Wakely  <jwakely@redhat.com>
4161         PR libstdc++/80276
4162         * python/libstdcxx/v6/printers.py (SharedPointerPrinter)
4163         (UniquePointerPrinter): Print correct template argument, not type of
4164         the pointer.
4165         (TemplateTypePrinter._recognizer.recognize): Handle failure to lookup
4166         a type.
4167         * testsuite/libstdc++-prettyprinters/cxx11.cc: Test unique_ptr of
4168         array type.
4169         * testsuite/libstdc++-prettyprinters/cxx17.cc: Test shared_ptr and
4170         weak_ptr of array types.
4172 2018-01-09  François Dumont  <fdumont@gcc.gnu.org>
4174         PR libstdc++/83709
4175         * include/bits/hashtable_policy.h
4176         (__distance_fwd(_Iterator, _Iterator, input_iterator_tag)): Return 1 if
4177         __first != __last.
4178         (_Insert_base::_M_insert_range(_Ite, _Ite, _NodeGetter, true_type)): New.
4179         (_Insert_base::_M_insert_range(_Ite, _Ite, _NodeGetter, false_type)):
4180         Add false_type parameter.
4181         (_Insert_base::insert): Adapt.
4182         * include/bits/hashtable.h (_Hashtable::operator=(initializzr_list<>)):
4183         Adapt.
4184         (_Hashtable::_M_insert(_Arg&&, const _NodeGen&, true_type, size_t)):
4185          Add __n_elt parameter, defaulted to 1.
4186         (_Hashtable::_M_insert_unique_node): Likewise. Use it to call rehash
4187         policy _M_need_rehash.
4188         (_Hashtable::_M_merge_unique): Pass target number of elements to add to
4189         produce only 1 rehash if necessary.
4190         * testsuite/23_containers/unordered_map/insert/83709.cc: New.
4191         * testsuite/23_containers/unordered_set/insert/83709.cc: New.
4193 2018-01-09  Juraj Oršulić  <juraj.orsulic@fer.hr>
4194             Jonathan Wakely  <jwakely@redhat.com>
4196         PR libstdc++/59253 (partial)
4197         * python/libstdcxx/v6/printers.py (SmartPtrIterator): Common iterator
4198         type for pointer stored by shared_ptr, weak_ptr and unique_ptr.
4199         (SharedPointerPrinter, UniquePointerPrinter): Treat stored values as
4200         children.
4201         * testsuite/libstdc++-prettyprinters/cxx11.cc: Update expected output
4202         of unique_ptr printer.
4203         * testsuite/libstdc++-prettyprinters/shared_ptr.cc: Update expected
4204         output of shared_ptr printer.
4206 2018-01-05  Jonathan Wakely  <jwakely@redhat.com>
4208         PR libstdc++/83626
4209         * src/filesystem/ops.cc (remove(const path&, error_code&)): Remove
4210         unnecessary symlink_status call.
4211         (remove_all(const path&, error_code&)): Use filesystem::remove.
4212         * src/filesystem/std-ops.cc: Likewise.
4214         PR libstdc++/83279
4215         * src/filesystem/std-ops.cc  (do_copy_file): Use non-null offset with
4216         sendfile.
4218         PR libstdc++/83626
4219         * src/filesystem/ops.cc (remove(const path&, error_code&)): Do not
4220         report an error for ENOENT.
4221         (remove_all(const path&)): Fix type of result variable.
4222         (remove_all(const path&, error_code&)): Use non-throwing increment
4223         for directory iterator. Call POSIX remove directly to avoid redundant
4224         calls to symlink_status. Do not report errors for ENOENT.
4225         * src/filesystem/std-ops.cc: Likewise.
4226         * testsuite/27_io/filesystem/operations/remove_all.cc: Test throwing
4227         overload.
4228         * testsuite/experimental/filesystem/operations/remove_all.cc:
4229         Likewise.
4231 2018-01-04  Jonathan Wakely  <jwakely@redhat.com>
4233         PR libstdc++/83626
4234         * src/filesystem/ops.cc (remove(const path&, error_code&))): Remove
4235         redundant call to ec.clear().
4236         (remove_all(const path&, error_code&))): Do not return an error for
4237         non-existent paths.
4238         * src/filesystem/std-ops.cc: Likewise.
4239         * testsuite/27_io/filesystem/operations/remove.cc: New test.
4240         * testsuite/27_io/filesystem/operations/remove_all.cc: Fix expected
4241         results for non-existent paths.
4242         * testsuite/experimental/filesystem/operations/remove.cc: New test.
4243         * testsuite/experimental/filesystem/operations/remove_all.cc: Fix
4244         expected results for non-existent paths.
4246         * include/bits/fs_ops.h (exists(const path&, error_code&))): Only
4247         check status_known once.
4248         * include/experimental/bits/fs_ops.h: Likewise.
4250         PR libstdc++/83607
4251         * include/std/functional (__is_byte_like): New trait.
4252         (__is_std_equal_to): Remove.
4253         (__boyer_moore_base_t): Use __is_byte_like instead of
4254         __is_std_equal_to.
4255         * include/experimental/functional (__is_std_equal_to): Remove.
4256         (__boyer_moore_base_t): Use __is_byte_like instead of
4257         __is_std_equal_to.
4258         * testsuite/20_util/function_objects/83607.cc: New test.
4260 2018-01-03  Ville Voutilainen  <ville.voutilainen@gmail.com>
4262         Protect optional's deduction guide with the feature macro
4263         * include/std/optional: Use the feature macro.
4265 2018-01-03  Jakub Jelinek  <jakub@redhat.com>
4267         Update copyright years.
4269 Copyright (C) 2018 Free Software Foundation, Inc.
4271 Copying and distribution of this file, with or without modification,
4272 are permitted in any medium without royalty provided the copyright
4273 notice and this notice are preserved.