This is the mail archive of the
newlib@sourceware.org
mailing list for the newlib project.
Printing single-precision floating point values
- From: Uladzislau Paulovich <selatnick at gmail dot com>
- To: newlib at sourceware dot org
- Date: Wed, 10 Jun 2015 21:54:55 +0300
- Subject: Printing single-precision floating point values
- Authentication-results: sourceware.org; auth=none
How to use printf() function to print single-precision floating point
values on the architecture that doesn't support double-precision
floating point values? I've just found out that vfprintf() function uses
"isinf(double)" function even for printing floats and therefore it
crashes on my target architecture (armv7m-hardfloat-eabi).
Thanks,
Uladzislau.