------- Comment #95 from rguenth at gcc dot gnu dot org 2007-05-18 20:55 ------- But construction/initialization of uninitalized memory in <memory> happens with placement new! So we're back to square one. What this PR initially was about is a fixed type memory allocator in C++ which needs to change memory from allocated type T to free-space-managing-structure S at deallocation time and the other way around at allocation time. We absolutely _have_ to handle this case correct. And we need to optimize the <memory> routines that use placement new, because they resemble patterns used in libraries like POOMA or Boost.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29286
