[no subject]

[tbr1101@sun10.lrz-muenchen.de]

I think there are two bugs in Mintlib Pl30:

1) printf reports -0.0, that means 0x80000000 as NaN
2) divdf3 reports e.g. 0.0/2.4 as -0.0 (again 0x80000000 instead of 0x00000000)

Try this listing on an ST without Coprozessor:

#include <stdio.h>

tt(double a)
{
        double b,c,d;
        
        b = -a;
        c = a / 2.4;
        d = b / 2.4;
        
        printf("%f %f %f %f\n",a,b,c,d);
}

main()
{
        tt(0.0);
}       
        

Robert (rwilhelm@physik.tu-muenchen.de)

BTW: GCC 2.3.3Pl1 uses for 0.0 and -0.0 always 0x00000000.
Bug or feature ?