The following issue has been SUBMITTED. ====================================================================== https://www.austingroupbugs.net/view.php?id=1754 ====================================================================== Reported By: Vincent Lefevre Assigned To: ====================================================================== Project: Issue 8 drafts Issue ID: 1754 Category: Base Definitions and Headers Type: Error Severity: Objection Priority: normal Status: New Name: Vincent Lefevre Organization: Inria User Reference: Section: <float.h> header Page Number: 259 Line Number: 9089 Final Accepted Text: ====================================================================== Date Submitted: 2023-06-29 11:15 UTC Last Modified: 2023-06-29 11:15 UTC ====================================================================== Summary: formula for LDBL_MAX may be incorrect, e.g. for the double-double IBM format Description: For the maximum representable finite floating-point number, the formula (1−b^(−p))b^emax is given, but this formula is incorrect for LDBL_MAX on PowerPC, where the double-double IBM format is used.
For the reference: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61399 For the LDBL_MAX issue, this was resolved as a defect in the C standard by DR 467, mentioned here: https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2092.htm Desired Action: Do the same change as in the C standard, i.e. add "if that number is normalized, its value is". Note that the ISO C23 draft has: "maximum representable finite floating-point number; if that number is normalized, its value is [the formula]" ====================================================================== Issue History Date Modified Username Field Change ====================================================================== 2023-06-29 11:15 Vincent LefevreNew Issue 2023-06-29 11:15 Vincent LefevreName => Vincent Lefevre 2023-06-29 11:15 Vincent LefevreOrganization => Inria 2023-06-29 11:15 Vincent LefevreSection => <float.h> header 2023-06-29 11:15 Vincent LefevrePage Number => 259 2023-06-29 11:15 Vincent LefevreLine Number => 9089 ======================================================================