cc79682046
__dp_sign precision indicates that we found out what iterator comes first or last in the range. __dp_sign_max_size is the same plus it gives the information of the max size of the range that is to say the max_size value such that distance(lhs, rhs) < max_size. Thanks to this additional information we are able to tell when a copy of n elements to that range will fail even if we do not know exactly how large it is. This patch makes sure that we are properly using this information. libstdc++-v3/ChangeLog: PR libstdc++/99402 * include/debug/helper_functions.h (__can_advance(_InputIterator, const std::pair<_Diff, _Distance_precision>&, int)): New. (__can_advance(const _Safe_iterator<>&, const std::pair<_Diff, _Distance_precision>&, int)): New. * include/debug/macros.h (__glibcxx_check_can_increment_dist): New, use latter. (__glibcxx_check_can_increment_range): Adapt to use latter. (__glibcxx_check_can_decrement_range): Likewise. * include/debug/safe_iterator.h (_Safe_iterator<>::_M_can_advance(const std::pair<_Diff, _Distance_precision>&, int)): New. (__can_advance(const _Safe_iterator<>&, const std::pair<_Diff, _Distance_precision>&, int)): New. * include/debug/safe_iterator.tcc (_Safe_iterator<>::_M_can_advance(const std::pair<_Diff, _Distance_precision>&, int)): New. (_Safe_iterator<>::_M_valid_range(const _Safe_iterator<>&, std::pair<difference_type, _Distance_precision>&, bool)): Adapt for __dp_sign_max_size. (__copy_move_a): Adapt to use __glibcxx_check_can_increment_dist. (__copy_move_backward_a): Likewise. (__equal_aux): Likewise. * include/debug/stl_iterator.h (__can_advance(const std::reverse_iterator<>&, const std::pair<_Diff, _Distance_precision>&, int)): New. (__can_advance(const std::move_iterator<>&, const std::pair<_Diff, _Distance_precision>&, int)): New. * testsuite/25_algorithms/copy/debug/99402.cc: New test.
332 lines
10 KiB
C++
332 lines
10 KiB
C++
// Debugging support implementation -*- C++ -*-
|
|
|
|
// Copyright (C) 2003-2021 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.
|
|
|
|
// Under Section 7 of GPL version 3, you are granted additional
|
|
// permissions described in the GCC Runtime Library Exception, version
|
|
// 3.1, as published by the Free Software Foundation.
|
|
|
|
// You should have received a copy of the GNU General Public License and
|
|
// a copy of the GCC Runtime Library Exception along with this program;
|
|
// see the files COPYING3 and COPYING.RUNTIME respectively. If not, see
|
|
// <http://www.gnu.org/licenses/>.
|
|
|
|
/** @file debug/helper_functions.h
|
|
* This file is a GNU debug extension to the Standard C++ Library.
|
|
*/
|
|
|
|
#ifndef _GLIBCXX_DEBUG_HELPER_FUNCTIONS_H
|
|
#define _GLIBCXX_DEBUG_HELPER_FUNCTIONS_H 1
|
|
|
|
#include <bits/move.h> // for __addressof
|
|
#include <bits/stl_iterator_base_types.h> // for iterator_traits,
|
|
// categories and _Iter_base
|
|
#include <bits/cpp_type_traits.h> // for __is_integer
|
|
|
|
#include <bits/stl_pair.h> // for pair
|
|
|
|
namespace __gnu_debug
|
|
{
|
|
template<typename _Iterator, typename _Sequence, typename _Category>
|
|
class _Safe_iterator;
|
|
|
|
#if __cplusplus >= 201103L
|
|
template<typename _Iterator, typename _Sequence>
|
|
class _Safe_local_iterator;
|
|
#endif
|
|
|
|
/** The precision to which we can calculate the distance between
|
|
* two iterators.
|
|
*/
|
|
enum _Distance_precision
|
|
{
|
|
__dp_none, // Not even an iterator type
|
|
__dp_equality, //< Can compare iterator equality, only
|
|
__dp_sign, //< Can determine equality and ordering
|
|
__dp_sign_max_size, //< __dp_sign and gives max range size
|
|
__dp_exact //< Can determine distance precisely
|
|
};
|
|
|
|
template<typename _Iterator,
|
|
typename = typename std::__is_integer<_Iterator>::__type>
|
|
struct _Distance_traits
|
|
{
|
|
private:
|
|
typedef
|
|
typename std::iterator_traits<_Iterator>::difference_type _ItDiffType;
|
|
|
|
template<typename _DiffType,
|
|
typename = typename std::__is_void<_DiffType>::__type>
|
|
struct _DiffTraits
|
|
{ typedef _DiffType __type; };
|
|
|
|
template<typename _DiffType>
|
|
struct _DiffTraits<_DiffType, std::__true_type>
|
|
{ typedef std::ptrdiff_t __type; };
|
|
|
|
typedef typename _DiffTraits<_ItDiffType>::__type _DiffType;
|
|
|
|
public:
|
|
typedef std::pair<_DiffType, _Distance_precision> __type;
|
|
};
|
|
|
|
template<typename _Integral>
|
|
struct _Distance_traits<_Integral, std::__true_type>
|
|
{ typedef std::pair<std::ptrdiff_t, _Distance_precision> __type; };
|
|
|
|
/** Determine the distance between two iterators with some known
|
|
* precision.
|
|
*/
|
|
template<typename _Iterator>
|
|
_GLIBCXX_CONSTEXPR
|
|
inline typename _Distance_traits<_Iterator>::__type
|
|
__get_distance(_Iterator __lhs, _Iterator __rhs,
|
|
std::random_access_iterator_tag)
|
|
{ return std::make_pair(__rhs - __lhs, __dp_exact); }
|
|
|
|
template<typename _Iterator>
|
|
_GLIBCXX14_CONSTEXPR
|
|
inline typename _Distance_traits<_Iterator>::__type
|
|
__get_distance(_Iterator __lhs, _Iterator __rhs,
|
|
std::input_iterator_tag)
|
|
{
|
|
if (__lhs == __rhs)
|
|
return std::make_pair(0, __dp_exact);
|
|
|
|
return std::make_pair(1, __dp_equality);
|
|
}
|
|
|
|
template<typename _Iterator>
|
|
_GLIBCXX_CONSTEXPR
|
|
inline typename _Distance_traits<_Iterator>::__type
|
|
__get_distance(_Iterator __lhs, _Iterator __rhs)
|
|
{ return __get_distance(__lhs, __rhs, std::__iterator_category(__lhs)); }
|
|
|
|
// An arbitrary iterator pointer is not singular.
|
|
inline bool
|
|
__check_singular_aux(const void*) { return false; }
|
|
|
|
// We may have an iterator that derives from _Safe_iterator_base but isn't
|
|
// a _Safe_iterator.
|
|
template<typename _Iterator>
|
|
_GLIBCXX_CONSTEXPR
|
|
inline bool
|
|
__check_singular(_Iterator const& __x)
|
|
{
|
|
return
|
|
#ifdef _GLIBCXX_HAVE_BUILTIN_IS_CONSTANT_EVALUATED
|
|
__builtin_is_constant_evaluated() ? false :
|
|
#endif
|
|
__check_singular_aux(std::__addressof(__x));
|
|
}
|
|
|
|
/** Non-NULL pointers are nonsingular. */
|
|
template<typename _Tp>
|
|
_GLIBCXX_CONSTEXPR
|
|
inline bool
|
|
__check_singular(_Tp* const& __ptr)
|
|
{
|
|
return
|
|
#ifdef _GLIBCXX_HAVE_BUILTIN_IS_CONSTANT_EVALUATED
|
|
__builtin_is_constant_evaluated() ? false :
|
|
#endif
|
|
__ptr == 0;
|
|
}
|
|
|
|
/** We say that integral types for a valid range, and defer to other
|
|
* routines to realize what to do with integral types instead of
|
|
* iterators.
|
|
*/
|
|
template<typename _Integral>
|
|
_GLIBCXX_CONSTEXPR
|
|
inline bool
|
|
__valid_range_aux(_Integral, _Integral, std::__true_type)
|
|
{ return true; }
|
|
|
|
template<typename _Integral>
|
|
_GLIBCXX20_CONSTEXPR
|
|
inline bool
|
|
__valid_range_aux(_Integral, _Integral,
|
|
typename _Distance_traits<_Integral>::__type& __dist,
|
|
std::__true_type)
|
|
{
|
|
__dist = std::make_pair(0, __dp_none);
|
|
return true;
|
|
}
|
|
|
|
template<typename _InputIterator>
|
|
_GLIBCXX_CONSTEXPR
|
|
inline bool
|
|
__valid_range_aux(_InputIterator __first, _InputIterator __last,
|
|
std::input_iterator_tag)
|
|
{
|
|
return __first == __last
|
|
|| (!__check_singular(__first) && !__check_singular(__last));
|
|
}
|
|
|
|
template<typename _InputIterator>
|
|
_GLIBCXX_CONSTEXPR
|
|
inline bool
|
|
__valid_range_aux(_InputIterator __first, _InputIterator __last,
|
|
std::random_access_iterator_tag)
|
|
{
|
|
return
|
|
__valid_range_aux(__first, __last, std::input_iterator_tag())
|
|
&& __first <= __last;
|
|
}
|
|
|
|
/** We have iterators, so figure out what kind of iterators they are
|
|
* to see if we can check the range ahead of time.
|
|
*/
|
|
template<typename _InputIterator>
|
|
_GLIBCXX_CONSTEXPR
|
|
inline bool
|
|
__valid_range_aux(_InputIterator __first, _InputIterator __last,
|
|
std::__false_type)
|
|
{
|
|
return __valid_range_aux(__first, __last,
|
|
std::__iterator_category(__first));
|
|
}
|
|
|
|
template<typename _InputIterator>
|
|
_GLIBCXX20_CONSTEXPR
|
|
inline bool
|
|
__valid_range_aux(_InputIterator __first, _InputIterator __last,
|
|
typename _Distance_traits<_InputIterator>::__type& __dist,
|
|
std::__false_type)
|
|
{
|
|
if (!__valid_range_aux(__first, __last, std::input_iterator_tag()))
|
|
return false;
|
|
|
|
__dist = __get_distance(__first, __last);
|
|
switch (__dist.second)
|
|
{
|
|
case __dp_none:
|
|
break;
|
|
case __dp_equality:
|
|
if (__dist.first == 0)
|
|
return true;
|
|
break;
|
|
case __dp_sign:
|
|
case __dp_sign_max_size:
|
|
case __dp_exact:
|
|
return __dist.first >= 0;
|
|
}
|
|
|
|
// Can't tell so assume it is fine.
|
|
return true;
|
|
}
|
|
|
|
/** Don't know what these iterators are, or if they are even
|
|
* iterators (we may get an integral type for InputIterator), so
|
|
* see if they are integral and pass them on to the next phase
|
|
* otherwise.
|
|
*/
|
|
template<typename _InputIterator>
|
|
_GLIBCXX20_CONSTEXPR
|
|
inline bool
|
|
__valid_range(_InputIterator __first, _InputIterator __last,
|
|
typename _Distance_traits<_InputIterator>::__type& __dist)
|
|
{
|
|
typedef typename std::__is_integer<_InputIterator>::__type _Integral;
|
|
return __valid_range_aux(__first, __last, __dist, _Integral());
|
|
}
|
|
|
|
template<typename _Iterator, typename _Sequence, typename _Category>
|
|
bool
|
|
__valid_range(const _Safe_iterator<_Iterator, _Sequence, _Category>&,
|
|
const _Safe_iterator<_Iterator, _Sequence, _Category>&,
|
|
typename _Distance_traits<_Iterator>::__type&);
|
|
|
|
#if __cplusplus >= 201103L
|
|
template<typename _Iterator,typename _Sequence>
|
|
bool
|
|
__valid_range(const _Safe_local_iterator<_Iterator, _Sequence>&,
|
|
const _Safe_local_iterator<_Iterator, _Sequence>&,
|
|
typename _Distance_traits<_Iterator>::__type&);
|
|
#endif
|
|
|
|
template<typename _InputIterator>
|
|
_GLIBCXX14_CONSTEXPR
|
|
inline bool
|
|
__valid_range(_InputIterator __first, _InputIterator __last)
|
|
{
|
|
typedef typename std::__is_integer<_InputIterator>::__type _Integral;
|
|
return __valid_range_aux(__first, __last, _Integral());
|
|
}
|
|
|
|
template<typename _Iterator, typename _Sequence, typename _Category>
|
|
bool
|
|
__valid_range(const _Safe_iterator<_Iterator, _Sequence, _Category>&,
|
|
const _Safe_iterator<_Iterator, _Sequence, _Category>&);
|
|
|
|
#if __cplusplus >= 201103L
|
|
template<typename _Iterator, typename _Sequence>
|
|
bool
|
|
__valid_range(const _Safe_local_iterator<_Iterator, _Sequence>&,
|
|
const _Safe_local_iterator<_Iterator, _Sequence>&);
|
|
#endif
|
|
|
|
// Fallback method, always ok.
|
|
template<typename _InputIterator, typename _Size>
|
|
_GLIBCXX_CONSTEXPR
|
|
inline bool
|
|
__can_advance(_InputIterator, _Size)
|
|
{ return true; }
|
|
|
|
template<typename _Iterator, typename _Sequence, typename _Category,
|
|
typename _Size>
|
|
bool
|
|
__can_advance(const _Safe_iterator<_Iterator, _Sequence, _Category>&,
|
|
_Size);
|
|
|
|
template<typename _InputIterator, typename _Diff>
|
|
_GLIBCXX_CONSTEXPR
|
|
inline bool
|
|
__can_advance(_InputIterator, const std::pair<_Diff, _Distance_precision>&, int)
|
|
{ return true; }
|
|
|
|
template<typename _Iterator, typename _Sequence, typename _Category,
|
|
typename _Diff>
|
|
bool
|
|
__can_advance(const _Safe_iterator<_Iterator, _Sequence, _Category>&,
|
|
const std::pair<_Diff, _Distance_precision>&, int);
|
|
|
|
/** Helper function to extract base iterator of random access safe iterator
|
|
* in order to reduce performance impact of debug mode. Limited to random
|
|
* access iterator because it is the only category for which it is possible
|
|
* to check for correct iterators order in the __valid_range function
|
|
* thanks to the < operator.
|
|
*/
|
|
template<typename _Iterator>
|
|
_GLIBCXX_CONSTEXPR
|
|
inline _Iterator
|
|
__base(_Iterator __it)
|
|
{ return __it; }
|
|
|
|
#if __cplusplus < 201103L
|
|
template<typename _Iterator>
|
|
struct _Unsafe_type
|
|
{ typedef _Iterator _Type; };
|
|
#endif
|
|
|
|
/* Remove debug mode safe iterator layer, if any. */
|
|
template<typename _Iterator>
|
|
inline _Iterator
|
|
__unsafe(_Iterator __it)
|
|
{ return __it; }
|
|
}
|
|
|
|
#endif
|