https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110137
--- Comment #19 from Jason Merrill <jason at gcc dot gnu.org> --- As I was suggesting on IRC, I think CALL_FROM_NEW_OR_DELETE_P already has the semantics we want, we could also set it on direct calls when assuming sane op new/delete. And maybe rename it to something like CALL_REMOVABLE_NEW_OR_DELETE_P?