View Issue Details
ID | Project | Category | View Status | Date Submitted | Last Update |
---|---|---|---|---|---|
0001839 | 1003.1(2024)/Issue8 | Base Definitions and Headers | public | 2024-07-04 10:02 | 2024-07-11 15:55 |
Reporter | geoffclare | Assigned To | |||
Priority | normal | Severity | Editorial | Type | Error |
Status | Resolved | Resolution | Accepted | ||
Name | Geoff Clare | ||||
Organization | |||||
User Reference | |||||
Section | <float.h> | ||||
Page Number | 258, 259 | ||||
Line Number | 9050-9051, 9081 | ||||
Interp Status | --- | ||||
Final Accepted Text | |||||
Summary | 0001839: Incorrect use of "sup" in FLT_MIN eqn formula | ||||
Description | In the troff source the eqn formula for FLT_MIN is given as: b sup { e sub min ~ sup -1 } which says "e sub min" should be raised to the power -1 instead of having 1 subtracted from it. Careful examination of the resulting formula in the PDF shows the -1 is higher than it should be. The same mistake appears in part of the FLT_MIN_10_EXP formula. This can be treated as editorial, since it is clear from the normative text at line 9044 that "e sub min" is: Minimum negative integer such that FLT_RADIX raised to that power minus 1 is a normalized floating-point number (Also C17 has the correct formula, and the standard defers to C17 on this.) | ||||
Desired Action | In the troff source, change the two occurrences of:e sub min ~ sup -1to: e sub min - 1 | ||||
Tags | tc1-2024 |
Date Modified | Username | Field | Change |
---|---|---|---|
2024-07-04 10:02 | geoffclare | New Issue | |
2024-07-04 10:02 | geoffclare | Name | => Geoff Clare |
2024-07-04 10:02 | geoffclare | Section | => <float.h> |
2024-07-04 10:02 | geoffclare | Page Number | => 258, 259 |
2024-07-04 10:02 | geoffclare | Line Number | => 9050-9051, 9081 |
2024-07-04 10:02 | geoffclare | Interp Status | => --- |
2024-07-11 15:55 | Don Cragun | Status | New => Resolved |
2024-07-11 15:55 | Don Cragun | Resolution | Open => Accepted |
2024-07-11 15:55 | Don Cragun | Tag Attached: tc1-2024 |