View Issue Details
ID | Project | Category | View Status | Date Submitted | Last Update |
---|---|---|---|---|---|
0001754 | Issue 8 drafts | Base Definitions and Headers | public | 2023-06-29 11:15 | 2024-06-11 09:12 |
Reporter | Vincent Lefevre | Assigned To | |||
Priority | normal | Severity | Objection | Type | Error |
Status | Closed | Resolution | Accepted As Marked | ||
Product Version | Draft 3 | ||||
Name | Vincent Lefevre | ||||
Organization | Inria | ||||
User Reference | |||||
Section | <float.h> header | ||||
Page Number | 259 | ||||
Line Number | 9089 | ||||
Final Accepted Text | 0001754:0006401 | ||||
Summary | 0001754: 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]" | ||||
Tags | applied_after_i8d3, issue8 |
|
On page 260 line 9123 section <float.h>, change FUTURE DIRECTIONS from "None" to:The formula for calculating FLT_MAX, DBL_MAX, and LDBL_MAX is expected to change in the next revision of the ISO C standard such that it only applies if the values are normalized. |
Date Modified | Username | Field | Change |
---|---|---|---|
2023-06-29 11:15 | Vincent Lefevre | New Issue | |
2023-06-29 11:15 | Vincent Lefevre | Name | => Vincent Lefevre |
2023-06-29 11:15 | Vincent Lefevre | Organization | => Inria |
2023-06-29 11:15 | Vincent Lefevre | Section | => <float.h> header |
2023-06-29 11:15 | Vincent Lefevre | Page Number | => 259 |
2023-06-29 11:15 | Vincent Lefevre | Line Number | => 9089 |
2023-07-24 16:22 | geoffclare | Note Added: 0006401 | |
2023-07-24 16:23 | geoffclare | Final Accepted Text | => 0001754:0006401 |
2023-07-24 16:23 | geoffclare | Status | New => Resolved |
2023-07-24 16:23 | geoffclare | Resolution | Open => Accepted As Marked |
2023-07-24 16:24 | geoffclare | Tag Attached: issue8 | |
2023-08-22 14:38 | geoffclare | Status | Resolved => Applied |
2023-08-22 14:38 | geoffclare | Tag Attached: applied_after_i8d3 | |
2024-06-11 09:12 | agadmin | Status | Applied => Closed |