1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fno-strict-aliasing -fdump-tree-optimized" } */
3 /* { dg-require-effective-target label_values } */
4 
foo(int b)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" } } */
21