More questions related to gimplification

[Diego Novillo]

On Mon, 2004-08-16 at 06:25, Nathanael Nerode wrote:
> Is it possible to have a MODIFY_EXPR going into gimplify_modify_expr,
> such that
> (1) The LHS is_gimple_reg_type (TREE_TYPE(lhs))
> (2) The RHS, after gimplification, is *not*
>
I don't see how.  The two types had better be the same before and after
gimplification.

> or
> (1) The RHS, after gimplification, is_gimple_reg_type (TREE_TYPE(lhs))
> (2) The LHS is *not*
> 
Similarly.

If the LHS and RHS have different types, I don't think we would ever get
into the gimplifier, so I'm not sure a check there would have much
effect.


Diego.