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

The Open Brand -- Problem Reporting and Interpretations System

Problem Report 2554 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 2554.

Report 2554 Actions

    Problem Report Number 2554
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Test Suite Deficiency (TSD)
    Problem Resolution ID TSD.X.1323
    Raised 2011-03-03 16:05
    Updated 2011-03-08 12:11
    Published 2011-03-08 12:11
    Product Standard Internationalised System Calls and Libraries Extended V3 (UNIX 03)
    Certification Program The Open Brand certification program
    Test Suite VSX5 version 5.3.2
    Test Identification /tset/C99.hdr/misc/fenv/T.fenv 3
    Specification Base Definitions Issue 6
    Location in Spec http://pubs.opengroup.org/onlinepubs/009695399/basedefs/math.h.html
    Problem Summary /tset/C99.hdr/misc/fenv/T.fenv 3 does not allow math_errhandling with external linkage
    Problem Text The test is performing a preprocessor test on math_errhandling expecting a macro definition,
    but math_errhandling is permitted to have external linkage that cannot be resolved by the
    preprocessor.

    From <http://pubs.opengroup.org/onlinepubs/009695399/basedefs/math.h.html>;:
    "It is unspecified whether math_errhandling is a macro or an identifier with external linkage."

    On Mac OS X math_errhandling is defined as follows:

    #define math_errhandling (__math_errhandling())
    extern int __math_errhandling(void);

    The test should be corrected to allow a definition of math_errhandling with external linkage:

    -#if (math_errhandling & MATH_ERREXCEPT) != 0
    + if ((math_errhandling & MATH_ERREXCEPT) != 0) {
    /* in this case the <math.h> page says that FE_DIVBYZERO, FE_INVALID,
    and FE_OVERFLOW must be defined by <fenv.h> */
    partA();
    + }
    -#endif
    Test Output ************************************************************************
    /tset/C99.hdr/misc/fenv/T.fenv 3 Failed

    Test Description:
    If the implementation supports IEC 60559 Floating Point or the
    implementation supports the represented floating-point exception:
    The header file contains definitions for the symbolic names
    FE_DIVBYZERO, FE_INEXACT, FE_INVALID, FE_OVERFLOW and
    FE_UNDERFLOW. Each expands to an integer constant expression
    suitable for use in #if preprocessing directives, with values such
    that bitwise-inclusive ORs of all combinations of the constants
    result in distinct values.

    Test Strategy:
    USE #ifndef
    VERIFY that the symbolic names exist and expand to the correct value.

    Test Information:
    Compilation exited with non-zero value when expected to succeed
    Feature test macros: -D_XOPEN_SOURCE=600
    Compiler or run-time messages or results:
    cc03es.c:150:6: error: missing binary operator before token "("
    Compilation exited with non-zero value when expected to succeed
    Feature test macros: -D_XOPEN_SOURCE=600 -D_POSIX_C_SOURCE=200112
    Compiler or run-time messages or results:
    cc03es.c:150:6: error: missing binary operator before token "("

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

    Review Information

    Review Type TSMA Review
    Start Date 2011-03-03 16:05
    Last Updated 2011-03-03 09:59
    Completed 2011-03-03 09:59
    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 2011-03-03 17:59
    Last Updated 2011-03-08 12:08
    Completed 2011-03-08 12:08
    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