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
0000577 [1003.1(2008)/Issue 7] Base Definitions and Headers Objection Clarification Requested 2012-06-03 04:24 2012-06-14 16:33
Reporter Love4Boobies View Status public  
Assigned To ajosey
Priority normal Resolution Rejected  
Status Closed  
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
Attached Files

- Relationships
related to 0000327Closedajosey time_t should be integral 

-  Notes
(0001250)
lacos (reporter)
2012-06-03 09:48

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 [^]
(0001252)
wlerch (reporter)
2012-06-04 14:19

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."
(0001258)
geoffclare (manager)
2012-06-14 16:33

The group agrees with Note: 0001252

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


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