|
Viewing Issue Simple Details
[ Jump to Notes ]
|
[ Issue History ]
[ Print ]
|
|
ID |
Category |
Severity |
Type |
Date Submitted |
Last Update |
|
0001839 |
[1003.1(2024)/Issue8] Base Definitions and Headers |
Editorial |
Error |
2024-07-04 10:02 |
2024-07-11 15:55 |
|
|
Reporter |
geoffclare |
View Status |
public |
|
|
Assigned To |
|
|
Priority |
normal |
Resolution |
Accepted |
|
|
Status |
Resolved |
|
|
|
|
|
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 -1 to:e sub min - 1
|
| Tags |
tc1-2024 |
|
|
Attached Files |
|
|
|
Relationships 
