Merge from mainline.
[official-gcc.git] / gcc / testsuite / gcc.dg / tree-ssa / pr14490-4.c
blob90a49bbdd64fd1fd4255771b543ba034c640793b
1 /* { dg-do compile } */
2 /* { dg-options "-fdump-tree-gimple -fwrapv" } */
3 int g(int x)
5 return (x + 10) < 0;
7 /* There should be no x < -10 and one x + 10. */
8 /* { dg-final { scan-tree-dump-times "< -10" 0 "gimple"} } */
9 /* { dg-final { scan-tree-dump-times "\\+ 10" 1 "gimple"} } */
10 /* { dg-final { cleanup-tree-dump "gimple" } } */