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