gcc/testsuite/gcc.dg/tree-ssa/alias-34.c

   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" } } */