Return to d46.c CVS log

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

Annotation of researchv10no/cmd/lcc/ph/d46.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 SKIP46
        !            13: #define LIB_TEST 1
        !            14: #include "defs.h"
        !            15: 
        !            16: /*
        !            17:  * 4.6 - Non-Local jumps
        !            18:  */
        !            19: 
        !            20: #include <setjmp.h>
        !            21: void d4_6x();
        !            22: 
        !            23: static jmp_buf buffer;
        !            24: static int count = 0;
        !            25: void d4_6()
        !            26:        {
        !            27: #if ANSI
        !            28:        volatile int i;
        !            29: #else
        !            30:        int i;
        !            31: #endif
        !            32: 
        !            33:        Filename = "d46.c";
        !            34: 
        !            35:        /* 4.6.1.1 setjmp
        !            36:         */
        !            37: 
        !            38:        /* test in the context of an if */
        !            39:        if (setjmp(buffer) == 0)        
        !            40:                {
        !            41:                /* first time through */
        !            42:                iequals(__LINE__, count, 0);
        !            43:                d4_6x();
        !            44:                }
        !            45:        else
        !            46:                iequals(__LINE__, count, 1);
        !            47:        
        !            48: 
        !            49: 
        !            50: 
        !            51: 
        !            52: 
        !            53:        /* now make sure that it works in the context of a switch */
        !            54:        count = 0;
        !            55:        switch (setjmp(buffer))
        !            56:                {
        !            57:        case 0: /* initial call, no longjmp */
        !            58:                iequals(__LINE__, count, 0);
        !            59:                break;
        !            60:        case 2: /* after first longjmp call */
        !            61:                iequals(__LINE__, count, 1);
        !            62: #if ANSI
        !            63:                iequals(__LINE__, i++, 17);
        !            64: #else
        !            65:                iequals(-__LINE__, i++, 17);
        !            66: #endif
        !            67:                d4_6x();
        !            68:                break;
        !            69:        case 1: /* after second longjmp call */
        !            70:                /* longjmp with arg of 0 makes setjmp return non-zero */
        !            71:                iequals(__LINE__, count, 2);
        !            72: #if ANSI
        !            73:                iequals(__LINE__, i, 18);
        !            74: #else
        !            75:                iequals(-__LINE__, i, 18);
        !            76: #endif
        !            77:                return;
        !            78:                }
        !            79: 
        !            80:        i = 17;
        !            81:        d4_6x();
        !            82:        }
        !            83: 
        !            84: void d4_6x()
        !            85:        {
        !            86:        /* 4.6.1.2 longjmp
        !            87:         */
        !            88:        if (count++ == 0)
        !            89:                longjmp(buffer, 2);
        !            90:        else
        !            91:                longjmp(buffer, 0);
        !            92:        
        !            93:        /* this statement never reached */
        !            94:        complain(__LINE__);
        !            95:        }
        !            96:        
        !            97: 
        !            98: #else /* if SKIP46 */
        !            99: void d4_6() { pr_skip("d4_6: SKIPPED ENTIRELY\n"); }
        !           100: #endif

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