1 /* { dg-do link { target int32plus } } */
2 /* { dg-options "-O2 -fdump-tree-fre1 -fdump-tree-evrp" } */
3 
4 extern void link_error ();
foo(int a)5 void foo (int a)
6 {
7   if (a < 0)
8     {
9       int y;
10       a = -a;
11       y  = a / 7;
12       y = y * 2;
13       if (y > 1 << 30)
14 	link_error ();
15     }
16 }
17 
main()18 int main()
19 {
20   return 0;
21 }
22 
23 /* { dg-final { scan-tree-dump-times "link_error" 1 "fre1" } } */
24 /* { dg-final { scan-tree-dump-times "link_error" 0 "evrp" } } */
25