tree-ssa-copy.c (may_propagate_copy): Test flow sensitive alias information too.

        PR/27087
        * tree-ssa-copy.c (may_propagate_copy): Test flow sensitive
        alias information too.

        * gcc.c-torture/compile/pr27087.c: New test.

From-SVN: r112849

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index c5aa369..0588113 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2006-04-03  Jeff Law  <law@redhat.com>
+
+       PR/27087
+       * tree-ssa-copy.c (may_propagate_copy): Test flow sensitive
+       alias information too.
+
 2006-04-10  Mike Frysinger  <vapier@gentoo.org>
 
        * gcc/Makefile.in (gcc-cross): Add $(exeext) to target name.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 237a690..f71c86b 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2006-04-10  Jeff Law  <law@redhat.com>
+
+       PR/27087
+       * gcc.c-torture/compile/pr27087.c: New test.
+
 2006-04-10  Aldy Hernandez  <aldyh@redhat.com>
 
        PR/21391

diff --git a/gcc/testsuite/gcc.c-torture/compile/pr27087.c b/gcc/testsuite/gcc.c-torture/compile/pr27087.c
new file mode 100644 (file)
index 0000000..3add13b
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr27087.c
@@ -0,0 +1,23 @@
+extern int ptbl[4];
+extern int ctbl[4];
+
+void doViews(void) {
+    int  *c = ctbl, *p = ptbl;
+    while (1)
+  {
+        p++;
+        c++;
+        if (*p)
+        {
+            if (c == p)
+            {
+                if (*c)
+                    return;
+            }
+            else
+              return;
+        }
+    }
+
+    g();
+}

diff --git a/gcc/tree-ssa-copy.c b/gcc/tree-ssa-copy.c
index fca44d7..f1b67b5 100644 (file)
--- a/gcc/tree-ssa-copy.c
+++ b/gcc/tree-ssa-copy.c
@@ -117,6 +117,21 @@ may_propagate_copy (tree dest, tree orig)
       else if (get_alias_set (TREE_TYPE (type_d)) != 
               get_alias_set (TREE_TYPE (type_o)))
        return false;
+
+      /* Also verify flow-sensitive information is compatible.  */
+      if (SSA_NAME_PTR_INFO (orig) && SSA_NAME_PTR_INFO (dest))
+       {
+         struct ptr_info_def *orig_ptr_info = SSA_NAME_PTR_INFO (orig);
+         struct ptr_info_def *dest_ptr_info = SSA_NAME_PTR_INFO (dest);
+
+         if (orig_ptr_info->name_mem_tag
+             && dest_ptr_info->name_mem_tag
+             && orig_ptr_info->pt_vars
+             && dest_ptr_info->pt_vars
+             && !bitmap_intersect_p (dest_ptr_info->pt_vars,
+                                     orig_ptr_info->pt_vars))
+           return false;
+       }
     }
 
   /* If the destination is a SSA_NAME for a virtual operand, then we have