BUGREPORT: documentation of define variable has wrong variable name _DOUBLE_IS_32_BITS should be _DOUBLE_IS_32BITS

Thu Jul 10 20:05:00 GMT 2008

newlib-1.16.0/newlib/libc/include/machine/ieeefp.h

Documentation in comments says:

   _DOUBLE_IS_32_BITS

        This is used on platforms that support double by using the 
32-bit IEEE
        float type.

however correct define constant name should be _DOUBLE_IS_32BITS. If 
_DOUBLE_IS_32_BITS is set instead various float functions doesn't work 
properly including printf("%f").

Mikael LepistÃ¶