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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 0427 Actions

    Problem Report Number 0427
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Rejected (REJ)
    Problem Resolution ID REJ.X.0046
    Raised 1993-11-18 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.3.2
    Test Identification lang.C/04.constexpr/evalorder 24, 25
    Problem Summary PG4R.046 The XLC compiler is pointing out a obvious programming error. Division by zero is undefined, and the compiler is correct for pointing it out.
    Problem Text
    The XLC compiler is pointing out a obvious programming error. Division
    by zero is undefined, and the compiler is correct for pointing it out.
    Test Output


    /tset/lang.C/04.constexpr/evalorder/T.evalorder 24

    Test Description:

    Test Information:

    execution of test succeeded, but unexpected output was generated
    Test Contents:
    Warning - this compiler does not support this functionality
    Constant Expression: '||' group left to right
    Test Code:
    5: main()
    6: {
    7: static int var = 1 || 5 / 0;
    8: if (var != 1)
    9: exit(1);
    10: exit(0);
    11: }
    C compiler return status: 0
    Compiler or run-time messages or results:
    "cc24es.c", line 7.29: 1506-232 (E) Divisor for modulus or division
    operator cannot be zero.




    /tset/lang.C/04.constexpr/evalorder/T.evalorder 25

    Test Description:

    Test Information:
    execution of test succeeded, but unexpected output was generated
    Test Contents:
    Warning - this compiler does not support this functionality
    Constant Expression: '&&' group left to right
    Test Code:
    5: main()
    6: {
    7: static int var = 0 && 5 / 0;
    8: if (var != 0)
    9: exit(1);
    10: exit(0);
    11: }
    C compiler return status: 0
    Compiler or run-time messages or results:
    "cc25es.c", line 7.29: 1506-232 (E) Divisor for modulus or division
    operator cannot be zero.

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    This request refers to XPG3 mode and should be dealt with through the
    XPG3 waiver request system.

    It may also be the case that these tests only produce warnings rather than
    failures, the results should be checked before making a request for an XPG3
    waiver.

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

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority