1 /* PR tree-optimization/49039 */
2 /* { dg-do compile } */
3 /* { dg-options "-O2 -fdisable-tree-evrp -fdump-tree-vrp1" } */
5 extern void bar (void);
8 foo (unsigned int x
, unsigned int y
)
10 unsigned int minv
, maxv
;
27 /* { dg-final { scan-tree-dump "Folding predicate minv_\[0-9\]* == 5 to 0" "vrp1" } } */
28 /* { dg-final { scan-tree-dump "Folding predicate minv_\[0-9\]* == 6 to 0" "vrp1" } } */
29 /* { dg-final { scan-tree-dump "Folding predicate maxv_\[0-9\]* == 5 to 0" "vrp1" } } */
30 /* { dg-final { scan-tree-dump "Folding predicate maxv_\[0-9\]* == 6 to 0" "vrp1" } } */