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 oof()10oof () 11 { 12 int live_head; 13 int * live = &live_head; 14 15 if (live) 16 bitmap_clear (live); 17 } 18 19 void foo(int n)20foo(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" } } */ 33