1 /* PR optimization/9325  */
2 
3 #include <limits.h>
4 
5 extern void abort (void);
6 
f1()7 int f1()
8 {
9   return (int)2147483648.0f;
10 }
11 
f2()12 int f2()
13 {
14   return (int)(float)(2147483647);
15 }
16 
main()17 int main()
18 {
19 #if INT_MAX == 2147483647
20   if (f1() != 2147483647)
21     abort ();
22   if (f2() != 2147483647)
23     abort ();
24 #endif
25   return 0;
26 }
27 
28