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

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

[Paolo Carlini]

The following reply was made to PR libstdc++/6503; it has been noted by GNATS.

From: Paolo Carlini <pcarlini@unitus.it>
To: gcc-gnats@gcc.gnu.org,  gcc-prs@gcc.gnu.org,  gcc-bugs@gcc.gnu.org, 
 paolo@gcc.gnu.org,  schmid@snake.iap.physik.tu-darmstadt.de
Cc:  
Subject: Re: libstdc++/6503: (Deque) Iterators are not typesafe
Date: Thu, 25 Jul 2002 13:38:13 +0200

 Of course I really meant 6642 not 6604.
 Sorry, Paolo.
 
 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=6503 
 
 

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

[paolo]

Synopsis: (Deque) Iterators are not typesafe

State-Changed-From-To: analyzed->closed
State-Changed-By: paolo
State-Changed-When: Thu Jul 25 04:34:46 2002
State-Changed-Why:
    Fixed for 3.2 and 3.3 together with the related 6604 and
    7186.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=6503

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

[paolo]

Synopsis: (Deque) Iterators are not typesafe

Responsible-Changed-From-To: unassigned->paolo
Responsible-Changed-By: paolo
Responsible-Changed-When: Wed May 29 02:46:23 2002
Responsible-Changed-Why:
    Working on it.
State-Changed-From-To: open->analyzed
State-Changed-By: paolo
State-Changed-When: Wed May 29 02:46:23 2002
State-Changed-Why:
    Confirmed. Patch applied to trunk:
    http://gcc.gnu.org/ml/gcc-patches/2002-05/msg01494.html

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=6503

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

[Peter Schmid]

>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: