/* { dg-options "-g" } */

void bar (void);

static int
foo (int x, int y)
{
  if (y)
    goto lab;
  if (x)
    y = 0;
  if (y)
    goto lab;
  y = 0;
lab:
  return y;
}

void
baz (int x, int y)
{
  y = foo (x, y);
  if (y != 0)
    bar ();
}