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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 0394 Actions

    Problem Report Number 0394
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Rejected (REJ)
    Problem Resolution ID REJ.X.0013
    Raised 1993-01-25 08:00
    Updated 2003-03-13 08:00
    Published null
    Product Standard Internationalised System Calls and Libraries (XPG4)
    Certification Program The Open Brand certification program
    Test Suite VSX4 version 4.2.4
    Test Identification XPG4.os/genuts/div 1
    Problem Summary PG4R.013 1. The SIGFPE occurs if INT_MIN % -1 gives a result which doesn't fit into the result register because it is larger than MAX_INT. 2. The ISO/ANSI - C Standard doesn't tell something about that speci...
    Problem Text
    1. The SIGFPE occurs if INT_MIN % -1 gives a result which
    doesn't fit into the result register because it is larger
    than MAX_INT.

    2. The ISO/ANSI - C Standard doesn't tell something about that
    specific case, but if one of the operands are negative, the
    result is implementation-defined (see 3.3.6 ANSI-Standard).

    3. There is nothing mentioned in the ABI386 supplement about
    that.

    4. Different Compilers behave different on our machines:

    AT&T: gives 0
    GNU-C gives SIGFPE
    MetaWare gives 0 with Optimization, SIGFPE without -O

    5. I think, those two tests should be descarded as a waiver of
    the XVS4 !
    Test Output
    10|732 /tset/XPG4.os/genuts/div/T.div 05:45:05|TC Start, scenario ref 743-1
    15|732 1.10 1|TCM Start
    400|732 1 1 05:45:06|IC Start
    200|732 1 05:45:06|TP Start
    520|732 1 4004 1 1|unexpected signal 8 (SIGFPE) received
    220|732 1 2 05:45:06|UNRESOLVED
    410|732 1 1 05:45:06|IC End
    80|732 0 05:45:06|TC End

    10|737 /tset/XPG4.os/genuts/ldiv/T.ldiv 05:45:23|TC Start, scenario ref 748-1
    15|737 1.10 1|TCM Start
    400|737 1 1 05:45:24|IC Start
    200|737 1 05:45:24|TP Start
    520|737 1 4012 1 1|unexpected signal 8 (SIGFPE) received
    220|737 1 2 05:45:25|UNRESOLVED
    410|737 1 1 05:45:25|IC End
    80|737 0 05:45:25|TC End

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    An examination of the code has failed to identify a division of INT_MIN
    by the value -1. The divisions that are undertaken in the should all
    produce defined results for the div() function. It seems that this is
    a fault in the implementation. The comments regarding the ANSI C standard
    do not seem to be relevant since this apply to the % and / operators and
    not to the div() function. The div() function does not refer to these
    operators, it simply states that the results are undefined in the case
    that the resulting values cannot be represented which does not seem to be
    the case with any of the values supplied.

    A test suite deficiency has not been identified.

    Review Type SA Review
    Start Date null
    Completed null
    Status Complete
    Review Resolution Rejected (REJ)
    Review Conclusion
    This waiver request is refused.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority