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
Documentation in comments says:
This is used on platforms that support double by using the
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").
More information about the Newlib