29#ifndef _GLIBCXX_DEBUG_HELPER_FUNCTIONS_H
30#define _GLIBCXX_DEBUG_HELPER_FUNCTIONS_H 1
41 template<
typename _Iterator,
typename _Sequence,
typename _Category>
44#if __cplusplus >= 201103L
45 template<
typename _Iterator,
typename _Sequence>
46 class _Safe_local_iterator;
61 template<
typename _Iterator,
62 typename =
typename std::__is_integer<_Iterator>::__type>
63 struct _Distance_traits
69 template<
typename _DiffType,
70 typename =
typename std::__is_void<_DiffType>::__type>
72 {
typedef _DiffType __type; };
74 template<
typename _DiffType>
75 struct _DiffTraits<_DiffType,
std::__true_type>
76 {
typedef std::ptrdiff_t __type; };
78 typedef typename _DiffTraits<_ItDiffType>::__type _DiffType;
84 template<
typename _Integral>
85 struct _Distance_traits<_Integral,
std::__true_type>
91 template<
typename _Iterator>
93 inline typename _Distance_traits<_Iterator>::__type
98 template<
typename _Iterator>
100 inline typename _Distance_traits<_Iterator>::__type
110 template<
typename _Iterator>
112 inline typename _Distance_traits<_Iterator>::__type
121 __check_singular_aux(
const void*) {
return false; }
125 __check_singular_aux(
const class _Safe_iterator_base*);
129 template<
typename _Iterator>
132 __check_singular(_Iterator
const& __x)
134 return ! std::__is_constant_evaluated()
139 template<
typename _Tp>
142 __check_singular(_Tp*
const& __ptr)
143 {
return __ptr == 0; }
149 template<
typename _Integral>
155 template<
typename _Integral>
159 typename _Distance_traits<_Integral>::__type& __dist,
166 template<
typename _InputIterator>
172 return __first == __last
173 || (!__gnu_debug::__check_singular(__first)
174 && !__gnu_debug::__check_singular(__last));
177 template<
typename _InputIterator>
185 && __first <= __last;
191 template<
typename _InputIterator>
201 template<
typename _InputIterator>
205 typename _Distance_traits<_InputIterator>::__type& __dist,
213 switch (__dist.second)
218 if (__dist.first == 0)
222 case __dp_sign_max_size:
224 return __dist.first >= 0;
236 template<
typename _InputIterator>
242 typedef typename std::__is_integer<_InputIterator>::__type _Integral;
247 template<
typename _Iterator,
typename _Sequence,
typename _Category>
249 __valid_range(
const _Safe_iterator<_Iterator, _Sequence, _Category>&,
250 const _Safe_iterator<_Iterator, _Sequence, _Category>&,
251 typename _Distance_traits<_Iterator>::__type&);
253#if __cplusplus >= 201103L
254 template<
typename _Iterator,
typename _Sequence>
256 __valid_range(
const _Safe_local_iterator<_Iterator, _Sequence>&,
257 const _Safe_local_iterator<_Iterator, _Sequence>&,
258 typename _Distance_traits<_Iterator>::__type&);
261 template<
typename _InputIterator>
266 typedef typename std::__is_integer<_InputIterator>::__type _Integral;
270 template<
typename _Iterator,
typename _Sequence,
typename _Category>
272 __valid_range(
const _Safe_iterator<_Iterator, _Sequence, _Category>&,
273 const _Safe_iterator<_Iterator, _Sequence, _Category>&);
275#if __cplusplus >= 201103L
276 template<
typename _Iterator,
typename _Sequence>
278 __valid_range(
const _Safe_local_iterator<_Iterator, _Sequence>&,
279 const _Safe_local_iterator<_Iterator, _Sequence>&);
283 template<
typename _InputIterator,
typename _Size>
286 __can_advance(_InputIterator, _Size)
289 template<
typename _Iterator,
typename _Sequence,
typename _Category,
292 __can_advance(
const _Safe_iterator<_Iterator, _Sequence, _Category>&,
295 template<
typename _InputIterator,
typename _Diff>
301 template<
typename _Iterator,
typename _Sequence,
typename _Category,
304 __can_advance(
const _Safe_iterator<_Iterator, _Sequence, _Category>&,
313 template<
typename _Iterator>
319#if __cplusplus < 201103L
320 template<
typename _Iterator>
322 {
typedef _Iterator _Type; };
326 template<
typename _Iterator>
329 __unsafe(_Iterator __it)
constexpr pair< typename __decay_and_strip< _T1 >::__type, typename __decay_and_strip< _T2 >::__type > make_pair(_T1 &&__x, _T2 &&__y)
A convenience wrapper for creating a pair from two objects.
constexpr _Tp * __addressof(_Tp &__r) noexcept
Same as C++11 std::addressof.
constexpr iterator_traits< _Iter >::iterator_category __iterator_category(const _Iter &)
ISO C++ entities toplevel namespace is std.
GNU debug classes for public use.
constexpr bool __valid_range_aux(_Integral, _Integral, std::__true_type)
constexpr _Distance_traits< _Iterator >::__type __get_distance(_Iterator __lhs, _Iterator __rhs, std::random_access_iterator_tag)
constexpr bool __valid_range(_InputIterator __first, _InputIterator __last, typename _Distance_traits< _InputIterator >::__type &__dist)
constexpr _Iterator __base(_Iterator __it)
Traits class for iterators.
Struct holding two objects of arbitrary type.
Random-access iterators support a superset of bidirectional iterator operations.