2 /* { dg-do compile } */
3 /* { dg-options "-O -ftree-vrp -fno-tree-ccp -fdump-tree-optimized" } */
15 /* { dg-final { scan-tree-dump "return 0;" "optimized" } } */
16 /* { dg-final { scan-tree-dump "return 1;" "optimized" } } */
17 /* { dg-final { cleanup-tree-dump "optimized" } } */