This is the mail archive of the
gcc-bugs@gcc.gnu.org
mailing list for the GCC project.
[Bug tree-optimization/16225] [3.5 regression] ICE: verify_ssa failed.
- From: "zhangjie at magima dot com dot cn" <gcc-bugzilla at gcc dot gnu dot org>
- To: gcc-bugs at gcc dot gnu dot org
- Date: 1 Aug 2004 16:09:46 -0000
- Subject: [Bug tree-optimization/16225] [3.5 regression] ICE: verify_ssa failed.
- References: <20040627065304.16225.debian-gcc@lists.debian.org>
- Reply-to: gcc-bugzilla at gcc dot gnu dot org
------- 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