What to remove after tree-ssa is merged?

[Richard Kenner]

    e.g. in previously mentioned examples a COMPONENT_REF where the actual
    offset depends on the size of an array which depends on the value of a
    variable.

No, that's not correct.  It doesn't depend on the value of a
*variable* but on a value within the instance of the type.  There is
nothing to make it explicit *into* since the intent of the node is
that the value is to be obtained individually and at run-time from
each instance of an object of that type.