https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93745
--- Comment #12 from Jeffrey A. Law <law at redhat dot com> --- It would seem like C ought to be able to set the flag across the board. But Richi would know best if this is going to run afoul of of the alias oracle implementation & underlying gimple semantics. I vaguely recall a discussion on the lists WRT how to represent placement-new. I didn't follow it at the time. Without reviewing the thread it does seem helpful if we could see the placement-new in the IL.
