View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0000577 | 1003.1(2008)/Issue 7 | Base Definitions and Headers | public | 2012-06-03 04:24 | 2012-06-14 16:33 |
| Reporter | Love4Boobies | Assigned To | ajosey | ||
| Priority | normal | Severity | Objection | Type | Clarification Requested |
| Status | Closed | Resolution | Rejected | ||
| Name | Bogdan Barbu | ||||
| Organization | |||||
| User Reference | |||||
| Section | http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/sys_types.h.html | ||||
| Page Number | Not sure | ||||
| Line Number | Not sure | ||||
| Interp Status | --- | ||||
| Final Accepted Text | |||||
| Summary | 0000577: C11 and POSIX fall into disagreement regarding clock_t and time_t | ||||
| Description | C99 described clock_t and time_t to be arithmetic types, which works with POSIX which requires them to be either integer or real types. However, C11 requires both of them to be real. | ||||
| Desired Action | I'm not sure what the solution is. Do you think dropping support for integer types would cause a lot of damage to existing code? | ||||
| Tags | c99 | ||||
|
|
I haven't yet bought the C11 standard, even though it's now available for a reasonable price [1] [2]. However N1570 indeed says in 7.27.1p3 that /time_t/ is a real type. This directly conflicts with Issue #327 [3] "time_t should be integral". Issue #327 seems to be justified by actual history. (For one piece of anecdotal evidence, my time_t-related code consciously checks and plainly refuses to run if time_t is not integral -- I can't have implementation-defined and magnitude-dependent precision in time_t (7.27.1p4).) I've asked earlier about the C11 rationale [4], but searching the web for it right now only returns my own question. I'll inquire in comp.std.c specifically. [1] http://groups.google.com/group/comp.lang.c/msg/f07f150077065132 [2] http://webstore.ansi.org/RecordDetail.aspx?sku=INCITS%2fISO%2fIEC+9899-2012 [3] http://austingroupbugs.net/view.php?id=327 [4] http://groups.google.com/group/comp.std.c/browse_thread/thread/134cb11dfa5c39f6 |
|
|
Integer types are real. 6.2.5#17 "The type char, the signed and unsigned integer types, and the enumerated types are collectively called integer types. The integer and real floating types are collectively called real types." |
|
|
The group agrees with 0000577:0001252 |
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2012-06-03 04:24 | Love4Boobies | New Issue | |
| 2012-06-03 04:24 | Love4Boobies | Status | New => Under Review |
| 2012-06-03 04:24 | Love4Boobies | Assigned To | => ajosey |
| 2012-06-03 04:24 | Love4Boobies | Name | => Bogdan Barbu |
| 2012-06-03 04:24 | Love4Boobies | Section | => http://pubs.opengroup.org/onlinepubs/9699919799/basedefs/sys_types.h.html |
| 2012-06-03 04:24 | Love4Boobies | Page Number | => Not sure |
| 2012-06-03 04:24 | Love4Boobies | Line Number | => Not sure |
| 2012-06-03 09:48 | lacos | Note Added: 0001250 | |
| 2012-06-04 14:19 | wlerch | Note Added: 0001252 | |
| 2012-06-13 22:09 | nick | Tag Attached: c99 | |
| 2012-06-14 16:32 | eblake | Relationship added | related to 0000327 |
| 2012-06-14 16:33 | geoffclare | Interp Status | => --- |
| 2012-06-14 16:33 | geoffclare | Note Added: 0001258 | |
| 2012-06-14 16:33 | geoffclare | Status | Under Review => Closed |
| 2012-06-14 16:33 | geoffclare | Resolution | Open => Rejected |
