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]

Re: [tcb] Fix various aliasing and verification problems


Devang Patel wrote:

I am debugging this right now. This is the first time I am starring at TCB sources but if any alarm rings in your mind...

Hmm, I wonder if it's the same bug I'm chasing. Try adding this patch and see if it ICEs on this test. Just do 'make cc1' because it's likely that you won't be able to build libgcc with this enabled.


Diego.
Index: tree-into-ssa.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/tree-into-ssa.c,v
retrieving revision 2.34
diff -d -u -p -r2.34 tree-into-ssa.c
--- tree-into-ssa.c	29 Nov 2004 20:02:07 -0000	2.34
+++ tree-into-ssa.c	7 Dec 2004 20:11:46 -0000
@@ -1180,8 +1232,11 @@ ssa_rewrite_stmt (struct dom_walk_data *
 static inline void
 rewrite_operand (use_operand_p op_p)
 {
-  if (TREE_CODE (USE_FROM_PTR (op_p)) != SSA_NAME)
-    SET_USE (op_p, get_reaching_def (USE_FROM_PTR (op_p)));
+  tree var = USE_FROM_PTR (op_p);
+  if (TREE_CODE (var) != SSA_NAME)
+    SET_USE (op_p, get_reaching_def (var));
+  else
+    gcc_assert (var == get_reaching_def (SSA_NAME_VAR (var)));
 }
 
 /* Register DEF (an SSA_NAME) to be a new definition for its underlying

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