Problem Report 0004 Details

Help Show help | Quick Search | Click here to view your privileges

This page provides all information on Problem Report 0004 and all reviews you are authorized to see.


Report 0004 Actions


    Problem Report Number 0004
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Test Suite Deficiency (TSD)
    Problem Resolution ID TSD.PX.0003
    Raised 2004-03-20 10:22
    Updated 2004-03-22 18:20
    Published 2004-03-22 18:20
    Product Standard 1003.1-2003 System Interfaces
    Certification Program POSIX Certified by IEEE and The Open Group
    Test Suite VSX-PCTS2003 version 1.0
    Test Identification XPG4.hdr/misc/wchar/T.wchar 45
    Linked Problem Reports PR0001
    Problem Summary One of the wchar.h header tests assumes that wchar.h defines FILE,
    which is not true in POSIX01 mode
    Problem Text One of the wchar.h header tests assumes that wchar.h defines FILE,
    which is not true in POSIX01 mode. This causes compilation failures.
    Test Output /tset/XPG4.hdr/misc/wchar/T.wchar 45 Failed

    Test Description:
    The header file contains a prototype form function declaration for
    vfwscanf().
    Note: This test is only executed in POSIX01 and UNIX03 modes.

    Test Strategy:
    UNDEFINE macro version of vfwscanf()
    COMPARE return value against item of the same type.
    USE return value as an array reference.
    ASSIGN return value to an item of the same type.
    ASSIGN address of function to item of the same type.
    VERIFY a prototype exists.
    SUPPLY a correct prototype.

    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:
    "cc45es.c", line 22: error #20: identifier "FILE" is undefined
    FILE *arg1 = 0;
    ^"cc45es.c", line 22: error #20: identifier "arg1" is undefined
    FILE *arg1 = 0;
    ^
    "cc45es.c", line 27: error #757: "FILE" is not a type name
    int (*func)( FILE * restrict , const wchar_t * restrict ,
    va_list);
    ^
    "cc45es.c", line 44: error #20: identifier "FILE" is undefined
    extern int vfwscanf(FILE *restrict, const wchar_t *restrict,
    va_list);
    ^
    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:
    "cc45es.c", line 22: error #20: identifier "FILE" is undefined
    FILE *arg1 = 0;
    ^
    "cc45es.c", line 22: error #20: identifier "arg1" is undefined
    FILE *arg1 = 0;
    ^
    "cc45es.c", line 27: error #757: "FILE" is not a type name
    int (*func)( FILE * restrict , const wchar_t * restrict ,
    va_list);
    ^
    "cc45es.c", line 44: error #20: identifier "FILE" is undefined
    extern int vfwscanf(FILE *restrict, const wchar_t *restrict,
    va_list);
    ^

    Review Information

    Review Type TSMA Review
    Start Date 2004-03-20 10:22
    Last Updated 2004-03-22 17:55
    Completed 2004-03-22 17:55
    Status Complete
    Review Recommendation Test Suite Deficiency (TSD)
    Review Response This is accepted as a fault in the test suite.

    Review Type SA Review
    Start Date 2004-03-22 17:55
    Last Updated 2004-03-22 18:19
    Completed 2004-03-22 18:19
    Status Complete
    Review Resolution Test Suite Deficiency (TSD)
    Review Conclusion A test suite deficiency is granted.

    Problem Reporting System Options:

     

    Back   


Contact the Certification Authority