gcc/testsuite/gcc.dg/tree-ssa/ssa-dse-51.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O -fstrict-aliasing -fdump-tree-dse1-details" } */
   3
   4 int a;
   5 short *p;
   6 void
   7 test (int b)
   8 {
   9   a=1;
  10   if (b)
  11     {
  12       (*p)++;
  13       a=2;
  14       __builtin_printf ("1\n");
  15     }
  16   else
  17     {
  18       (*p)++;
  19       a=3;
  20       __builtin_printf ("2\n");
  21     }
  22 }
  23
  24 /* { dg-final { scan-tree-dump "Deleted dead store: a = 1;" "dse1" } } */