/* Test for bug where fold wrongly removed conversions to double and replaced them by conversions to float. */#include"dfp-dbg.h"volatilefloat f =__builtin_inff();volatile _Decimal32 d32 =1e40DF;intmain(void){if((double) f == (double) d32)
FAILURE
FINISH
}