gcc/testsuite/gcc.dg/tree-ssa/20040513-2.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O1 -fdump-tree-dom2" } */
   3 int link_error(void);
   4 int s(void);
   5
   6 int t(int i)
   7 {
   8   _Bool g = i == 4;
   9  int h = g;
  10  _Bool j = h;
  11  int k = j;
  12  _Bool l = k == 0;
  13  _Bool o = !l;
  14  int m = o;
  15
  16  if (m)
  17   if (i != 4)
  18    return link_error();
  19  return 0;
  20 }
  21
  22 /* There should be no link_error calls, if there is any, the
  23    optimization has failed */
  24 /* { dg-final { scan-tree-dump-times "link_error" 0 "dom2"} } */
  25 /* { dg-final { cleanup-tree-dump "dom2" } } */