| /* PR optimization/9325 */ | |
| #include <limits.h> | |
| extern void abort (void); | |
| int f1() | |
| { | |
| return (int)2147483648.0f; | |
| } | |
| int f2() | |
| { | |
| return (int)(float)(2147483647); | |
| } | |
| int main() | |
| { | |
| #if INT_MAX == 2147483647 | |
| if (f1() != 2147483647) | |
| abort (); | |
| if (f2() != 2147483647) | |
| abort (); | |
| #endif | |
| return 0; | |
| } | |