/* { dg-do compile } */
/* { dg-require-effective-target nonlocal_goto } */

int j_;
void g (void);
int jpgDecode_convert (unsigned i)
{
  __label__ label;
  int j;

  inline void __attribute__((always_inline,leaf)) f(void)
    {		/* { dg-warning "'leaf' attribute has no effect" } */
      g();
    }

  void __attribute__((noinline)) read_buf_open (void)
    {
      goto label;
    }

  if (i != 0)
    f ();
  j = j_;
  read_buf_open ();
label:
  return j;
}