RFC: add inheritance support to nonoverlapping_component_refs_p

[Richard Henderson]

On Thu, May 30, 2002 at 10:56:58PM -0700, Dan Nicolaescu wrote:
> When compiling fail_c and fail_i 
> nonoverlapping_memrefs_p (x, y) returns false for
> 
> x = (mem/s/j:QI (plus:SI (reg/v/f:SI 107)
>         (const_int 8 [0x8])) [0 <variable>.f1+0 S1 A64])
>                                 ^^^^^^^^^^^^
>                                 this is probably a problem
> y = (mem/f:SI (lo_sum:SI (reg/f:SI 110)
>         (symbol_ref:SI ("fs1"))) [0 fs1+0 S4 A32])
> 
> because decl_for_component_ref (exprx) is NULL. 

Well, depends on how you look at it.  If we're focusing on
nonoverlapping_component_refs_p, then the problem is that
Y is missing its field reference.


r~