Subversion Repositories openrisc

-- C37207A.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.

--*

-- OBJECTIVE:

--     FOR A TYPE WITH OR WITHOUT DEFAULT DISCRIMINANT VALUES, CHECK

--     THAT A DISCRIMINANT CONSTRAINT CAN BE SUPPLIED IN THE FOLLOWING

--     CONTEXTS AND HAS THE PROPER EFFECT:

--     IN A 1) OBJECT_DECLARATION, 2) COMPONENT_DECLARATION OR

--     3) SUBTYPE INDICATION OF AN ARRAY_TYPE_DEFINITION, AND HENCE,

--     ASSIGNMENTS CANNOT ATTEMPT TO CHANGE THE SPECIFIED DISCRIMINANT

--     VALUES WITHOUT RAISING CONSTRAINT_ERROR

--     4) IN AN ACCESS_TYPE_DEFINITION, AND HENCE, ACCESS VALUES

--     OF THIS ACCESS TYPE CANNOT BE ASSIGNED NON-NULL VALUES

--     DESIGNATING OBJECTS WITH DIFFERENT DISCRIMINANT VALUES.

--     5) IN AN ALLOCATOR, AND THE ALLOCATED OBJECT HAS THE SPECIFIED

--     DISCRIMINANT VALUES.

--     6) IN A FORMAL PARAMETER DECLARATION OF A SUBPROGRAM, AND

--     HENCE, ASSIGNMENTS TO THE FORMAL PARAMETER CANNOT ATTEMPT TO

--     CHANGE THE DISCRIMINANT VALUES WITHOUT RAISING CONSTRAINT_ERROR,

--     CONSTRAINED IS TRUE, AND IF ACTUAL PARAMETERS HAVE DISCRIMINANT

--     VALUES DIFFERENT FROM THE SPECIFIED ONES, CONSTRAINT_ERROR IS

--     RAISED.

-- HISTORY:

--     ASL 07/24/81

--     RJW 08/28/86  CORRECTED SYNTAX ERRORS.

--     JLH 08/07/87  ADDED CODE TO PREVENT DEAD VARIABLE OPTIMIZATION.

--     EDS 07/16/98  AVOID OPTIMIZATION

WITH REPORT; USE REPORT;

PROCEDURE C37207A IS

