http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58772
--- Comment #8 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Richard Biener from comment #3) > Paolo, does libstdc++ provide a custom allocator for aligned memory? PR 55727 > Is this issue going to be resolved with C++1y? There is a NB comment requesting the inclusion of N3396 in C++14, but that seems unlikely at this point. Hopefully C++17, as Paolo says.