2010-04-20 Richard Guenther <rguenther@suse.de>

	* tree-ssa-structalias.c (do_structure_copy): Properly handle
	DEREF.
	(dump_sa_points_to_info): Remove asserts.
	(init_base_vars): nothing_id isn't an escape point nor does it
	have pointers.

	* gcc.dg/ipa/ipa-pta-14.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@158553 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 6d2b760..9d17c22 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2010-04-20  Richard Guenther  <rguenther@suse.de>
+
+       * tree-ssa-structalias.c (do_structure_copy): Properly handle
+       DEREF.
+       (dump_sa_points_to_info): Remove asserts.
+       (init_base_vars): nothing_id isn't an escape point nor does it
+       have pointers.
+
 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
 
        * tree.h (TYPE_REF_IS_RVALUE): Define.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index c41a327..6f60e79 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2010-04-20  Richard Guenther  <rguenther@suse.de>
+
+       * gcc.dg/ipa/ipa-pta-14.c: New testcase.
+
 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
 
        * g++.dg/debug/dwarf2/rv1.C: New test.

diff --git a/gcc/testsuite/gcc.dg/ipa/ipa-pta-14.c b/gcc/testsuite/gcc.dg/ipa/ipa-pta-14.c
index 074f44a..ffe16cc 100644 (file)
--- a/gcc/testsuite/gcc.dg/ipa/ipa-pta-14.c
+++ b/gcc/testsuite/gcc.dg/ipa/ipa-pta-14.c
@@ -21,8 +21,8 @@ int main()
   void *p;
   a.p = (void *)&c;
   p = foo(&a, &a);
-  /* { dg-final { scan-ipa-dump "foo.result = { NULL a\[^ \]* c\[^ \]* }" "pta" { xfail *-*-* } } } */
-  /* { dg-final { scan-ipa-dump "foo.result = { NULL a\[^ \]* a\[^ \]* c\[^ \]* }" "pta" } } */
+  /* { dg-final { scan-ipa-dump "foo.result = { NULL a c }" "pta" { xfail *-*-* } } } */
+  /* { dg-final { scan-ipa-dump "foo.result = { NULL a a\[^ \]* c }" "pta" } } */
   ((struct X *)p)->p = (void *)0;
   if (a.p != (void *)0)
     abort ();

diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c
index c11d3b8..f9adb6b 100644 (file)
--- a/gcc/tree-ssa-structalias.c
+++ b/gcc/tree-ssa-structalias.c
@@ -6094,13 +6094,7 @@ dump_sa_points_to_info (FILE *outfile)
     {
       varinfo_t vi = get_varinfo (i);
       if (!vi->may_have_pointers)
-       {
-         gcc_assert (find (i) == i
-                     || !(vi = get_varinfo (find (i)))->may_have_pointers);
-         /* ???  See create_variable_info_for.
-            gcc_assert (bitmap_empty_p (vi->solution));  */
-         continue;
-       }
+       continue;
       dump_solution_for_var (outfile, i);
     }
 }