Home • About Us • A-Z Index • Search * Contact Us • Register • Login • Press • Shop

The Open Brand -- Problem Reporting and Interpretations System

Problem Report 1901 Details

Help Show help | Quick Search | Submit a Test Suite Support Request | Click here to view your privileges

This page provides all information on Problem Report 1901.

Report 1901 Actions

    Problem Report Number 1901
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Test Suite Deficiency (TSD)
    Problem Resolution ID TSD.X.0962
    Raised 2003-02-21 08:00
    Updated 2003-03-13 08:00
    Published 2003-03-06 08:00
    Product Standard Internationalised System Calls and Libraries Extended V2 (UNIX 98)
    Certification Program The Open Brand certification program
    Test Suite VSX4 version 4.5.3
    Test Identification XPG4.hdr/misc/wchar 43
    Problem Summary TSD5.031 The case #43 of the wchar.h test claims that the following symbols should not be visible through <wchar.h> in the UNIX98 mode: flockfile ftrylockfile funlockfile getc_unlocked getchar_unlocked putc_un...
    Problem Text
    The case #43 of the wchar.h test claims that the following symbols
    should not be visible through <wchar.h> in the UNIX98 mode:
    flockfile
    ftrylockfile
    funlockfile
    getc_unlocked
    getchar_unlocked
    putc_unlocked
    putchar_unlocked

    However, they are allowed because inclusion of <wchar.h> may make visible
    all symbols from <stdio.h> and the above symbols are defined in <stdio.h>
    in the UNIX98 standard.

    The following is part of the wchar.h test (tset/XPG4.hdr/misc/wchar/L.wchar):

    static char *allow[] = {
    ....
    #if TEST_XPG >= 500 && _POSIX_C_SOURCE >= 200112
    /* stdio.h (POSIX96) */
    "flockfile",
    "ftrylockfile",
    "funlockfile",
    "getc_unlocked",
    "getchar_unlocked",
    "putc_unlocked",
    "putchar_unlocked",
    #endif
    ....
    };

    The above #if condition is wrong for those symbols.
    Test Output
    ************************************************************************
    ********************
    /tset/XPG4.hdr/misc/wchar/T.wchar 43 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 XPG4 mode:
    When _XOPEN_SOURCE is defined and no other feature test macros
    except _POSIX_SOURCE, _POSIX_C_SOURCE=1 or _POSIX_C_SOURCE=2 are
    defined, no other symbols than those defined or reserved by XPG4
    are made visible.
    For UNIX98 mode:
    When _XOPEN_SOURCE is defined with the value 500 and no other
    feature test macros except _POSIX_SOURCE or
    _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.

    Test Strategy:
    FOR each unreserved struct/union member made visible by the header
    DEFINE a macro which will cause an error if not protected from
    expansion
    UNDEFINE those macros which correspond to allowed member names
    INCLUDE a copy of the header file modified to identify #defines
    FOR each unreserved symbol made visible by the header
    VERIFY that the symbol name is in a list of allowed names

    Test Information:
    Feature test macros: -D_XOPEN_SOURCE=500
    Compiler or run-time messages or results:
    Illegal declared or 'typedef'ed symbol: flockfile
    Illegal declared or 'typedef'ed symbol: ftrylockfile
    Illegal declared or 'typedef'ed symbol: funlockfile
    Illegal declared or 'typedef'ed symbol: getc_unlocked
    Illegal declared or 'typedef'ed symbol: getchar_unlocked
    Illegal declared or 'typedef'ed symbol: putc_unlocked
    Illegal declared or 'typedef'ed symbol: putchar_unlocked
    Feature test macros: -D_XOPEN_SOURCE=500 -D_POSIX_SOURCE
    Compiler or run-time messages or results:
    Illegal declared or 'typedef'ed symbol: flockfile
    Illegal declared or 'typedef'ed symbol: ftrylockfile
    Illegal declared or 'typedef'ed symbol: funlockfile
    Illegal declared or 'typedef'ed symbol: getc_unlocked
    Illegal declared or 'typedef'ed symbol: getchar_unlocked
    Illegal declared or 'typedef'ed symbol: putc_unlocked
    Illegal declared or 'typedef'ed symbol: putchar_unlocked
    Feature test macros: -D_XOPEN_SOURCE=500 -D_POSIX_C_SOURCE=1
    Compiler or run-time messages or results:
    Illegal declared or 'typedef'ed symbol: flockfile
    Illegal declared or 'typedef'ed symbol: ftrylockfile
    Illegal declared or 'typedef'ed symbol: funlockfile
    Illegal declared or 'typedef'ed symbol: getc_unlocked
    Illegal declared or 'typedef'ed symbol: getchar_unlocked
    Illegal declared or 'typedef'ed symbol: putc_unlocked
    Illegal declared or 'typedef'ed symbol: putchar_unlocked
    Feature test macros: -D_XOPEN_SOURCE=500 -D_POSIX_C_SOURCE=1 -D_POSIX_SO
    URCE
    Compiler or run-time messages or results:
    Illegal declared or 'typedef'ed symbol: flockfile
    Illegal declared or 'typedef'ed symbol: ftrylockfile
    Illegal declared or 'typedef'ed symbol: funlockfile
    Illegal declared or 'typedef'ed symbol: getc_unlocked
    Illegal declared or 'typedef'ed symbol: getchar_unlocked
    Illegal declared or 'typedef'ed symbol: putc_unlocked
    Illegal declared or 'typedef'ed symbol: putchar_unlocked
    Feature test macros: -D_XOPEN_SOURCE=500 -D_POSIX_C_SOURCE=2
    Compiler or run-time messages or results:
    Illegal declared or 'typedef'ed symbol: flockfile
    Illegal declared or 'typedef'ed symbol: ftrylockfile
    Illegal declared or 'typedef'ed symbol: funlockfile
    Illegal declared or 'typedef'ed symbol: getc_unlocked
    Illegal declared or 'typedef'ed symbol: getchar_unlocked
    Illegal declared or 'typedef'ed symbol: putc_unlocked
    Illegal declared or 'typedef'ed symbol: putchar_unlocked
    Feature test macros: -D_XOPEN_SOURCE=500 -D_POSIX_C_SOURCE=2 -D_POSIX_SO
    URCE
    Compiler or run-time messages or results:
    Illegal declared or 'typedef'ed symbol: flockfile
    Illegal declared or 'typedef'ed symbol: ftrylockfile
    Illegal declared or 'typedef'ed symbol: funlockfile
    Illegal declared or 'typedef'ed symbol: getc_unlocked
    Illegal declared or 'typedef'ed symbol: getchar_unlocked
    Illegal declared or 'typedef'ed symbol: putc_unlocked
    Illegal declared or 'typedef'ed symbol: putchar_unlocked
    Feature test macros: -D_XOPEN_SOURCE=500 -D_POSIX_C_SOURCE=199309
    Compiler or run-time messages or results:
    Illegal declared or 'typedef'ed symbol: flockfile
    Illegal declared or 'typedef'ed symbol: ftrylockfile
    Illegal declared or 'typedef'ed symbol: funlockfile
    Illegal declared or 'typedef'ed symbol: getc_unlocked
    Illegal declared or 'typedef'ed symbol: getchar_unlocked
    Illegal declared or 'typedef'ed symbol: putc_unlocked
    Illegal declared or 'typedef'ed symbol: putchar_unlocked
    Feature test macros: -D_XOPEN_SOURCE=500 -D_POSIX_C_SOURCE=199309 -D_POS
    IX_SOURCE
    Compiler or run-time messages or results:
    Illegal declared or 'typedef'ed symbol: flockfile
    Illegal declared or 'typedef'ed symbol: ftrylockfile
    Illegal declared or 'typedef'ed symbol: funlockfile
    Illegal declared or 'typedef'ed symbol: getc_unlocked
    Illegal declared or 'typedef'ed symbol: getchar_unlocked
    Illegal declared or 'typedef'ed symbol: putc_unlocked
    Illegal declared or 'typedef'ed symbol: putchar_unlocked
    Feature test macros: -D_XOPEN_SOURCE=500 -D_POSIX_C_SOURCE=199506
    Compiler or run-time messages or results:
    Illegal declared or 'typedef'ed symbol: flockfile
    Illegal declared or 'typedef'ed symbol: ftrylockfile
    Illegal declared or 'typedef'ed symbol: funlockfile
    Illegal declared or 'typedef'ed symbol: getc_unlocked
    Illegal declared or 'typedef'ed symbol: getchar_unlocked
    Illegal declared or 'typedef'ed symbol: putc_unlocked
    Illegal declared or 'typedef'ed symbol: putchar_unlocked
    Feature test macros: -D_XOPEN_SOURCE=500 -D_POSIX_C_SOURCE=199506 -D_POS
    IX_SOURCE
    Compiler or run-time messages or results:
    Illegal declared or 'typedef'ed symbol: flockfile
    Illegal declared or 'typedef'ed symbol: ftrylockfile
    Illegal declared or 'typedef'ed symbol: funlockfile
    Illegal declared or 'typedef'ed symbol: getc_unlocked
    Illegal declared or 'typedef'ed symbol: getchar_unlocked
    Illegal declared or 'typedef'ed symbol: putc_unlocked
    Illegal declared or 'typedef'ed symbol: putchar_unlocked

    ************************************************************************
    ********************


    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    This is accepted as a fault in the test suite.

    Review Type SA Review
    Start Date null
    Completed null
    Status Complete
    Review Resolution Test Suite Deficiency (TSD)
    Review Conclusion
    This is an agreed Test Suite Deficiency.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority