/* Test whether jump threading doesn't ICE if redirecting the jump to exit
   block.  */

extern int bar ();
extern void baz ();

void foo ()
{
  int x;

  do
    {
      if ((x = bar ()) == 1)
	baz ();
    }
  while (x == 1);
}


syntax highlighted by Code2HTML, v. 0.9.1