On Wed, 2005-07-27 at 16:02 +0200, Richard Guenther wrote:
> On Wed, 27 Jul 2005, Diego Novillo wrote:
>
> > On Wed, Jul 27, 2005 at 03:09:09PM +0200, Richard Guenther wrote:
> >
> > > i.e. while we see that the temporary pointer points to array[0], for
> > > SFT.2_6 (i.p) we don't see anything? So if we'd see { SFT.1 } here, too,
> > > we'd be wrong in both cases. -> aka my bug, correct?
> > >
> > What is SFT.1? array[0]? Yes, that's your bug. may-alias sets
> > should have all of array's SFTs.
> >
> > > So why don't we get the points-to set for SFT.2_6?
> > >
> > The solver does not operate on SFTs. Both _p_5 and i should
> > point to array here.
>
> This seems to fix it. Am I poking at the right place? ;)
More or less.
What you want to say is that when we have &array, that we add anyoffset
to the points-to set, like we do with taking the address of the
structure.
