OSDN Git Service

2010-04-20 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 20 Apr 2010 12:39:45 +0000 (12:39 +0000)
committerMasaki Muranaka <monaka@monami-software.com>
Sun, 23 May 2010 05:34:16 +0000 (14:34 +0900)
* 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

gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/ipa/ipa-pta-14.c
gcc/tree-ssa-structalias.c

index 6d2b760..9d17c22 100644 (file)
@@ -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.
 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
 
        * tree.h (TYPE_REF_IS_RVALUE): Define.
index c41a327..6f60e79 100644 (file)
@@ -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.
 2010-04-20  Jakub Jelinek  <jakub@redhat.com>
 
        * g++.dg/debug/dwarf2/rv1.C: New test.
index 074f44a..ffe16cc 100644 (file)
@@ -21,8 +21,8 @@ int main()
   void *p;
   a.p = (void *)&c;
   p = foo(&a, &a);
   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 ();
   ((struct X *)p)->p = (void *)0;
   if (a.p != (void *)0)
     abort ();
index c11d3b8..f9adb6b 100644 (file)
@@ -6094,13 +6094,7 @@ dump_sa_points_to_info (FILE *outfile)
     {
       varinfo_t vi = get_varinfo (i);
       if (!vi->may_have_pointers)
     {
       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);
     }
 }
       dump_solution_for_var (outfile, i);
     }
 }