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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O1 -ftree-vrp -fdump-tree-dom3" } */
   3
   4 extern void abort (void);
   5
   6 oof ()
   7 {
   8   int live_head;
   9   int * live = &live_head;
  10
  11   if (live)
  12    bitmap_clear (live);
  13 }
  14
  15 foo(int n)
  16 {
  17   int *space = (int *)__builtin_alloca (n);
  18
  19   if (space == 0)
  20     abort ();
  21   else
  22     bar (space);
  23 }
  24
  25
  26 /* There should be no IF conditionals.  */
  27 /* { dg-final { scan-tree-dump-times "if " 0 "dom3" } } */
  28 /* { dg-final { cleanup-tree-dump "dom3" } } */