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]

Re: verify_flow_info checking fallthru edges


Jan Hubicka <jh@suse.cz> writes:

> St čec 25 15:59:40 CEST 2001  Jan Hubicka  <jh@suse.cz>
> 	* flow.c (verify_flow_info): Check the fallthru edges to not
> 	have barriers; check non-fallthru successors blocks to have
> 	barriers.
> 
> *** flow.c.old	Tue Jul 24 17:13:33 2001
> --- flow.c	Wed Jul 25 15:51:37 2001
> *************** verify_flow_info ()
> *** 8025,8044 ****
>         basic_block bb = BASIC_BLOCK (i);
>         /* Check corectness of edge lists */

It's "correctness".  Can you fix this together with a period at the
end?

>         edge e;
>   
>         e = bb->succ;
>         while (e)
>   	{
> ! 	  if ((e->flags & EDGE_FALLTHRU)
> ! 	      && e->src != ENTRY_BLOCK_PTR
> ! 	      && e->dest != EXIT_BLOCK_PTR
> ! 	      && (e->src->index + 1 != e->dest->index
> ! 		  || !can_fallthru (e->src, e->dest)))
>   	    {
> ! 	      error ("verify_flow_info: Incorrect fallthru edge %i->%i",
>  		     e->src->index, e->dest->index);
>   	      err = 1;
>  	    }
>   	    
>   	  if (e->src != bb)

This part of the patch does not apply correctly.  The code looks
different.

Bootstrapped/regtested on i686-linux as usual? ;-)

Andreas
-- 
 Andreas Jaeger
  SuSE Labs aj@suse.de
   private aj@arthur.inka.de
    http://www.suse.de/~aj


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