xref: /dflybsd-src/contrib/gcc-8.0/libstdc++-v3/include/debug/safe_local_iterator.tcc (revision 38fd149817dfbff97799f62fcb70be98c4e32523)
1*38fd1498Szrj // Debugging iterator implementation (out of line) -*- C++ -*-
2*38fd1498Szrj 
3*38fd1498Szrj // Copyright (C) 2011-2018 Free Software Foundation, Inc.
4*38fd1498Szrj //
5*38fd1498Szrj // This file is part of the GNU ISO C++ Library.  This library is free
6*38fd1498Szrj // software; you can redistribute it and/or modify it under the
7*38fd1498Szrj // terms of the GNU General Public License as published by the
8*38fd1498Szrj // Free Software Foundation; either version 3, or (at your option)
9*38fd1498Szrj // any later version.
10*38fd1498Szrj 
11*38fd1498Szrj // This library is distributed in the hope that it will be useful,
12*38fd1498Szrj // but WITHOUT ANY WARRANTY; without even the implied warranty of
13*38fd1498Szrj // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14*38fd1498Szrj // GNU General Public License for more details.
15*38fd1498Szrj 
16*38fd1498Szrj // Under Section 7 of GPL version 3, you are granted additional
17*38fd1498Szrj // permissions described in the GCC Runtime Library Exception, version
18*38fd1498Szrj // 3.1, as published by the Free Software Foundation.
19*38fd1498Szrj 
20*38fd1498Szrj // You should have received a copy of the GNU General Public License and
21*38fd1498Szrj // a copy of the GCC Runtime Library Exception along with this program;
22*38fd1498Szrj // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
23*38fd1498Szrj // <http://www.gnu.org/licenses/>.
24*38fd1498Szrj 
25*38fd1498Szrj /** @file debug/safe_local_iterator.tcc
26*38fd1498Szrj  *  This file is a GNU debug extension to the Standard C++ Library.
27*38fd1498Szrj  */
28*38fd1498Szrj 
29*38fd1498Szrj #ifndef _GLIBCXX_DEBUG_SAFE_LOCAL_ITERATOR_TCC
30*38fd1498Szrj #define _GLIBCXX_DEBUG_SAFE_LOCAL_ITERATOR_TCC 1
31*38fd1498Szrj 
32*38fd1498Szrj namespace __gnu_debug
33*38fd1498Szrj {
34*38fd1498Szrj   template<typename _Iterator, typename _Sequence>
35*38fd1498Szrj     bool
36*38fd1498Szrj     _Safe_local_iterator<_Iterator, _Sequence>::
_M_valid_range(const _Safe_local_iterator & __rhs,std::pair<difference_type,_Distance_precision> & __dist) const37*38fd1498Szrj     _M_valid_range(const _Safe_local_iterator& __rhs,
38*38fd1498Szrj 		std::pair<difference_type, _Distance_precision>& __dist) const
39*38fd1498Szrj     {
40*38fd1498Szrj       if (!_M_can_compare(__rhs))
41*38fd1498Szrj 	return false;
42*38fd1498Szrj 
43*38fd1498Szrj       if (bucket() != __rhs.bucket())
44*38fd1498Szrj 	return false;
45*38fd1498Szrj 
46*38fd1498Szrj       /* Determine if we can order the iterators without the help of
47*38fd1498Szrj 	 the container */
48*38fd1498Szrj       __dist = __get_distance(*this, __rhs);
49*38fd1498Szrj       switch (__dist.second)
50*38fd1498Szrj 	{
51*38fd1498Szrj 	case __dp_equality:
52*38fd1498Szrj 	  if (__dist.first == 0)
53*38fd1498Szrj 	    return true;
54*38fd1498Szrj 	  break;
55*38fd1498Szrj 
56*38fd1498Szrj 	case __dp_sign:
57*38fd1498Szrj 	case __dp_exact:
58*38fd1498Szrj 	  return __dist.first >= 0;
59*38fd1498Szrj 	}
60*38fd1498Szrj 
61*38fd1498Szrj       // Assume that this is a valid range; we can't check anything else
62*38fd1498Szrj       return true;
63*38fd1498Szrj     }
64*38fd1498Szrj } // namespace __gnu_debug
65*38fd1498Szrj 
66*38fd1498Szrj #endif
67