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
0001754 [Issue 8 drafts] Base Definitions and Headers Objection Error 2023-06-29 11:15 2024-06-11 09:12
Reporter Vincent Lefevre View Status public  
Assigned To
Priority normal Resolution Accepted As Marked  
Status Closed   Product Version Draft 3
Name Vincent Lefevre
Organization Inria
User Reference
Section <float.h> header
Page Number 259
Line Number 9089
Final Accepted Text Note: 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: [^]

For the LDBL_MAX issue, this was resolved as a defect in the C standard by DR 467, mentioned here: [^]
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
Attached Files

- Relationships

-  Notes
geoffclare (manager)
2023-07-24 16:22

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.

- Issue History
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 => Note: 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

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