The _to_float routine was apparently written to be able to take a 32 bit float bit representationa as well as a 64 bit double. But in a printf routine, that can never happen per the C standard (where floats are always promoted to doubles in varargs context). This was just hard-configured to 1 at the top of the file, and nothing else in the project sets "DOUBLE" to try to change it. Just remove it. If we ever want code to convert a float to a double in memory so we can use this routine, we have it in libgcc. Or even in hardware on the FPU where available. Change-Id: I796814c0fce3ce96faa34fde8da411a28c826699 Signed-off-by: Andy Ross <andrew.j.ross@intel.com> |
||
---|---|---|
.. | ||
libc | ||
Kbuild | ||
Kconfig | ||
Makefile |