1  /* Test for bug where fold wrongly removed conversions to double and
       2     replaced them by conversions to float.  */
       3  
       4  #include "dfp-dbg.h"
       5  
       6  volatile float f = __builtin_inff ();
       7  volatile _Decimal32 d32 = 1e40DF;
       8  
       9  int
      10  main (void)
      11  {
      12    if ((double) f == (double) d32)
      13      FAILURE
      14  
      15    FINISH
      16  }