On Mon, Jun 11, 2012 at 7:32 AM, Richard Guenther wrote:
>
> This makes ao_ref_from_mem less conservative if either MEM_OFFSET or
> MEM_SIZE is not set. From other alias.c code and
> set_mem_attributes_minus_bitpos one has to conclude that MEM_EXPR
> is always conservatively correct (it only can
This makes ao_ref_from_mem less conservative if either MEM_OFFSET or
MEM_SIZE is not set. From other alias.c code and
set_mem_attributes_minus_bitpos one has to conclude that MEM_EXPR
is always conservatively correct (it only can cover a larger memory
area) and the MEM_OFFSET / MEM_SIZE pair can