libstdc++/8780: std::vector iterators not recognized as pointers by templates in certain cases

[paolo@gcc.gnu.org]

Synopsis: std::vector iterators not recognized as pointers by templates in certain cases

Responsible-Changed-From-To: unassigned->paolo
Responsible-Changed-By: paolo
Responsible-Changed-When: Mon Dec  2 05:31:05 2002
Responsible-Changed-Why:
    Analyzed (with Gaby)
State-Changed-From-To: open->feedback
State-Changed-By: paolo
State-Changed-When: Mon Dec  2 05:31:05 2002
State-Changed-Why:
    This seems just a QoI issue. The wording of 24.1,(1,2) do
    *not* imply that an iterator *is* a pointer (it says that
    iterators are abstractions of pointers, that they support
    *i, and so on, this is different). Indeed, in some
    implementations (e.g., v2 bundled with 2.95.x) they are just
    pointers but this doesn't mean that the current
    implementation is non conforming. Do you agree?
    Thanks, Paolo.

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