mirrors/gcc
0
0
Fork 0
mirror of https://gcc.gnu.org/git/gcc.git synced 2024-12-26 04:25:51 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

re PR libstdc++/58148 (Fails to insert iterator range into sequence container with -D_GLIBCXX_DEBUG when conversion is needed)

Browse Source 
2013-08-30  François Dumont  <fdumont@gcc.gnu.org>

	PR libstdc++/58148
	* include/debug/functions.h (__foreign_iterator_aux4): Use
	sequence const_pointer as common type to compare pointers. Add a
	fallback overload in case pointers cannot be cast to sequence
	const_pointer.
	* testsuite/23_containers/vector/modifiers/insert/58148.cc: New.

From-SVN: r202121
This commit is contained in:
François Dumont 2013-08-30 20:55:37 +00:00
parent 8915a229ad
commit 32bb816a91
3 changed files with 65 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
libstdc++-v3/ChangeLog
View File

@ -1,3 +1,12 @@
2013-08-30 François Dumont <fdumont@gcc.gnu.org>
PR libstdc++/58148
* include/debug/functions.h (__foreign_iterator_aux4): Use
sequence const_pointer as common type to compare pointers. Add a
fallback overload in case pointers cannot be cast to sequence
const_pointer.
* testsuite/23_containers/vector/modifiers/insert/58148.cc: New.
2013-08-30 François Dumont <fdumont@gcc.gnu.org>
PR libstdc++/58191

39
libstdc++-v3/include/debug/functions.h
View File

@ -36,7 +36,7 @@
#include <bits/move.h> // for __addressof and addressof
#if __cplusplus >= 201103L
# include <bits/stl_function.h> // for less and greater_equal
# include <type_traits> // for common_type
# include <type_traits> // for is_lvalue_reference and __and_
#endif
#include <debug/formatter.h>
@ -172,27 +172,30 @@ namespace __gnu_debug
}
#if __cplusplus >= 201103L
template<typename _Iterator, typename _Sequence,
typename _InputIterator,
typename _PointerType1,
typename _PointerType2>
// Default implementation.
template<typename _Iterator, typename _Sequence>
inline bool
__foreign_iterator_aux4(const _Safe_iterator<_Iterator, _Sequence>& __it,
_InputIterator __other,
_PointerType1, _PointerType2)
typename _Sequence::const_pointer __begin,
typename _Sequence::const_pointer __other)
{
typedef typename std::common_type<_PointerType1,
_PointerType2>::type _PointerType;
typedef typename _Sequence::const_pointer _PointerType;
constexpr std::less<_PointerType> __l{};
constexpr std::greater_equal<_PointerType> __ge{};
return (__l(std::addressof(*__other),
std::addressof(*(__it._M_get_sequence()->_M_base().begin())))
|| __ge(std::addressof(*__other),
std::addressof(*(__it._M_get_sequence()->_M_base().end()
- 1)) + 1));
return (__l(__other, __begin)
|| __l(std::addressof(*(__it._M_get_sequence()->_M_base().end()
- 1)), __other));
}
// Fallback when address type cannot be implicitely casted to sequence
// const_pointer.
template<typename _Iterator, typename _Sequence,
typename _InputIterator>
inline bool
__foreign_iterator_aux4(const _Safe_iterator<_Iterator, _Sequence>&,
_InputIterator, ...)
{ return true; }
template<typename _Iterator, typename _Sequence, typename _InputIterator>
inline bool
__foreign_iterator_aux3(const _Safe_iterator<_Iterator, _Sequence>& __it,
@ -209,7 +212,7 @@ namespace __gnu_debug
- std::addressof(*(__it._M_get_sequence()->_M_base().begin()))
== __it._M_get_sequence()->size() - 1)
return (__foreign_iterator_aux4
(__it, __other,
(__it,
std::addressof(*(__it._M_get_sequence()->_M_base().begin())),
std::addressof(*__other)));
return true;
@ -223,7 +226,7 @@ namespace __gnu_debug
std::false_type)
{ return true; }
#endif
/** Checks that iterators do not belong to the same sequence. */
template<typename _Iterator, typename _Sequence, typename _OtherIterator>
inline bool

35
libstdc++-v3/testsuite/23_containers/vector/modifiers/insert/58148.cc Normal file
View File

@ -0,0 +1,35 @@
// Copyright (C) 2013 Free Software Foundation, Inc.
//
// This file is part of the GNU ISO C++ Library. This library is free
// software; you can redistribute it and/or modify it under the
// terms of the GNU General Public License as published by the
// Free Software Foundation; either version 3, or (at your option)
// any later version.
// This library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
// You should have received a copy of the GNU General Public License along
// with this library; see the file COPYING3. If not see
// <http://www.gnu.org/licenses/>.
// { dg-options "-std=gnu++11" }
// { dg-do compile }
#include <vector>
void
test01()
{
std::vector<wchar_t> v;
char c = 'a';
v.insert(v.begin(), &c, &c);
}
int main()
{
test01();
return 0;
}