1 /* { dg-do compile } */
2 /* { dg-options "-O -fdump-tree-sccp-details" } */
3 
4 /* To determine the number of iterations in this loop we need to fold
5    p_4 + 4B > p_4 + 8B to false.  This transformation has caused
6    troubles in the past due to overflow issues.  */
7 
foo(int * p)8 int foo (int *p)
9 {
10   int i = 0, *x;
11 
12   for (x = p; x < p + 2; x++)
13     i++;
14 
15   return i;
16 }
17 
18 /* { dg-final { scan-tree-dump "# of iterations 1, bounded by 1" "sccp" } } */
19