On Thu, Jun 23, 2016 at 12:41:53PM +0200, Eric Botcazou wrote:
> > This is candidate patch for the PR, which do not create SAVE_EXPR trees for
> > already assigned SSA_NAMEs.
> >
> > Patch survives reg&bootstrap on x86_64-linux-gnu.
> >
> > Thoughts?
>
> This looks like a layering violation, save_expr is a GENERIC thing so
> invoking
> it on an SSA_NAME is weird. How does this happen?
The gimplifier has been changed recently to use anonymous SSA_NAMEs instead
of temporary decls. And the gimplifier uses save_expr (which is a
gimplifier function BTW) on both not gimplified at all as well as partially
gimplified trees.
Jakub
