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