28 lines
310 B
C
28 lines
310 B
C
/* 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;
|
|
}
|
|
|