On Tue, 29 Nov 2005, Daniel Berlin wrote:
> On Tue, 2005-11-29 at 22:08 +0100, Richard Guenther wrote:
> > The patch below teaches points-to analysis about restrict qualifiers
> > of incoming parameters. It is modeled after the special handling
> > of malloc result type pointers, namely creating
On Tue, 2005-11-29 at 22:08 +0100, Richard Guenther wrote:
> The patch below teaches points-to analysis about restrict qualifiers
> of incoming parameters. It is modeled after the special handling
> of malloc result type pointers, namely creating fake variables we
> point to and thus trigger creat
The patch below teaches points-to analysis about restrict qualifiers
of incoming parameters. It is modeled after the special handling
of malloc result type pointers, namely creating fake variables we
point to and thus trigger creation of NMTs. Unfortunately it doesn't
exactly work, as for the te
