libstdc++/7286: placement operator delete issue

[dens@stl.sarov.ru]

>Number:         7286
>Category:       libstdc++
>Synopsis:       placement operator delete issue
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    unassigned
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Fri Jul 12 06:06:00 PDT 2002
>Closed-Date:
>Last-Modified:
>Originator:     Denis Nagorny
>Release:        gcc3-c++-3.0.1-3
>Organization:
>Environment:
Linux RedHat 7.2(Enigma)
gcc3-c++-3.0.1-3
libstdc++3-3.0.1-3
>Description:
libstdc++ doesn't define placement operators:
void operator delete(void *ptr,void *) throw()
void operator delete[](void *ptr,void *) throw()
such desrcibed in C++ standard (18.4.1,18.4.1.3-6,7)
Try to compile attached sample
>How-To-Repeat:
Try to compile attached sample
>Fix:

>Release-Note:
>Audit-Trail:
>Unformatted:
----gnatsweb-attachment----
Content-Type: application/octet-stream; name="test.cpp"
Content-Transfer-Encoding: base64
Content-Disposition: attachment; filename="test.cpp"

I2luY2x1ZGUgPG5ldz4KCmludCBtYWluKGludCxjaGFyKltdKQp7CiAgICB2b2lkICpwYyA9IG5l
dyBjaGFyOwogICAgdm9pZCAqcGEgPSBuZXcgY2hhclsxMF07CiAgICBvcGVyYXRvciBkZWxldGUo
cGMscGMpOwogICAgb3BlcmF0b3IgZGVsZXRlW10ocGEscGEpOwogICAgcmV0dXJuIDA7Cn0=