1 /* { dg-do compile } */
2 /* { dg-options "-O -fdump-tree-forwprop1 -fdump-tree-ccp1" } */
3 
foo(int x)4 int foo (int x)
5 {
6   int tem = x / 3;
7   return tem / 5;
8 }
bar(int x)9 int bar (int x)
10 {
11   int tem = x / 3;
12   return tem / (__INT_MAX__ / 2);
13 }
14 
15 /* { dg-final { scan-tree-dump "x_.\\(D\\) / 15" "forwprop1" } } */
16 /* { dg-final { scan-tree-dump "return 0;" "ccp1" } } */
17