Tree sharing issues...

[Jan Hubicka]

> On Wed, 2003-11-19 at 18:17, Jan Hubicka wrote:
> 
> > It pretty much match what you are mentioning.
> > The array reference above is other stuff.  If you think it makes
> > sense, I will add check for ARRAY_REF with all operands passing
> > is_gimple_min_invariant.  DOes that sound plausible?
> >
> In general, we must not allow sharing of any expression that may contain
> an operand inside.  I'd use the different get_expr_operands handlers as
> a guide.  If a handler calls add_stmt_operand with one of its operands,
> then that node must not be shared.
Hmm, then we are unsafe even on is_gimple_min_invariant, as we
add_stmt_operand ADDR_EXPRs that may apepar inside invariant PLUS_EXPR
and then we get things very terribly wrong in CCP and DOM, or is
ADDR_EXPR an exception?

Honza
> 
> 
> Diego.