31 lines
534 B
C
31 lines
534 B
C
/* { dg-do link } */
|
|
/* { dg-options "-O2" } */
|
|
|
|
extern int link_error (int);
|
|
|
|
int tst2 (int x, int y)
|
|
{
|
|
/* VRP should be able to extract range information for
|
|
x and y out of this TRUTH_AND_EXPR. */
|
|
if ((x > 5555) && (y < 6666))
|
|
{
|
|
if (x > 5555)
|
|
if (y < 6666)
|
|
return 1111;
|
|
else
|
|
return link_error (2222);
|
|
else
|
|
if (y < 6666)
|
|
return link_error (3333);
|
|
else
|
|
return link_error (4444);
|
|
}
|
|
else
|
|
return 0;
|
|
}
|
|
|
|
int main()
|
|
{
|
|
return 0;
|
|
}
|