IMA vs tree-ssa

[Richard Henderson]

On Thu, Feb 26, 2004 at 04:09:59PM -0800, Dale Johannesen wrote:
> The code in get_expr_operands() expects that *&x will get simplified,
> and aborts if it isn't.  Both suggested fixes run into this.

We cope with *(&x + c) not being folded; we should probably
do the same for *&x.

> Perhaps maybe_fold_offset_to_array_ref ought to ignore the type 
> "mismatch", at least when offset is 0.

I'm *really* uncomfortable with leaving these mismatches around.
We absolutely need to address them in some way that preserves,
rather than hacks around, the type system.


r~