Synopsis: operator delete[] does not receive original array size
State-Changed-From-To: analyzed->closed
State-Changed-By: mmitchel
State-Changed-When: Wed Jul 18 21:30:01 2001
State-Changed-Why:
Fixed in GCC 3.1.
http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&pr=113&database=gcc