More on c-gimplify.c:gimplify_decl_stmt

[Richard Kenner]

    No, because the SAVE_EXPR gets gimplified, which only changes the
    internals of the SAVE_EXPR.  

Hmm... if we actually did it that way, I think it would address the more
major problem I wrote about.

But gimplify_save_expr says:

/*  Gimplify a SAVE_EXPR node.  EXPR_P points to the expression to
    gimplify.  After gimplification, EXPR_P will point to a new temporary
    that holds the original value of the SAVE_EXPR node.