This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Additional assert in life update
- From: Bernd Schmidt <bernds_cb1 at t-online dot de>
- To: GCC Patches <gcc-patches at gcc dot gnu dot org>
- Date: Thu, 02 Feb 2006 14:13:51 +0100
- Subject: Additional assert in life update
I've committed the following, after Joern found that update_life_info
doesn't work properly in the presence of fake edges.
Bootstrapped & regression tested on i686-linux.
Bernd
Index: ChangeLog
===================================================================
--- ChangeLog (revision 110513)
+++ ChangeLog (working copy)
@@ -1,3 +1,8 @@
+2006-02-02 Bernd Schmidt <bernd.schmidt@analog.com>
+
+ * flow.c (calculate_global_regs_live): Assert that there aren't any
+ EDGE_FAKE edges.
+
2006-02-02 Diego Novillo <dnovillo@redhat.com>
* tree-inline.c (copy_tree_r): Also copy OMP_CLAUSE nodes.
Index: flow.c
===================================================================
--- flow.c (revision 110513)
+++ flow.c (working copy)
@@ -1395,6 +1395,9 @@ calculate_global_regs_live (sbitmap bloc
FOR_EACH_EDGE (e, ei, bb->preds)
{
basic_block pb = e->src;
+
+ gcc_assert ((e->flags & EDGE_FAKE) == 0);
+
if (pb->aux == NULL)
{
*qtail++ = pb;