libstdc++/9213: vect.size() doesn't work proper

[reichelt@igpm.rwth-aachen.de]

Synopsis: vect.size() doesn't work proper

State-Changed-From-To: open->feedback
State-Changed-By: reichelt
State-Changed-When: Tue Jan  7 01:26:23 2003
State-Changed-Why:
    Please provide a self-contained testcase that fails for you
    and more informarion on your system.
    
    I cannot reproduce your problems.

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