1  /* PR optimization/9325  */
       2  
       3  #include <limits.h>
       4  
       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  
      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