WITH REPORT; USE REPORT;
PROCEDURE C32113A IS
PACKAGE PKG IS
TYPE PRIVA (D : INTEGER := 0) IS PRIVATE;
SUBTYPE PRIVAS IS PRIVA (IDENT_INT (1));
PRA1 : CONSTANT PRIVAS;
TYPE PRIVB (D1, D2 : INTEGER) IS PRIVATE;
PRB12 : CONSTANT PRIVB;
PRIVATE
TYPE PRIVA (D : INTEGER := 0) IS
RECORD
NULL;
END RECORD;
TYPE PRIVB (D1, D2 : INTEGER) IS
RECORD
NULL;
END RECORD;
PRA1 : CONSTANT PRIVAS := (D => (IDENT_INT (1)));
PRB12 : CONSTANT PRIVB := (IDENT_INT (1), IDENT_INT (2));
END PKG;
USE PKG;
TYPE RECA (D : INTEGER := 0) IS
RECORD
NULL;
END RECORD;
TYPE RECB (D1, D2 : INTEGER) IS
RECORD
NULL;
END RECORD;
RA1 : CONSTANT RECA (IDENT_INT (1)) := (D => (IDENT_INT (1)));
RB12 : CONSTANT RECB := (IDENT_INT (1), IDENT_INT (2));
BEGIN
TEST ("C32113A", "CHECK THAT WHEN A VARIABLE OR CONSTANT " &
"HAVING A CONSTRAINED TYPE IS DECLARED WITH " &
"AN INITIAL VALUE, CONSTRAINT_ERROR IS " &
"RAISED IF THE CORRESPONDING DISCRIMINANTS " &
"OF THE INITIAL VALUE AND THE SUBTYPE DO " &
"NOT HAVE THE SAME VALUE" );
BEGIN
DECLARE
PR1 : CONSTANT PRIVA (IDENT_INT (0)) := PRA1;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'PR1'" );
IF PR1 = PRA1 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'PR1'" );
END;
BEGIN
DECLARE
PR2 : CONSTANT PRIVA (IDENT_INT (2)) := PRA1;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'PR2'" );
IF PR2 = PRA1 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'PR2'" );
END;
BEGIN
DECLARE
PR3 : PRIVA (IDENT_INT (0)) := PRA1;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'PR3'" );
IF PR3 = PRA1 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'PR3'" );
END;
BEGIN
DECLARE
PR4 : PRIVA (IDENT_INT (2)) := PRA1;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'PR4'" );
IF PR4 = PRA1 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'PR4'" );
END;
BEGIN
DECLARE
SUBTYPE SPRIVA IS PRIVA (IDENT_INT (-1));
PR5 : CONSTANT SPRIVA := PRA1;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'PR5'" );
IF PR5 = PRA1 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'PR5'" );
END;
BEGIN
DECLARE
SUBTYPE SPRIVA IS PRIVA (IDENT_INT (3));
PR6 : SPRIVA := PRA1;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'PR6'" );
IF PR6 = PRA1 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'PR6'" );
END;
BEGIN
DECLARE
PR7 : CONSTANT PRIVB (IDENT_INT (1), IDENT_INT (1)) :=
PRB12;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'PR7'" );
IF PR7 = PRB12 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'PR7'" );
END;
BEGIN
DECLARE
PR8 : CONSTANT PRIVB (IDENT_INT (2), IDENT_INT (2)) :=
PRB12;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'PR8'" );
IF PR8 = PRB12 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'PR8'" );
END;
BEGIN
DECLARE
PR9 : PRIVB (IDENT_INT (1), IDENT_INT (1)) := PRB12;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'PR9'" );
IF PR9 = PRB12 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'PR9'" );
END;
BEGIN
DECLARE
PR10 : PRIVB (IDENT_INT (2), IDENT_INT (2)) := PRB12;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'PR10'" );
IF PR10 = PRB12 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'PR10'" );
END;
BEGIN
DECLARE
SUBTYPE SPRIVB IS
PRIVB (IDENT_INT (-1), IDENT_INT (-2));
PR11 : CONSTANT SPRIVB := PRB12;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'PR11'" );
IF PR11 = PRB12 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'PR11'" );
END;
BEGIN
DECLARE
SUBTYPE SPRIVB IS PRIVB (IDENT_INT (2), IDENT_INT (1));
PR12 : SPRIVB := PRB12;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'PR12'" );
IF PR12 = PRB12 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'PR12'" );
END;
BEGIN
DECLARE
R1 : CONSTANT RECA (IDENT_INT (0)) := RA1;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'R1'" );
IF R1 = RA1 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'R1'" );
END;
BEGIN
DECLARE
R2 : CONSTANT RECA (IDENT_INT (2)) := RA1;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'R2'" );
IF R2 = RA1 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'R2'" );
END;
BEGIN
DECLARE
R3 : RECA (IDENT_INT (0)) := RA1;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'R3'" );
IF R3 = RA1 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'R3'" );
END;
BEGIN
DECLARE
R4 : RECA (IDENT_INT (2)) := RA1;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'R4'" );
IF R4 = RA1 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'R4'" );
END;
BEGIN
DECLARE
SUBTYPE SRECA IS RECA (IDENT_INT (-1));
R5 : CONSTANT SRECA := RA1;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'R5'" );
IF R5 = RA1 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'R5'" );
END;
BEGIN
DECLARE
SUBTYPE SRECA IS RECA (IDENT_INT (3));
R6 : SRECA := RA1;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'R6'" );
IF R6 = RA1 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'R6'" );
END;
BEGIN
DECLARE
R7 : CONSTANT RECB (IDENT_INT (1), IDENT_INT (1)) :=
RB12;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'R7'" );
IF R7 = RB12 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'R7'" );
END;
BEGIN
DECLARE
R8 : CONSTANT RECB (IDENT_INT (2), IDENT_INT (2)) :=
RB12;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'R8'" );
IF R8 = RB12 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'R8'" );
END;
BEGIN
DECLARE
R9 : RECB (IDENT_INT (1), IDENT_INT (1)) := RB12;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'R9'" );
IF R9 = RB12 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'R9'" );
END;
BEGIN
DECLARE
R10 : RECB (IDENT_INT (2), IDENT_INT (2)) := RB12;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'R10'" );
IF R10 = RB12 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'R10'" );
END;
BEGIN
DECLARE
SUBTYPE SRECB IS
RECB (IDENT_INT (-1), IDENT_INT (-2));
R11 : CONSTANT SRECB := RB12;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'R11'" );
IF R11 = RB12 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF CONSTANT 'R11'" );
END;
BEGIN
DECLARE
SUBTYPE SRECB IS RECB (IDENT_INT (2), IDENT_INT (1));
R12 : SRECB := RB12;
BEGIN
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'R12'" );
IF R12 = RB12 THEN
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
END IF;
END;
EXCEPTION
WHEN CONSTRAINT_ERROR =>
NULL;
WHEN OTHERS =>
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
"OF VARIABLE 'R12'" );
END;
RESULT;
END C32113A;