-- C32113A.ADA
|
-- C32113A.ADA
|
|
|
-- Grant of Unlimited Rights
|
-- Grant of Unlimited Rights
|
--
|
--
|
-- Under contracts F33600-87-D-0337, F33600-84-D-0280, MDA903-79-C-0687,
|
-- 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
|
-- 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 in the software and documentation contained herein.
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- Unlimited rights are defined in DFAR 252.227-7013(a)(19). By making
|
-- this public release, the Government intends to confer upon all
|
-- this public release, the Government intends to confer upon all
|
-- recipients unlimited rights equal to those held by the Government.
|
-- recipients unlimited rights equal to those held by the Government.
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- These rights include rights to use, duplicate, release or disclose the
|
-- released technical data and computer software in whole or in part, in
|
-- 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
|
-- any manner and for any purpose whatsoever, and to have or permit others
|
-- to do so.
|
-- to do so.
|
--
|
--
|
-- DISCLAIMER
|
-- DISCLAIMER
|
--
|
--
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- ALL MATERIALS OR INFORMATION HEREIN RELEASED, MADE AVAILABLE OR
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- DISCLOSED ARE AS IS. THE GOVERNMENT MAKES NO EXPRESS OR IMPLIED
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- WARRANTY AS TO ANY MATTER WHATSOEVER, INCLUDING THE CONDITIONS OF THE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- SOFTWARE, DOCUMENTATION OR OTHER INFORMATION RELEASED, MADE AVAILABLE
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- OR DISCLOSED, OR THE OWNERSHIP, MERCHANTABILITY, OR FITNESS FOR A
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
-- PARTICULAR PURPOSE OF SAID MATERIAL.
|
--*
|
--*
|
-- OBJECTIVE:
|
-- OBJECTIVE:
|
-- CHECK THAT WHEN A VARIABLE OR CONSTANT HAVING A CONSTRAINED TYPE
|
-- CHECK THAT WHEN A VARIABLE OR CONSTANT HAVING A CONSTRAINED TYPE
|
-- WITH DISCRIMINANTS IS DECLARED WITH AN INITIAL VALUE,
|
-- WITH DISCRIMINANTS IS DECLARED WITH AN INITIAL VALUE,
|
-- CONSTRAINT_ERROR IS RAISED IF THE CORRESPONDING DISCRIMINANTS OF
|
-- CONSTRAINT_ERROR IS RAISED IF THE CORRESPONDING DISCRIMINANTS OF
|
-- THE INITIAL VALUE AND THE SUBTYPE DO NOT HAVE THE SAME VALUE.
|
-- THE INITIAL VALUE AND THE SUBTYPE DO NOT HAVE THE SAME VALUE.
|
|
|
-- HISTORY:
|
-- HISTORY:
|
-- RJW 07/20/86
|
-- RJW 07/20/86
|
-- DWC 06/22/87 ADDED SUBTYPE PRIVAS. ADDED CODE TO PREVENT DEAD
|
-- DWC 06/22/87 ADDED SUBTYPE PRIVAS. ADDED CODE TO PREVENT DEAD
|
-- VARIABLE OPTIMIZATION.
|
-- VARIABLE OPTIMIZATION.
|
|
|
WITH REPORT; USE REPORT;
|
WITH REPORT; USE REPORT;
|
|
|
PROCEDURE C32113A IS
|
PROCEDURE C32113A IS
|
|
|
PACKAGE PKG IS
|
PACKAGE PKG IS
|
TYPE PRIVA (D : INTEGER := 0) IS PRIVATE;
|
TYPE PRIVA (D : INTEGER := 0) IS PRIVATE;
|
SUBTYPE PRIVAS IS PRIVA (IDENT_INT (1));
|
SUBTYPE PRIVAS IS PRIVA (IDENT_INT (1));
|
PRA1 : CONSTANT PRIVAS;
|
PRA1 : CONSTANT PRIVAS;
|
|
|
TYPE PRIVB (D1, D2 : INTEGER) IS PRIVATE;
|
TYPE PRIVB (D1, D2 : INTEGER) IS PRIVATE;
|
PRB12 : CONSTANT PRIVB;
|
PRB12 : CONSTANT PRIVB;
|
|
|
PRIVATE
|
PRIVATE
|
TYPE PRIVA (D : INTEGER := 0) IS
|
TYPE PRIVA (D : INTEGER := 0) IS
|
RECORD
|
RECORD
|
NULL;
|
NULL;
|
END RECORD;
|
END RECORD;
|
|
|
TYPE PRIVB (D1, D2 : INTEGER) IS
|
TYPE PRIVB (D1, D2 : INTEGER) IS
|
RECORD
|
RECORD
|
NULL;
|
NULL;
|
END RECORD;
|
END RECORD;
|
|
|
PRA1 : CONSTANT PRIVAS := (D => (IDENT_INT (1)));
|
PRA1 : CONSTANT PRIVAS := (D => (IDENT_INT (1)));
|
PRB12 : CONSTANT PRIVB := (IDENT_INT (1), IDENT_INT (2));
|
PRB12 : CONSTANT PRIVB := (IDENT_INT (1), IDENT_INT (2));
|
END PKG;
|
END PKG;
|
|
|
USE PKG;
|
USE PKG;
|
|
|
TYPE RECA (D : INTEGER := 0) IS
|
TYPE RECA (D : INTEGER := 0) IS
|
RECORD
|
RECORD
|
NULL;
|
NULL;
|
END RECORD;
|
END RECORD;
|
|
|
TYPE RECB (D1, D2 : INTEGER) IS
|
TYPE RECB (D1, D2 : INTEGER) IS
|
RECORD
|
RECORD
|
NULL;
|
NULL;
|
END RECORD;
|
END RECORD;
|
|
|
RA1 : CONSTANT RECA (IDENT_INT (1)) := (D => (IDENT_INT (1)));
|
RA1 : CONSTANT RECA (IDENT_INT (1)) := (D => (IDENT_INT (1)));
|
|
|
RB12 : CONSTANT RECB := (IDENT_INT (1), IDENT_INT (2));
|
RB12 : CONSTANT RECB := (IDENT_INT (1), IDENT_INT (2));
|
|
|
BEGIN
|
BEGIN
|
TEST ("C32113A", "CHECK THAT WHEN A VARIABLE OR CONSTANT " &
|
TEST ("C32113A", "CHECK THAT WHEN A VARIABLE OR CONSTANT " &
|
"HAVING A CONSTRAINED TYPE IS DECLARED WITH " &
|
"HAVING A CONSTRAINED TYPE IS DECLARED WITH " &
|
"AN INITIAL VALUE, CONSTRAINT_ERROR IS " &
|
"AN INITIAL VALUE, CONSTRAINT_ERROR IS " &
|
"RAISED IF THE CORRESPONDING DISCRIMINANTS " &
|
"RAISED IF THE CORRESPONDING DISCRIMINANTS " &
|
"OF THE INITIAL VALUE AND THE SUBTYPE DO " &
|
"OF THE INITIAL VALUE AND THE SUBTYPE DO " &
|
"NOT HAVE THE SAME VALUE" );
|
"NOT HAVE THE SAME VALUE" );
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
PR1 : CONSTANT PRIVA (IDENT_INT (0)) := PRA1;
|
PR1 : CONSTANT PRIVA (IDENT_INT (0)) := PRA1;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'PR1'" );
|
"OF CONSTANT 'PR1'" );
|
IF PR1 = PRA1 THEN
|
IF PR1 = PRA1 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'PR1'" );
|
"OF CONSTANT 'PR1'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
PR2 : CONSTANT PRIVA (IDENT_INT (2)) := PRA1;
|
PR2 : CONSTANT PRIVA (IDENT_INT (2)) := PRA1;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'PR2'" );
|
"OF CONSTANT 'PR2'" );
|
IF PR2 = PRA1 THEN
|
IF PR2 = PRA1 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'PR2'" );
|
"OF CONSTANT 'PR2'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
PR3 : PRIVA (IDENT_INT (0)) := PRA1;
|
PR3 : PRIVA (IDENT_INT (0)) := PRA1;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'PR3'" );
|
"OF VARIABLE 'PR3'" );
|
IF PR3 = PRA1 THEN
|
IF PR3 = PRA1 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'PR3'" );
|
"OF VARIABLE 'PR3'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
PR4 : PRIVA (IDENT_INT (2)) := PRA1;
|
PR4 : PRIVA (IDENT_INT (2)) := PRA1;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'PR4'" );
|
"OF VARIABLE 'PR4'" );
|
IF PR4 = PRA1 THEN
|
IF PR4 = PRA1 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'PR4'" );
|
"OF VARIABLE 'PR4'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
SUBTYPE SPRIVA IS PRIVA (IDENT_INT (-1));
|
SUBTYPE SPRIVA IS PRIVA (IDENT_INT (-1));
|
PR5 : CONSTANT SPRIVA := PRA1;
|
PR5 : CONSTANT SPRIVA := PRA1;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'PR5'" );
|
"OF CONSTANT 'PR5'" );
|
IF PR5 = PRA1 THEN
|
IF PR5 = PRA1 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'PR5'" );
|
"OF CONSTANT 'PR5'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
SUBTYPE SPRIVA IS PRIVA (IDENT_INT (3));
|
SUBTYPE SPRIVA IS PRIVA (IDENT_INT (3));
|
PR6 : SPRIVA := PRA1;
|
PR6 : SPRIVA := PRA1;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'PR6'" );
|
"OF VARIABLE 'PR6'" );
|
IF PR6 = PRA1 THEN
|
IF PR6 = PRA1 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'PR6'" );
|
"OF VARIABLE 'PR6'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
PR7 : CONSTANT PRIVB (IDENT_INT (1), IDENT_INT (1)) :=
|
PR7 : CONSTANT PRIVB (IDENT_INT (1), IDENT_INT (1)) :=
|
PRB12;
|
PRB12;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'PR7'" );
|
"OF CONSTANT 'PR7'" );
|
IF PR7 = PRB12 THEN
|
IF PR7 = PRB12 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'PR7'" );
|
"OF CONSTANT 'PR7'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
PR8 : CONSTANT PRIVB (IDENT_INT (2), IDENT_INT (2)) :=
|
PR8 : CONSTANT PRIVB (IDENT_INT (2), IDENT_INT (2)) :=
|
PRB12;
|
PRB12;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'PR8'" );
|
"OF CONSTANT 'PR8'" );
|
IF PR8 = PRB12 THEN
|
IF PR8 = PRB12 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'PR8'" );
|
"OF CONSTANT 'PR8'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
PR9 : PRIVB (IDENT_INT (1), IDENT_INT (1)) := PRB12;
|
PR9 : PRIVB (IDENT_INT (1), IDENT_INT (1)) := PRB12;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'PR9'" );
|
"OF VARIABLE 'PR9'" );
|
IF PR9 = PRB12 THEN
|
IF PR9 = PRB12 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'PR9'" );
|
"OF VARIABLE 'PR9'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
PR10 : PRIVB (IDENT_INT (2), IDENT_INT (2)) := PRB12;
|
PR10 : PRIVB (IDENT_INT (2), IDENT_INT (2)) := PRB12;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'PR10'" );
|
"OF VARIABLE 'PR10'" );
|
IF PR10 = PRB12 THEN
|
IF PR10 = PRB12 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'PR10'" );
|
"OF VARIABLE 'PR10'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
SUBTYPE SPRIVB IS
|
SUBTYPE SPRIVB IS
|
PRIVB (IDENT_INT (-1), IDENT_INT (-2));
|
PRIVB (IDENT_INT (-1), IDENT_INT (-2));
|
PR11 : CONSTANT SPRIVB := PRB12;
|
PR11 : CONSTANT SPRIVB := PRB12;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'PR11'" );
|
"OF CONSTANT 'PR11'" );
|
IF PR11 = PRB12 THEN
|
IF PR11 = PRB12 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'PR11'" );
|
"OF CONSTANT 'PR11'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
SUBTYPE SPRIVB IS PRIVB (IDENT_INT (2), IDENT_INT (1));
|
SUBTYPE SPRIVB IS PRIVB (IDENT_INT (2), IDENT_INT (1));
|
PR12 : SPRIVB := PRB12;
|
PR12 : SPRIVB := PRB12;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'PR12'" );
|
"OF VARIABLE 'PR12'" );
|
IF PR12 = PRB12 THEN
|
IF PR12 = PRB12 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'PR12'" );
|
"OF VARIABLE 'PR12'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
R1 : CONSTANT RECA (IDENT_INT (0)) := RA1;
|
R1 : CONSTANT RECA (IDENT_INT (0)) := RA1;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'R1'" );
|
"OF CONSTANT 'R1'" );
|
IF R1 = RA1 THEN
|
IF R1 = RA1 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'R1'" );
|
"OF CONSTANT 'R1'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
R2 : CONSTANT RECA (IDENT_INT (2)) := RA1;
|
R2 : CONSTANT RECA (IDENT_INT (2)) := RA1;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'R2'" );
|
"OF CONSTANT 'R2'" );
|
IF R2 = RA1 THEN
|
IF R2 = RA1 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'R2'" );
|
"OF CONSTANT 'R2'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
R3 : RECA (IDENT_INT (0)) := RA1;
|
R3 : RECA (IDENT_INT (0)) := RA1;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'R3'" );
|
"OF VARIABLE 'R3'" );
|
IF R3 = RA1 THEN
|
IF R3 = RA1 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'R3'" );
|
"OF VARIABLE 'R3'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
R4 : RECA (IDENT_INT (2)) := RA1;
|
R4 : RECA (IDENT_INT (2)) := RA1;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'R4'" );
|
"OF VARIABLE 'R4'" );
|
IF R4 = RA1 THEN
|
IF R4 = RA1 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'R4'" );
|
"OF VARIABLE 'R4'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
SUBTYPE SRECA IS RECA (IDENT_INT (-1));
|
SUBTYPE SRECA IS RECA (IDENT_INT (-1));
|
R5 : CONSTANT SRECA := RA1;
|
R5 : CONSTANT SRECA := RA1;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'R5'" );
|
"OF CONSTANT 'R5'" );
|
IF R5 = RA1 THEN
|
IF R5 = RA1 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'R5'" );
|
"OF CONSTANT 'R5'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
SUBTYPE SRECA IS RECA (IDENT_INT (3));
|
SUBTYPE SRECA IS RECA (IDENT_INT (3));
|
R6 : SRECA := RA1;
|
R6 : SRECA := RA1;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'R6'" );
|
"OF VARIABLE 'R6'" );
|
IF R6 = RA1 THEN
|
IF R6 = RA1 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'R6'" );
|
"OF VARIABLE 'R6'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
R7 : CONSTANT RECB (IDENT_INT (1), IDENT_INT (1)) :=
|
R7 : CONSTANT RECB (IDENT_INT (1), IDENT_INT (1)) :=
|
RB12;
|
RB12;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'R7'" );
|
"OF CONSTANT 'R7'" );
|
IF R7 = RB12 THEN
|
IF R7 = RB12 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'R7'" );
|
"OF CONSTANT 'R7'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
R8 : CONSTANT RECB (IDENT_INT (2), IDENT_INT (2)) :=
|
R8 : CONSTANT RECB (IDENT_INT (2), IDENT_INT (2)) :=
|
RB12;
|
RB12;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'R8'" );
|
"OF CONSTANT 'R8'" );
|
IF R8 = RB12 THEN
|
IF R8 = RB12 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'R8'" );
|
"OF CONSTANT 'R8'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
R9 : RECB (IDENT_INT (1), IDENT_INT (1)) := RB12;
|
R9 : RECB (IDENT_INT (1), IDENT_INT (1)) := RB12;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'R9'" );
|
"OF VARIABLE 'R9'" );
|
IF R9 = RB12 THEN
|
IF R9 = RB12 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'R9'" );
|
"OF VARIABLE 'R9'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
R10 : RECB (IDENT_INT (2), IDENT_INT (2)) := RB12;
|
R10 : RECB (IDENT_INT (2), IDENT_INT (2)) := RB12;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'R10'" );
|
"OF VARIABLE 'R10'" );
|
IF R10 = RB12 THEN
|
IF R10 = RB12 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'R10'" );
|
"OF VARIABLE 'R10'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
SUBTYPE SRECB IS
|
SUBTYPE SRECB IS
|
RECB (IDENT_INT (-1), IDENT_INT (-2));
|
RECB (IDENT_INT (-1), IDENT_INT (-2));
|
R11 : CONSTANT SRECB := RB12;
|
R11 : CONSTANT SRECB := RB12;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'R11'" );
|
"OF CONSTANT 'R11'" );
|
IF R11 = RB12 THEN
|
IF R11 = RB12 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF CONSTANT 'R11'" );
|
"OF CONSTANT 'R11'" );
|
END;
|
END;
|
|
|
BEGIN
|
BEGIN
|
DECLARE
|
DECLARE
|
SUBTYPE SRECB IS RECB (IDENT_INT (2), IDENT_INT (1));
|
SUBTYPE SRECB IS RECB (IDENT_INT (2), IDENT_INT (1));
|
R12 : SRECB := RB12;
|
R12 : SRECB := RB12;
|
BEGIN
|
BEGIN
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "NO EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'R12'" );
|
"OF VARIABLE 'R12'" );
|
IF R12 = RB12 THEN
|
IF R12 = RB12 THEN
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
COMMENT ("PREVENTING DEAD VARIABLE OPTIMIZATION");
|
END IF;
|
END IF;
|
END;
|
END;
|
EXCEPTION
|
EXCEPTION
|
WHEN CONSTRAINT_ERROR =>
|
WHEN CONSTRAINT_ERROR =>
|
NULL;
|
NULL;
|
WHEN OTHERS =>
|
WHEN OTHERS =>
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
FAILED ( "WRONG EXCEPTION RAISED FOR INITIALIZATION " &
|
"OF VARIABLE 'R12'" );
|
"OF VARIABLE 'R12'" );
|
END;
|
END;
|
|
|
RESULT;
|
RESULT;
|
END C32113A;
|
END C32113A;
|
|
|