Re: [PATCH] Improve PTA restrict handling for non-restrict pointers

On Mon, Feb 15, 2016 at 11:16 AM, Richard Biener wrote: > > Currently we only disambiguate restrict based accesses against pointer > based accesses that end up using a default def. The following removes > this restriction allowing disambiguation against any pointer based >

[PATCH] Improve PTA restrict handling for non-restrict pointers

Currently we only disambiguate restrict based accesses against pointer based accesses that end up using a default def. The following removes this restriction allowing disambiguation against any pointer based access where PTA computed that the pointer cannot point to one of the restrict tags we