Viewing Issue Simple Details
[ Jump to Notes ]
|
[ Issue History ]
[ Print ]
|
ID |
Category |
Severity |
Type |
Date Submitted |
Last Update |
0001461 |
[1003.1(2016/18)/Issue7+TC2] System Interfaces |
Comment |
Clarification Requested |
2021-03-22 10:40 |
2021-12-13 15:02 |
|
Reporter |
geoffclare |
View Status |
public |
|
Assigned To |
|
Priority |
normal |
Resolution |
Accepted |
|
Status |
Applied |
|
|
|
|
Name |
Geoff Clare |
Organization |
The Open Group |
User Reference |
|
Section |
tgamma() |
Page Number |
2145 |
Line Number |
68720 |
Interp Status |
--- |
Final Accepted Text |
|
|
Summary |
0001461: tgamma() with negative integer argument |
Description |
The tgamma() FUTURE DIRECTIONS section says:It is possible that the error response for a negative integer argument may be changed to a pole error and a return value of ±Inf.
C17 allows a domain error or a pole error (with implementation-defined return value). However, when IEC 60559 Floating-Point is supported, an "invalid" floating-point exception (i.e. a domain error) and NaN return are required. This has not changed in the Dec 2020 C2x draft. So changing POSIX to require a pole error would introduce a conflict with the C standard.
I would suggest that we just change POSIX to match the C standard, i.e. allow either a domain error or a pole error, when IEC 60559 Floating-Point is not supported.
|
Desired Action |
On page 2145 line 68720 section tgamma(), change:If x is a negative integer, a [CX]domain[/CX] error may occur and either a NaN (if supported) or an implementation-defined value shall be returned. to:If x is a negative integer, either a domain error or a pole error may occur and either a NaN (if supported) or +/-Inf (if supported), respectively, or an implementation-defined value shall be returned.
On page 2146 line 68762 section tgamma(), change:Pole Error The value of x is zero. to:Pole Error The value of x is zero or a negative integer.
On page 2146 line 68781 section tgamma(), change:It is possible that the error response for a negative integer argument may be changed to a pole error and a return value of ±Inf. to:None.
|
Tags |
issue8 |
|
Attached Files |
|
|