https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110137
--- Comment #22 from Jason Merrill <jason at gcc dot gnu.org> --- But as Jonathan says in comment 10, the replaceable operator new is shared by the whole program, so I don't see why we would need a per-call flag for the global memory aliasing property; either the function touches global memory or it doesn't.
