Subversion Repositories openrisc

-- C38005A.ADA

--                             Grant of Unlimited Rights

--

--     Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,

--     F08630-91-C-0015, and DCA100-97-D-0025, the U.S. Government obtained 

--     unlimited rights in the software and documentation contained herein.

--     Unlimited rights are defined in DFAR 252.227-7013(a)(19).  By making 

--     this public release, the Government intends to confer upon all 

--     recipients unlimited rights  equal to those held by the Government.  

--     These rights include rights to use, duplicate, release or disclose the 

--     released technical data and computer software in whole or in part, in 

--     any manner and for any purpose whatsoever, and to have or permit others 

--     to do so.

--

--                                    DISCLAIMER

--

--     ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR

--     DISCLOSED ARE AS IS.  THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED 

--     WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE

--     SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE 

--     OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A

--     PARTICULAR PURPOSE OF SAID MATERIAL.

--*

-- CHECK THAT ALL (UNINITIALIZED) ACCESS OBJECTS ARE INITIALIZED

-- TO NULL BY DEFAULT. VARIABLES, ARRAYS, RECORDS, ARRAYS OF RECORDS,

-- ARRAYS OF ARRAYS, RECORDS WITH ARRAYS AND RECORD COMPONENTS

-- ARE ALL CHECKED.

-- FUNCTION RESULTS (I.E. RETURNED FROM IMPLICIT FUNCTION RETURN)

-- ARE NOT CHECKED.

-- DAT 3/6/81

-- VKG 1/5/83

-- SPS 2/17/83

WITH REPORT; USE REPORT;

PROCEDURE C38005A IS

     TYPE REC;

     TYPE ACC_REC IS ACCESS REC;

     TYPE VECTOR IS ARRAY ( NATURAL RANGE <> ) OF ACC_REC;

     TYPE REC IS RECORD

          VECT : VECTOR (3 .. 5);

     END RECORD;

     TYPE ACC_VECT IS ACCESS VECTOR;

     TYPE ARR_REC IS ARRAY (1 .. 2) OF REC;

     TYPE REC2;

     TYPE ACC_REC2 IS ACCESS REC2;

     TYPE REC2 IS RECORD

          C1 : ACC_REC;

          C2 : ACC_VECT;

          C3 : ARR_REC;

          C4 : REC;

          C5 : ACC_REC2;

     END RECORD;

     N_REC      : REC;

     N_ACC_REC  : ACC_REC;

     N_VEC      : VECTOR (3 .. IDENT_INT (5));

     N_ACC_VECT : ACC_VECT;

     N_ARR_REC  : ARR_REC;

     N_REC2     : REC2;

     N_ACC_REC2 : ACC_REC2;

     N_ARR      : ARRAY (1..2) OF VECTOR (1..2);

     Q : REC2 :=

                (C1 => NEW REC,

                 C2 => NEW VECTOR'(NEW REC, NEW REC'(N_REC)),

                 C3 => (1 | 2 => (VECT=>(3|4=> NEW REC,

                                         5=>N_ACC_REC)

                                 )),

                 C4 => N_REC2.C4,

                 C5 => NEW REC2'(N_REC2));

BEGIN

     TEST ("C38005A", "DEFAULT VALUE FOR ACCESS OBJECTS IS NULL");

     IF N_REC /= REC'(VECT => (3..5 => NULL))

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 1");

     END IF;

     IF N_ACC_REC /= NULL

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 2");

     END IF;

     IF N_VEC /= N_REC.VECT

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 3");

     END IF;

     IF N_ARR /= ((NULL, NULL), (NULL, NULL))

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 4");

     END IF;

     IF N_ACC_VECT /= NULL

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 5");

     END IF;

     IF N_ARR_REC /= (N_REC, N_REC)

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 6");

     END IF;

     IF N_REC2 /= (NULL, NULL, N_ARR_REC, N_REC, NULL)

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 7");

     END IF;

     IF N_ACC_REC2 /= NULL

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 8");

     END IF;

     IF Q /= (Q.C1, Q.C2, (Q.C3(1), Q.C3(2)), N_REC, Q.C5)

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 9");

     END IF;

     IF Q.C1.ALL /= N_REC

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 10");

     END IF;

     IF Q.C2.ALL(0).ALL /= N_REC

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 11");

     END IF;

     IF Q.C2(1).VECT /= N_VEC

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 12");

     END IF;

     IF Q.C3(2).VECT /= (3 => Q.C3(2).VECT(3),

                         4 => Q.C3(2).VECT(4),

                         5=>NULL)

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 13");

     END IF;

     IF Q.C3(2).VECT(3).ALL /= N_REC

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 14");

     END IF;

     IF Q.C5.ALL /= N_REC2

     THEN

          FAILED ("INCORRECT ACCESS TYPE INITIALIZATION - 15");

     END IF;

     DECLARE

          PROCEDURE T (R : OUT REC2) IS

          BEGIN

               NULL;

          END T;

     BEGIN

          N_REC2 := Q;

          T(Q);

          IF Q /= N_REC2 THEN

               FAILED ("INCORRECT OUT PARM INIT 2");

          END IF;

     END;

     RESULT;

END C38005A;