libstdc++/9747: allocator<T>::deallocate(*, int ) does not call ::operator delete(size_t).

[paolo@gcc.gnu.org]

Synopsis: allocator<T>::deallocate(*, int ) does not call ::operator delete(size_t).

Responsible-Changed-From-To: unassigned->paolo
Responsible-Changed-By: paolo
Responsible-Changed-When: Tue Feb 18 20:21:16 2003
Responsible-Changed-Why:
    Triaged.
State-Changed-From-To: open->closed
State-Changed-By: paolo
State-Changed-When: Tue Feb 18 20:21:16 2003
State-Changed-Why:
    This is well known and intended for performance sake.
    Look at include/bits/stl_alloc.h in your src distribution:
    a new/delete allocator is available via __new_alloc and, if
    you like, you can choose it at build time by simply changing
    the __alloc typedef.
    Thanks, Paolo.

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