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
main(void)10 main (void)
11 {
12   if ((double) f == (double) d32)
13     FAILURE
14 
15   FINISH
16 }
17