This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

[tree-ssa] obvious verify_flow_info improvement


Hi,
as discussed on edge splitting thread, I am testing and will commit this
as obvious.

Honza

2003-11-23  Jan Hubicka  <jh@suse.cz>
	* tree-cfg.c (tree_verify_flow_info): Check that ENTRY/EXIT block
	has no instructions associated with it.
Index: tree-cfg.c
===================================================================
RCS file: /cvs/gcc/gcc/gcc/Attic/tree-cfg.c,v
retrieving revision 1.1.4.222
diff -c -3 -p -r1.1.4.222 tree-cfg.c
*** tree-cfg.c	21 Nov 2003 19:49:14 -0000	1.1.4.222
--- tree-cfg.c	23 Nov 2003 11:09:06 -0000
*************** tree_verify_flow_info (void)
*** 2782,2787 ****
--- 2782,2798 ----
    block_stmt_iterator bsi;
    tree stmt;
  
+   if (ENTRY_BLOCK_PTR->stmt_list)
+     {
+       error ("ENTRY_BLOCK has stmt list associated with it\n");
+       err = 1;
+     }
+   if (EXIT_BLOCK_PTR->stmt_list)
+     {
+       error ("EXIT_BLOCK has stmt list associated with it\n");
+       err = 1;
+     }
+ 
    FOR_EACH_BB (bb)
      {
        edge e;


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]