1  /* { dg-do compile } */
       2  /* { dg-options "-O2 -fno-strict-aliasing -fdump-tree-optimized" } */
       3  /* { dg-require-effective-target label_values } */
       4  
       5  void foo (int b)
       6  {
       7    void *p;
       8  lab:
       9    if (b)
      10      p = &&lab;
      11    else
      12      {
      13  lab2:
      14        p = &&lab2;
      15      }
      16    *(char *)p = 1;
      17  }
      18  
      19  /* We should keep the store to the label locations.  */
      20  /* { dg-final { scan-tree-dump " = 1;" "optimized" } } */