[tree-ssa] New regressions as of 2003-11-04

[Zdenek Dvorak]

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;