|
111
|
1 /* { dg-do link } */
|
|
|
2 /* { dg-options "-O2" } */
|
|
|
3
|
|
|
4 extern int link_error (int);
|
|
|
5
|
|
|
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
|
|
|
27 int main()
|
|
|
28 {
|
|
|
29 return 0;
|
|
|
30 }
|
