libstdc++/6503: (Deque) Iterators are not typesafe

[Peter Schmid <schmid at snake dot iap dot physik dot tu-darmstadt dot de>]

>Number:         6503
>Category:       libstdc++
>Synopsis:       (Deque) Iterators are not typesafe
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Sun Apr 28 12:26:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     Peter Schmid
>Release:        3.1 20020427 (prerelease)
>Organization:
TU Darmstadt
>Environment:
System: Linux kiste 2.4.18 #8 Sat Mar 9 15:33:15 CET 2002 i686 unknown
Architecture: i686
SuSE 7.3
host: i686-pc-linux-gnu
build: i686-pc-linux-gnu
target: i686-pc-linux-gnu
configured with: ../gcc/configure --enable-shared --disable-nls --enable-threads=posix --enable-languages=c,c++,f77,objc
>Description:
gcc 3.1 rejects the comparison of a deque iterator versus a const deque
iterator. There is no problem when the order of the iterators is
changed. This is a regression with respect to STLport.
>How-To-Repeat:

source code tb3.C

#include <deque>
int main()
{
  using namespace std;

  deque<int> d(2);	
  deque<int>::iterator i;		
  deque<int>::const_iterator ci;

  i = d.begin();		
  ci = d.begin();
	
  if (i == ci) {}
  if (ci == i) {}							       
}

g++ -v -W -Wall tb3.C 
Reading specs from /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.1/specs
Configured with: ../gcc/configure --enable-shared --disable-nls --enable-threads=posix --enable-languages=c,c++,f77,objc
Thread model: posix
gcc version 3.1 20020427 (prerelease)
 /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.1/cc1plus -v -D__GNUC__=3 -D__GNUC_MINOR__=1 -D__GNUC_PATCHLEVEL__=0 -D__ELF__ -Dunix -D__gnu_linux__ -Dlinux -D__ELF__ -D__unix__ -D__gnu_linux__ -D__linux__ -D__unix -D__linux -Asystem=posix -D__NO_INLINE__ -D__STDC_HOSTED__=1 -D_GNU_SOURCE -Acpu=i386 -Amachine=i386 -Di386 -D__i386 -D__i386__ -D__tune_i686__ -D__tune_pentiumpro__ tb3.C -D__GNUG__=3 -D__DEPRECATED -D__EXCEPTIONS -D__GXX_ABI_VERSION=100 -quiet -dumpbase tb3.C -W -Wall -version -o /tmp/cc520xTS.s
GNU CPP version 3.1 20020427 (prerelease) (cpplib) (i386 Linux/ELF)
GNU C++ version 3.1 20020427 (prerelease) (i686-pc-linux-gnu)
	compiled by GNU C version 3.1 20020427 (prerelease).
ignoring nonexistent directory "NONE/include"
ignoring nonexistent directory "/usr/local/i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:
 /usr/local/include/g++-v3
 /usr/local/include/g++-v3/i686-pc-linux-gnu
 /usr/local/include/g++-v3/backward
 /usr/local/include
 /usr/local/lib/gcc-lib/i686-pc-linux-gnu/3.1/include
 /usr/include
End of search list.
tb3.C: In function `int main()':
tb3.C:13: no match for `std::_Deque_iterator<int, int&, int*>& == 
   std::_Deque_iterator<int, const int&, const int*>&' operator
/usr/local/include/g++-v3/bits/stl_deque.h:197: candidates are: bool 
   std::_Deque_iterator<_Tp, _Ref, _Ptr>::operator==(const 
   std::_Deque_iterator<_Tp, _Ref, _Ptr>&) const [with _Tp = int, _Ref = int&, 
   _Ptr = int*]

>Fix:
	
>Release-Note:
>Audit-Trail:
>Unformatted: