1  /* PR middle-end/71494 */
       2  /* { dg-require-effective-target label_values } */
       3  
       4  int
       5  main ()
       6  {
       7    void *label = &&out;
       8    int i = 0;
       9    void test (void)
      10    {
      11      label = &&out2;
      12      goto *label;
      13     out2:;
      14      i++;
      15    }
      16    goto *label;
      17   out:
      18    i += 2;
      19    test ();
      20    if (i != 3)
      21      __builtin_abort ();
      22    return 0;
      23  }