This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[PATCH] Fix gimple-fold


Hello,
I found ICE in Chromium compiled with LTO. There's a call that is proved by ipa-devirt as __builtin_unreachable; same decision is done by gimple-fold and this call is replaced by GIMPLE_CALL and GIMPLE_ASSIGN (in this order). After that condition for cgraph_update_edges_for_call_stmt_node is not satisfied and corresponding cgraph_edge is not updated. Thus a verifier reports a wrong edge.

Bootstrapped and tested on a x86_64 machine.


Changelog:
2014-03-18  Martin Liska  <mliska@suse.cz>

        * cgraph.c (cgraph_update_edges_for_call_stmt_node): added case when
        gimple call statement is updated.
        * gimple-fold.c (gimple_fold_call): changed order for GIMPLE_ASSIGN and
        GIMPLE_CALL, where gsi iterator still points to GIMPLE CALL.

OK for trunk?

Thank you,
Martin


diff --git a/gcc/cgraph.c b/gcc/cgraph.c
index a15b6bc..cd68894 100644
--- a/gcc/cgraph.c
+++ b/gcc/cgraph.c
@@ -1519,7 +1519,11 @@ cgraph_update_edges_for_call_stmt_node (struct cgraph_node *node,
 		{
 		  if (callee->decl == new_call
 		      || callee->former_clone_of == new_call)
-		    return;
+                    {
+                      cgraph_set_call_stmt (cgraph_edge (node, old_stmt),
+                                            new_stmt);
+		      return;
+                    }
 		  callee = callee->clone_of;
 		}
 	    }
diff --git a/gcc/gimple-fold.c b/gcc/gimple-fold.c
index eafdb2d..a033fbc 100644
--- a/gcc/gimple-fold.c
+++ b/gcc/gimple-fold.c
@@ -1153,8 +1153,14 @@ gimple_fold_call (gimple_stmt_iterator *gsi, bool inplace)
 		    {
 		      tree var = create_tmp_var (TREE_TYPE (lhs), NULL);
 		      tree def = get_or_create_ssa_default_def (cfun, var);
-		      gsi_insert_before (gsi, new_stmt, GSI_SAME_STMT);
-		      update_call_from_tree (gsi, def);
+
+                      /* To satisfy condition for
+                         cgraph_update_edges_for_call_stmt_node,
+                         we need to preserve GIMPLE_CALL statement
+                         at position of GSI iterator.  */
+                      gimple_stmt_iterator oldgsi = *gsi;
+		      gsi_insert_before (gsi, new_stmt, GSI_NEW_STMT);
+		      update_call_from_tree (&oldgsi, def);
 		    }
 		  else
 		    gsi_replace (gsi, new_stmt, true);

Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]