This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Latent PTA bug?
- From: Diego Novillo <dnovillo at redhat dot com>
- To: Richard Guenther <rguenther at suse dot de>
- Cc: Daniel Berlin <dberlin at dberlin dot org>, gcc at gcc dot gnu dot org
- Date: Wed, 27 Jul 2005 08:48:43 -0400
- Subject: Re: Latent PTA bug?
- References: <Pine.LNX.4.58.0507271254520.21145@wotan.suse.de>
On Wed, Jul 27, 2005 at 01:08:38PM +0200, Richard Guenther wrote:
> Points-to sets
>
> _first_5 = { array }
> array = { }
> array.1 = { }
> con = { array }
> D.1810_8 = { array }
> _ptr_9 = { array }
> D.1809 = { array }
> D.1796 = { array }
> D.1794 = { array }
> D.1797_16 = { ANYTHING }
>
[ ... ]
> Points-to sets
>
> con = { array }
> array = { }
> array.1 = { }
> _ptr_8 = { array }
> D.1809 = { array }
> D.1796 = { array }
> D.1794 = { array }
> D.1797_16 = { ANYTHING }
>
PT solutions are correct. It seems like you are not translating
them correctly in find_what_p_points_to().