PR 23714

        * tree-cfg.c (mark_array_ref_addressable_1): New.
        (mark_array_ref_addressable): New.
        * tree-flow.h (mark_array_ref_addressable): Declare.
        * tree-optimize.c (execute_cleanup_cfg_post_optimizing): Use it.


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

1 files changed, 33 insertions, 0 deletions

diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index d5d466edf49..74e6063c0ab 100644
--- a/gcc/tree-cfg.c
+++ b/gcc/tree-cfg.c
@@ -421,6 +421,39 @@ fold_cond_expr_cond (void)
     }
 }
 
+/* Mark the array of any remaining ARRAY_REFs as addressable.  */
+
+static tree
+mark_array_ref_addressable_1 (tree *tp, int *walk_subtrees,
+			      void *data ATTRIBUTE_UNUSED)
+{
+  tree t = *tp;
+
+  if (DECL_P (t) || TYPE_P (t))
+    *walk_subtrees = 0;
+  else if (TREE_CODE (t) == ARRAY_REF)
+    {
+      tree base = get_base_address (TREE_OPERAND (t, 0));
+      if (base && DECL_P (base))
+	TREE_ADDRESSABLE (base) = 1;
+    }
+
+  return NULL_TREE;
+}
+
+void
+mark_array_ref_addressable (void)
+{
+  basic_block bb;
+  block_stmt_iterator i;
+
+  FOR_EACH_BB (bb)
+    {
+      for (i = bsi_start (bb); !bsi_end_p(i); bsi_next(&i))
+	walk_tree (bsi_stmt_ptr (i), mark_array_ref_addressable_1, NULL, NULL);
+    }
+}
+
 /* Join all the blocks in the flowgraph.  */
 
 static void