Austin Group Defect Tracker

Aardvark Mark IV

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
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
e sub min - 1

Tags tc1-2024
Attached Files

- Relationships

There are no notes attached to this issue.

- Issue History
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

Mantis 1.1.6[^]
Copyright © 2000 - 2008 Mantis Group
Powered by Mantis Bugtracker