BEGIN

     TEST ("C37207A","DISCRIMINANT CONSTRAINT CAN BE SUPPLIED TO " &

          "DECLARATIONS AND DEFINITIONS USING TYPES WITH OR WITHOUT " &

          "DEFAULT DISCRIMINANT VALUES");

     DECLARE

          TYPE REC1 (DISC : INTEGER := 5) IS

               RECORD

                    NULL;

               END RECORD;

          TYPE REC2 (DISC : INTEGER) IS

               RECORD

                    NULL;

                END RECORD;

          OBJ1 : REC1(6);                     -- 1.

          OBJ2 : REC2(6);                     -- 1.

          BADOBJ1 : REC1(7);                  -- 1.

          BADOBJ2 : REC2(7);                  -- 1.

          TYPE REC3 IS

               RECORD

                    COMP1 : REC1(6);          -- 2.

                    COMP2 : REC2(6);          -- 2.

               END RECORD;

          OBJ3 : REC3;

          TYPE ARR1 IS ARRAY (1..10) OF REC1(6);  -- 3.

          TYPE ARR2 IS ARRAY (1..10) OF REC2(6);  -- 3.

          A1 : ARR1;

          A2 : ARR2;

          TYPE REC1_NAME IS ACCESS REC1(6);   -- 4.

          TYPE REC2_NAME IS ACCESS REC2(6);   -- 4.

          ACC1 : REC1_NAME;

          ACC2 : REC2_NAME;

          SUBTYPE REC16 IS REC1(6);

          SUBTYPE REC26 IS REC2(6);

          PROCEDURE PROC (P1 : IN OUT REC16;     -- 6.

                         P2 : IN OUT REC26) IS  -- 6.

          BEGIN

               IF NOT (P1'CONSTRAINED AND P2'CONSTRAINED) THEN  -- 6.

                    FAILED ("'CONSTRAINED ATTRIBUTE INCORRECT FOR " &

                            "CONSTRAINED FORMAL PARAMETERS");

               END IF;

               BEGIN

                    P1 := (DISC => 7);         -- 6.

                    FAILED ("CONSTRAINT_ERROR NOT RAISED UPON " &

                            "ATTEMPT TO CHANGE DISCRIMINANT OF " &

                            "CONSTRAINED FORMAL PARAMETER " &

                            INTEGER'IMAGE(P1.DISC));

               EXCEPTION

                    WHEN CONSTRAINT_ERROR => NULL;

                    WHEN OTHERS => FAILED ("WRONG EXCEPTION     (1)");

               END;

               BEGIN

                    P2 := (DISC => 7);         -- 6.

                    FAILED ("CONSTRAINT_ERROR NOT RAISED UPON " &

                            "ATTEMPT TO CHANGE DISCRIMINANT OF " &

                            "CONSTRAINED FORMAL PARAMETER " &

                            INTEGER'IMAGE(P2.DISC));

               EXCEPTION

                    WHEN CONSTRAINT_ERROR => NULL;

                    WHEN OTHERS => FAILED ("WRONG EXCEPTION     (2)");

               END;

          END PROC;

     BEGIN

---------------------------------------------------------------

          BEGIN

               OBJ1 := (DISC => IDENT_INT(7));           -- 1.

               FAILED ("CONSTRAINT_ERROR NOT RAISED UPON " &

                       "ATTEMPT TO CHANGE DISCRIMINANT OF " &

                       "CONSTRAINED OBJECT");

               IF OBJ1 = (DISC => 7) THEN

                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");

               END IF;

          EXCEPTION

               WHEN CONSTRAINT_ERROR => NULL;

               WHEN OTHERS => FAILED ("WRONG EXCEPTION     (3)");

          END;

---------------------------------------------------------------

          BEGIN

               OBJ3 := ((DISC => IDENT_INT(7)),      -- 2.

                        (DISC => IDENT_INT(7)));     -- 2.

               FAILED ("CONSTRAINT_ERROR NOT RAISED UPON " &

                       "ATTEMPT TO CHANGE DISCRIMINANT OF " &

                       "CONSTRAINED RECORD COMPONENT");

               IF OBJ3 = ((DISC => 7), (DISC => 7)) THEN

                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");

               END IF;

          EXCEPTION

               WHEN CONSTRAINT_ERROR => NULL;

               WHEN OTHERS => FAILED ("WRONG EXCEPTION     (4)");

          END;

--------------------------------------------------------------

          BEGIN

               A2(2) := (DISC => IDENT_INT(7));          -- 3.

               FAILED ("CONSTRAINT_ERROR NOT RAISED UPON " &

                       "ATTEMPT TO CHANGE DISCRIMINANT OF " &

                       "CONSTRAINED ARRAY COMPONENT");

               IF A2(2) = (DISC => 7) THEN

                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");

               END IF;

          EXCEPTION

               WHEN CONSTRAINT_ERROR => NULL;

               WHEN OTHERS => FAILED ("WRONG EXCEPTION     (5)");

          END;

--------------------------------------------------------------

          BEGIN

               ACC1 := NEW REC1(DISC => IDENT_INT(7));   -- 4.

               FAILED ("CONSTRAINT_ERROR NOT RAISED UPON " &

                       "ATTEMPT TO ASSIGN INCOMPATIBLE OBJECT " &

                       "TO ACCESS VARIABLE");

               IF ACC1 =  NEW REC1(DISC => 7) THEN

                    COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");

               END IF;

         EXCEPTION

               WHEN CONSTRAINT_ERROR => NULL;

               WHEN OTHERS => FAILED ("WRONG EXCEPTION     (6)");

          END;

----------------------------------------------------------------

               ACC1 := NEW REC1(DISC => IDENT_INT(6));  -- OK.

          BEGIN

               ACC1.ALL := BADOBJ1;           -- 5.

               FAILED ("CONSTRAINT_ERROR NOT RAISED UPON " &

                       "ATTEMPT TO ASSIGN INCOMPATIBLE OBJECT " &

                       "TO ACCESSED OBJECT");

               IF ACC1.ALL = BADOBJ1 THEN

                    COMMENT ("PREVENT DEAD VARIABLE OPTIMIZATION");

               END IF;

          EXCEPTION

               WHEN CONSTRAINT_ERROR => NULL;

               WHEN OTHERS => FAILED ("WRONG EXCEPTION     (7)");

          END;

-----------------------------------------------------------------

               PROC (OBJ1,OBJ2);              -- OK.

          BEGIN

               PROC (BADOBJ1,BADOBJ2);        -- 6.

               FAILED ("CONSTRAINT_ERROR NOT RAISED UPON " &

                       "PASSING OF CONSTRAINED ACTUAL " &

                       "PARAMETERS TO DIFFERENTLY CONSTRAINED " &

                       "FORMAL PARAMETERS");

          EXCEPTION

               WHEN CONSTRAINT_ERROR => NULL;

               WHEN OTHERS => FAILED ("WRONG EXCEPTION     (8)");

          END;

---------------------------------------------------------------

     END;

     RESULT;

END C37207A;