2008-01-02 Luis Machado * doublest.c (convert_floatformat_to_doublest): Call floatformat_to_doublest instead of floatformat_to_double and use DOUBLEST variables. Index: gdb/doublest.c =================================================================== --- gdb.orig/doublest.c 2008-01-02 07:52:14.000000000 -0800 +++ gdb/doublest.c 2008-01-02 07:53:06.000000000 -0800 @@ -202,19 +202,19 @@ if (fmt->split_half) { - double dtop, dbot; - floatformat_to_double (fmt->split_half, ufrom, &dtop); + DOUBLEST dtop, dbot; + floatformat_to_doublest (fmt->split_half, ufrom, &dtop); /* Preserve the sign of 0, which is the sign of the top half. */ if (dtop == 0.0) { - *to = (DOUBLEST) dtop; + *to = dtop; return; } - floatformat_to_double (fmt->split_half, + floatformat_to_doublest (fmt->split_half, ufrom + fmt->totalsize / FLOATFORMAT_CHAR_BIT / 2, &dbot); - *to = (DOUBLEST) dtop + (DOUBLEST) dbot; + *to = dtop + dbot; return; }