1  /* { dg-require-effective-target label_values } */
       2  
       3  f (int *re)
       4  {
       5    int *loops = 0, *loope = 0;
       6    unsigned dat0 = 0;
       7    static void *debug = &&firstdebug;
       8  
       9   firstdebug:
      10    g (loops, loope);
      11  
      12    if (dat0 & 1)
      13      re[(dat0 >> 2) & 3] = 0;
      14  }