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