------- Comment #2 from jakub at gcc dot gnu dot org  2008-11-14 09:00 -------
3 possible ways to fix this:
1) in get_addr_dereference_operands use if (v_ann && v_ann->symbol_mem_tag)
2) in get_addr_dereference_operands use get_var_ann (ptr) instead of var_ann
(ptr).
3) 
--- gimplify.c.jj        2008-11-13 15:02:56.000000000 +0100
+++ gimplify.c        2008-11-14 09:50:53.000000000 +0100
@@ -7566,6 +7566,10 @@ gimple_regimplify_operands (gimple stmt,
       break;
     }

+  if (gimple_referenced_vars (cfun))
+    for (t = gimplify_ctxp->temps; t ; t = TREE_CHAIN (t))
+      add_referenced_var (t);
+
   if (!gimple_seq_empty_p (pre))
     {
       if (gimple_in_ssa_p (cfun))
@@ -7580,10 +7584,6 @@ gimple_regimplify_operands (gimple stmt,
   if (post_stmt)
     gsi_insert_after (gsi_p, post_stmt, GSI_NEW_STMT);

-  if (gimple_referenced_vars (cfun))
-    for (t = gimplify_ctxp->temps; t ; t = TREE_CHAIN (t))
-      add_referenced_var (t);
-
   pop_gimplify_context (NULL);
 }


By marking all new vars as referenced in gimplify_regimplify_operands before
mark_symbols_for_renaming get_var_ann is called before update_stmt and var_ann
in it.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=38104

Reply via email to