https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64128
--- Comment #1 from Eelis <gcc-bugzilla at contacts dot eelis.net> --- Hmm, std::allocator::allocate calls ::operator new, which may be user-defined, so maybe there is no practical way to detect whether it is really using malloc. :(
