1  /* { dg-do compile } */
       2  /* { dg-require-effective-target nonlocal_goto } */
       3  
       4  int j_;
       5  void g (void);
       6  int jpgDecode_convert (unsigned i)
       7  {
       8    __label__ label;
       9    int j;
      10  
      11    inline void __attribute__((always_inline,leaf)) f(void)
      12      {		/* { dg-warning "'leaf' attribute has no effect" } */
      13        g();
      14      }
      15  
      16    void __attribute__((noinline)) read_buf_open (void)
      17      {
      18        goto label;
      19      }
      20  
      21    if (i != 0)
      22      f ();
      23    j = j_;
      24    read_buf_open ();
      25  label:
      26    return j;
      27  }