1 /* { dg-do compile } */ 2 /* { dg-options "-O -fdump-tree-optimized" } */ 3 4 extern void abort (void); 5 6 unsigned int foo(unsigned int x,unsigned int y)7foo (unsigned int x, unsigned int y) 8 { 9 unsigned int z; 10 11 if (x >= y) 12 return 1; 13 14 if (y == x) 15 abort (); 16 17 return 0; 18 } 19 20 /* { dg-final { scan-tree-dump-not "abort" "optimized" } } */ 21