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.
