1 /* { dg-do link } */
2 /* { dg-options "-O2" } */
3 
4 extern int link_error (int);
5 
tst2(int x,int y)6 int tst2 (int x, int y)
7 {
8   /* VRP should be able to extract range information for
9      x and y out of this TRUTH_AND_EXPR.  */
10   if ((x > 5555) && (y < 6666))
11     {
12       if (x > 5555)
13         if (y < 6666)
14           return 1111;
15         else
16           return link_error (2222);
17       else
18         if (y < 6666)
19           return link_error (3333);
20         else
21           return link_error (4444);
22     }
23   else
24     return 0;
25 }
26 
main()27 int main()
28 {
29   return 0;
30 }
31