gcc/testsuite/gcc.dg/tree-ssa/pr61607.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-Os -fno-tree-fre -fdump-tree-dom1" } */
   3
   4 void foo(int *);
   5 void f2(int dst[3], int R)
   6 {
   7   int i, inter[2];
   8   _Bool inter0p = 0;
   9   _Bool inter1p = 0;
  10   for (i = 1; i < R; i++)
  11     {
  12       inter0p = 1;
  13       inter1p = 1;
  14     }
  15   if (inter0p)
  16     inter[0] = 1;
  17   if (inter1p)
  18     inter[1] = 1;
  19   foo(inter);
  20 }
  21
  22
  23 /* There should be precisely two conditionals.  One for the loop condition
  24    and one for the test after the loop.  Previously we failed to eliminate
  25    the second conditional after the loop.  */
  26 /* { dg-final { scan-tree-dump-times "if" 2 "dom1"} } */
  27
  28 /* { dg-final { cleanup-tree-dump "dom1" } } */
  29