/* { 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; | |
} |