This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: PATCH RFA: PR 29286: Handle placement new aliasing issues
> Sure, that is true, but nevertheless finalize_ref_all_pointers is
> going to indicate that any REF_ALL pointer may point to any call
> clobbered variable. I don't see what stops that.
OK, I may have misunderstood.
> As far as I can see that SMT would have to alias every other SMT in
> order to correctly implement CHANGE_DYNAMIC_TYPE_EXPR, so I don't
> think this would actually pessimize less.
I don't think so. If you say that CHANGE_DYNAMIC_TYPE_EXPR is a special
escape site and trace back which variables escape at it (like for variables
that escape in the call-clobbered sense), you could only include those
variables in the SMT.
--
Eric Botcazou