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().