Re: Aliasing: look through pointer's def stmt

[Jeff Law]

On 10/25/13 03:29, Marc Glisse wrote:

It doesn't get lost, but this is the missed optimization that malloc
results still alias with global pointers (here a function argument).
Taking into account the offset shouldn't change anything.

I think this is a different issue (but if you say improving malloc would
help, maybe).
Has the patent on Steensgaard's techniques expired yet?  IIRC it would 
handle this kind of stuff quite well.

Jeff