https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67570
Joseph S. Myers changed:
What|Removed |Added
Status|UNCONFIRMED |RESOLVED
Resolution|---
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67570
--- Comment #4 from BENAÏSSA ---
Thank you very much for your reply.
Please do not take care of the first set of values for
MIN_NORMALIZED and in place you can test those new values.
MIN_NORMALIZED
1.755494 E-038 for float
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67570
--- Comment #2 from BENAÏSSA ---
Thank you for your reply.
A.BENAÏSSA
Post scriptum:
Please can you confirm if you have time that the following
positive floating point values are correct.
--
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67570
--- Comment #3 from joseph at codesourcery dot com ---
I advise looking at __FLT_MAX__, __FLT_MIN__, __FLT_DENORM_MIN__ etc. as
predefined by the compiler to see the appropriate values of various
constants.
> Multiplying (float)MIN_NORMALIZED
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67570
--- Comment #1 from joseph at codesourcery dot com ---
If I understand what you are doing correctly, this is an unnormal
representation (exponent not zero or maximal, explicit MSB of mantissa
zero). Such representations, which cannot be
