Return to d42.c CVS log

Up to [Research Unix] / researchv10no / cmd / lcc / ph

Annotation of researchv10no/cmd/lcc/ph/d42.c, revision 1.1

1.1     ! root        1: /* The Plum Hall Validation Suite for C
        !             2:  * Unpublished copyright (c) 1986-1991, Chiron Systems Inc and Plum Hall Inc.
        !             3:  * VERSION: 4
        !             4:  * DATE: 1993-01-01
        !             5:  * The "ANSI" mode of this suite corresponds to official ANSI C, X3.159-1989.
        !             6:  * As per your license agreement, your distribution is not to be moved or copied outside the Designated Site
        !             7:  * without specific permission from Plum Hall Inc.
        !             8:  */
        !             9: 
        !            10: 
        !            11: #include "flags.h"
        !            12: #ifndef SKIP42
        !            13: #define LIB_TEST 1
        !            14: /*
        !            15:  * 4.2 - Diagnostics <assert.h>
        !            16:  */
        !            17: #include "defs.h"
        !            18: #include <assert.h>
        !            19: #if !ANSI
        !            20: #include <stdio.h>
        !            21: #endif
        !            22: void d4_2();
        !            23: static void d4_2_1();
        !            24: #if ANSI
        !            25: void d4_2_1b();
        !            26: #endif
        !            27: 
        !            28: /* NDEBUG is not defined by <assert.h>. Force an error if it is */
        !            29: #if defined(NDEBUG)
        !            30:        complain(__LINE__);
        !            31: #endif
        !            32: 
        !            33: void d4_2()
        !            34:        {
        !            35:        d4_2_1();
        !            36:        }
        !            37: 
        !            38: 
        !            39: 
        !            40: 
        !            41: 
        !            42: 
        !            43: 
        !            44: 
        !            45: 
        !            46: 
        !            47: 
        !            48: 
        !            49: 
        !            50: 
        !            51: 
        !            52: 
        !            53: /*
        !            54:  * 4.2.1 - Program Diagnostics
        !            55:  * Since assert() must abort when the argument is FALSE, we can't
        !            56:  * test that here. We can, however, test that NDEBUG disables it.
        !            57:  */
        !            58: static void d4_2_1()
        !            59:        {
        !            60:        int i = ivalue(1);
        !            61:        int j = ivalue(0);
        !            62: 
        !            63:        /* 4.2.1.1 assert */
        !            64: #if ANSI8712
        !            65:        /* assert is an expression */
        !            66:        assert(i == 1), assert(j == 0);
        !            67: #else
        !            68:        assert(i == 1);
        !            69: #endif
        !            70: #if ANSI
        !            71:        d4_2_1b();
        !            72: #endif
        !            73:        }
        !            74: 
        !            75: #else /* if SKIP42 */
        !            76: void d4_2() { pr_skip("d4_2: SKIPPED ENTIRELY\n"); }
        !            77: #endif

This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.