IMA vs tree-ssa

[Dale Johannesen]

On Feb 26, 2004, at 3:47 PM, law@redhat.com wrote:
>> Because it's an array, so you get array = scalar.
> Ahhh.  Then we ought to have a type test before returning base in that
> code.
>
>>> If OFFSET is nonzero, then we'll fall out returning NULL_TREE which
>>> indicates that we couldn't simplify -- which ought to just inhibit
>>> an optimization.
>>
>> Actually, I applied the fix rth suggested and now get an abort earlier
>> building 176.gcc.
>> Stay tuned.
> OK.  Eagerly awaiting the next issue.

The code in get_expr_operands() expects that *&x will get simplified,
and aborts if it isn't.  Both suggested fixes run into this.

Perhaps maybe_fold_offset_to_array_ref ought to ignore the type 
"mismatch",
at least when offset is 0.    I can't see that *&x (for x an array) 
should ever be
anything but x[0].  Let me try that...