[Bug tree-optimization/16225] [3.5 regression] ICE: verify_ssa failed.
------- Additional Comments From zhangjie at magima dot com dot cn 2004-08-01 16:09 -------
I add the following check in verify_flow_insensitive_alias_info (). It shows
that there are some other mark_call_clobbered () call sites, which will fail the
check. I'm going to look them closer.
Index: tree-ssa.c
===================================================================
RCS file: /cvsroot/gcc/gcc/gcc/tree-ssa.c,v
retrieving revision 2.26
diff -C3 -p -r2.26 tree-ssa.c
*** tree-ssa.c 29 Jul 2004 20:16:26 -0000 2.26
--- tree-ssa.c 1 Aug 2004 14:38:57 -0000
*************** verify_flow_insensitive_alias_info (void
*** 368,373 ****
--- 368,386 ----
debug_variable (alias);
goto err;
}
+
+ if (is_call_clobbered (var) && !is_call_clobbered (alias))
+ {
+ error ("Variable is call-clobbered, but its alias is not.");
+ debug_variable (alias);
+ goto err;
+ }
+ else if (!is_call_clobbered (var) && is_call_clobbered (alias))
+ {
+ error ("Variable is not call-clobbered, but its alias is.");
+ debug_variable (alias);
+ goto err;
+ }
}
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=16225
------- You are receiving this mail because: -------
You reported the bug, or are watching the reporter.
Reply to: