Re: [PATCH][2/n] alias.c TLC

2012-06-15 Thread H.J. Lu
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

[PATCH][2/n] alias.c TLC

2012-06-11 Thread Richard Guenther
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