This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [tree-ssa] New regressions as of 2003-11-04
Hello,
> >Yes; the statement insertion/removal updates this mapping (but just for
> >sure I will create a patch that adds a test for this to
> >tree_verify_flow_info).
> Excellent.
here is the patch, bootstrapped and regtested on i686. No problems
found.
Zdenek
* tree-cfg.c (tree_verify_flow_info): Check that label_to_block
information is up-to-date.
Index: tree-cfg.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/Attic/tree-cfg.c,v
retrieving revision 1.1.4.202
diff -c -3 -p -r1.1.4.202 tree-cfg.c
*** tree-cfg.c 9 Nov 2003 16:03:38 -0000 1.1.4.202
--- tree-cfg.c 11 Nov 2003 01:26:58 -0000
*************** tree_verify_flow_info (void)
*** 3494,3499 ****
--- 3494,3513 ----
FOR_EACH_BB (bb)
{
+ for (bsi = bsi_start (bb); !bsi_end_p (bsi); bsi_next (&bsi))
+ {
+ stmt = bsi_stmt (bsi);
+ if (TREE_CODE (stmt) != LABEL_EXPR)
+ break;
+
+ if (label_to_block (LABEL_EXPR_LABEL (stmt)) != bb)
+ {
+ fprintf (stderr, "Label_to_block error in bb %d\n",
+ bb->index);
+ err = 1;
+ }
+ }
+
bsi = bsi_last (bb);
if (bsi_end_p (bsi))
continue;