Problem Report Number |
0075 |
Submitter's Classification |
Specification problem |
State |
Resolved |
Resolution |
Interpretation (INT) |
Problem Resolution ID |
INT.PX.0006 |
Raised |
2022-10-26 03:19 |
Updated |
2022-10-27 11:25 |
Published |
2022-10-27 11:25 |
Product Standard |
PSE52 Realtime Controller 1003.1-2003 System |
Certification Program |
POSIX Certified by IEEE and The Open Group |
Test Suite |
VSRT-PSE version 5.4.18 |
Test Identification |
/tset/rt.hdr/misc/semaphore/T.semaphore.21 |
Specification |
PSE52 Realtime Controller 1003.1-2003 System Product Standard |
Location in Spec |
Chapter 13 Headers <semaphore.h> |
Problem Summary |
Visibility of symbols in <time.h> in header file <semaphore.h> |
Problem Text |
POSIX.1-2004 did not allow <semaphore.h> to make symbols from <time.h>
visible, but POSIX.1-2017 seems to allow it. |
Test Output |
***********************************************************************
*
/tset/rt.hdr/misc/semaphore/T.semaphore 21 Failed
Test Description:
For POSIX01 mode:
When _POSIX_C_SOURCE is defined with the value 200112L and
no
other feature test macros except _POSIX_SOURCE are defined,
no
other symbols than those defined or reserved by POSIX.1-
2001/XSH6
(not including the XSI option) are made visible.
For POSIX08 mode:
When _POSIX_C_SOURCE is defined with the value 200809L and
no
other feature test macros are defined, no other symbols
than those
defined or reserved by POSIX.1-2008/XSH7 are made visible.
For UNIX98 mode:
When _XOPEN_SOURCE is defined with the value 500 and no
other
feature test macros except _POSIX_SOURCE and
_POSIX_C_SOURCE<=199506L are defined, no other symbols than
those
defined or reserved by XSH5 are made visible.
For UNIX03 mode:
When _XOPEN_SOURCE is defined with the value 600 and no
other
feature test macros except _POSIX_C_SOURCE<=200112L are
defined,
no other symbols than those defined or reserved by POSIX.1-
2001/XSH6 (including the XSI option) are made visible.
For UNIX10 mode:
When _XOPEN_SOURCE is defined with the value 700 and no
other
feature test macros except _POSIX_C_SOURCE<=200809L are
defined,
no other symbols than those defined or reserved by POSIX.1-
2008/XSH7 are made visible.
Test Information:
Compilation exited with non-zero value when expected to succeed
Feature test macros: -D_POSIX_C_SOURCE=200112
Compiler or run-time messages or results:
In file included from cc21es.c:23:
./semaphore.h.M:2:16: error: expected identifier or '(' before
string
constant
2 | #define tv_sec "tv_sec unprotected"))))))))))
| ^~~~~~~~~~~~~~~~~~~~
./semaphore.h.D:28522:12: note: in expansion of macro 'tv_sec'
28522 | __time_t tv_sec; /* Seconds. */
| ^~~~~~
./semaphore.h.M:3:17: error: expected identifier or '(' before
string
constant
3 | #define tv_nsec "tv_nsec unprotected"))))))))))
| ^~~~~~~~~~~~~~~~~~~~~
./semaphore.h.D:28526:21: note: in expansion of macro 'tv_nsec'
28526 | __syscall_slong_t tv_nsec; /* Nanoseconds. */
| ^~~~~~~
In file included from cc21es.c:24:
./semaphore.h.D:28536:1: warning: no semicolon at end of struct
or union
28536 | };
| ^
Compilation exited with non-zero value when expected to succeed
Feature test macros: -D_POSIX_C_SOURCE=200112 -D_POSIX_SOURCE
Compiler or run-time messages or results:
In file included from cc21es.c:23:
./semaphore.h.M:2:16: error: expected identifier or '(' before
string
constant
2 | #define tv_sec "tv_sec unprotected"))))))))))
| ^~~~~~~~~~~~~~~~~~~~
./semaphore.h.D:28522:12: note: in expansion of macro 'tv_sec'
28522 | __time_t tv_sec; /* Seconds. */
| ^~~~~~
./semaphore.h.M:3:17: error: expected identifier or '(' before
string
constant
3 | #define tv_nsec "tv_nsec unprotected"))))))))))
| ^~~~~~~~~~~~~~~~~~~~~
./semaphore.h.D:28526:21: note: in expansion of macro 'tv_nsec'
28526 | __syscall_slong_t tv_nsec; /* Nanoseconds. */
| ^~~~~~~
In file included from cc21es.c:24:
./semaphore.h.D:28536:1: warning: no semicolon at end of struct
or union
28536 | };
| ^
***********************************************************************
* |