1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1" } */
5 foo (unsigned int i, unsigned int j)
23 int baz (int x, int y)
33 /* { dg-final { scan-tree-dump-times "return 1;" 3 "vrp1" } } */
34 /* { dg-final { cleanup-tree-dump "vrp1" } } */