c++/8285: default arg doesn't work in vector

[nathan@gcc.gnu.org]

Synopsis: default arg doesn't work in vector

State-Changed-From-To: open->feedback
State-Changed-By: nathan
State-Changed-When: Sat Oct 19 08:25:13 2002
State-Changed-Why:
    I suspect coding error. You have no user defined copy constructor, therefore one is synthesized by the compiler. If it is ever invoked, you'll end up deleting the same int twice.
    
    Please confirm whether that fixes the problem or not.

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