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)7 foo (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