URL
https://opencores.org/ocsvn/openrisc/openrisc/trunk
Subversion Repositories openrisc
[/] [openrisc/] [tags/] [gnu-src/] [gcc-4.5.1/] [gcc-4.5.1-or32-1.0rc1/] [gcc/] [testsuite/] [ada/] [acats/] [tests/] [c8/] [c83025c.ada] - Rev 338
Compare with Previous | Blame | View Log
-- C83025C.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: -- CHECK THAT A DECLARATION IN A DECLARATIVE REGION OF A GENERIC -- SUBPROGRAM HIDES AN OUTER DECLARATION OF A HOMOGRAPH. ALSO CHECK -- THAT THE OUTER DECLARATION IS DIRECTLY VISIBLE IN BOTH -- DECLARATIVE REGIONS BEFORE THE DECLARATION OF THE INNER HOMOGRAPH -- AND THE OUTER DECLARATION IS VISIBLE BY SELECTION AFTER THE INNER -- HOMOGRAPH DECLARATION, IF THE GENERIC SUBPROGRAM BODY IS COMPILED -- AS A SUBUNIT IN THE SAME COMPILATION. -- HISTORY: -- BCB 09/01/88 CREATED ORIGINAL TEST. WITH REPORT; USE REPORT; PRAGMA ELABORATE(REPORT); PACKAGE C83025C_PACK IS Y : INTEGER := IDENT_INT(5); Z : INTEGER := Y; GENERIC TYPE T IS PRIVATE; X : T; FUNCTION GEN_FUN RETURN T; A : INTEGER := IDENT_INT(2); B : INTEGER := A; OBJ : INTEGER := IDENT_INT(3); FLO : FLOAT := 5.0; TYPE ENUM IS (ONE, TWO, THREE, FOUR); EOBJ : ENUM := ONE; GENERIC Y : FLOAT := 2.0; PROCEDURE INNER (X : IN OUT INTEGER); GENERIC Y : BOOLEAN := TRUE; PROCEDURE INNER2 (X : IN INTEGER := A; A : IN OUT INTEGER); GENERIC Y : ENUM := ONE; FUNCTION INNER3 (X : INTEGER; Z : ENUM := Y) RETURN INTEGER; GENERIC Y : ENUM; FUNCTION INNER4 (X : INTEGER; Z : ENUM := Y) RETURN INTEGER; GENERIC Y : CHARACTER := 'A'; PROCEDURE INNER5 (X : IN OUT INTEGER; F : IN FLOAT; Z : CHARACTER := Y); END C83025C_PACK; PACKAGE BODY C83025C_PACK IS FUNCTION GEN_FUN RETURN T IS BEGIN RETURN X; END GEN_FUN; FUNCTION F IS NEW GEN_FUN (INTEGER, OBJ); FUNCTION F IS NEW GEN_FUN (FLOAT, FLO); PROCEDURE INNER (X : IN OUT INTEGER) IS SEPARATE; PROCEDURE INNER2 (X : IN INTEGER := C83025C_PACK.A; A : IN OUT INTEGER) IS SEPARATE; FUNCTION INNER3 (X : INTEGER; Z : ENUM := Y) RETURN INTEGER IS SEPARATE; FUNCTION INNER4 (X : INTEGER; Z : ENUM := Y) RETURN INTEGER IS SEPARATE; PROCEDURE INNER5 (X : IN OUT INTEGER; F : IN FLOAT; Z : CHARACTER := Y) IS SEPARATE; END C83025C_PACK; SEPARATE (C83025C_PACK) PROCEDURE INNER (X : IN OUT INTEGER) IS C : INTEGER := A; A : INTEGER := IDENT_INT(3); BEGIN IF A /= IDENT_INT(3) THEN FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 1"); END IF; IF C83025C_PACK.A /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE FOR OUTER HOMOGRAPH - 2"); END IF; IF C83025C_PACK.B /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE FOR OUTER VARIABLE - 3"); END IF; IF C /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE FOR INNER VARIABLE - 4"); END IF; IF X /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE PASSED IN - 5"); END IF; IF Y /= 2.0 THEN FAILED ("INCORRECT VALUE INNER HOMOGRAPH - 6"); END IF; IF EQUAL(1,1) THEN X := A; ELSE X := C83025C_PACK.A; END IF; END INNER; SEPARATE (C83025C_PACK) PROCEDURE INNER2 (X : IN INTEGER := C83025C_PACK.A; A : IN OUT INTEGER) IS C : INTEGER := A; BEGIN IF A /= IDENT_INT(3) THEN FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 10"); END IF; IF C83025C_PACK.A /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE FOR OUTER HOMOGRAPH - 11"); END IF; IF C83025C_PACK.B /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE FOR OUTER VARIABLE - 12"); END IF; IF C /= IDENT_INT(3) THEN FAILED ("INCORRECT VALUE FOR INNER VARIABLE - 13"); END IF; IF X /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE PASSED IN - 14"); END IF; IF Y /= TRUE THEN FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 15"); END IF; IF EQUAL(1,1) THEN A := IDENT_INT(4); ELSE A := 1; END IF; END INNER2; SEPARATE (C83025C_PACK) FUNCTION INNER3 (X : INTEGER; Z : ENUM := Y) RETURN INTEGER IS C : INTEGER := A; A : INTEGER := IDENT_INT(3); BEGIN IF A /= IDENT_INT(3) THEN FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 20"); END IF; IF C83025C_PACK.A /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE FOR OUTER HOMOGRAPH - 21"); END IF; IF C83025C_PACK.B /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE FOR OUTER VARIABLE - 22"); END IF; IF C /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE FOR INNER VARIABLE - 23"); END IF; IF X /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE PASSED IN - 24"); END IF; IF Y /= ONE THEN FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 25"); END IF; IF Z /= ONE THEN FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 26"); END IF; IF EQUAL(1,1) THEN RETURN A; ELSE RETURN X; END IF; END INNER3; SEPARATE (C83025C_PACK) FUNCTION INNER4 (X : INTEGER; Z : ENUM := Y) RETURN INTEGER IS C : INTEGER := A; A : INTEGER := IDENT_INT(3); BEGIN IF A /= IDENT_INT(3) THEN FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 30"); END IF; IF C83025C_PACK.A /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE FOR OUTER HOMOGRAPH - 31"); END IF; IF C83025C_PACK.B /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE FOR OUTER VARIABLE - 32"); END IF; IF C /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE FOR INNER VARIABLE - 33"); END IF; IF X /= IDENT_INT(2) THEN FAILED ("INCORRECT VALUE PASSED IN - 34"); END IF; IF Y /= ONE THEN FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 35"); END IF; IF Z /= ONE THEN FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 36"); END IF; IF EQUAL(1,1) THEN RETURN A; ELSE RETURN X; END IF; END INNER4; SEPARATE (C83025C_PACK) PROCEDURE INNER5 (X : IN OUT INTEGER; F : IN FLOAT; Z : CHARACTER := Y) IS BEGIN X := INTEGER(F); IF Y /= 'A' THEN FAILED ("INCORRECT VALUE FOR INNER HOMOGRAPH - 40"); END IF; IF Z /= 'A' THEN FAILED ("INCORRECT VALUE FOR INNER VARIABLE - 41"); END IF; END INNER5; WITH REPORT; USE REPORT; WITH C83025C_PACK; USE C83025C_PACK; PROCEDURE C83025C IS PROCEDURE NEW_INNER IS NEW INNER; PROCEDURE NEW_INNER2 IS NEW INNER2; FUNCTION NEW_INNER3 IS NEW INNER3; FUNCTION NEW_INNER4 IS NEW INNER4 (Y => EOBJ); PROCEDURE NEW_INNER5 IS NEW INNER5; BEGIN TEST ("C83025C", "CHECK THAT A DECLARATION IN A DECLARATIVE " & "REGION OF A GENERIC SUBPROGRAM HIDES AN OUTER " & "DECLARATION OF A HOMOGRAPH"); A := IDENT_INT(2); B := A; NEW_INNER (A); IF A /= IDENT_INT(3) THEN FAILED ("INCORRECT VALUE PASSED OUT - 7"); END IF; A := IDENT_INT(2); NEW_INNER2 (A => OBJ); IF OBJ /= IDENT_INT(4) THEN FAILED ("INCORRECT VALUE PASSED OUT - 16"); END IF; A := IDENT_INT(2); B := A; IF NEW_INNER3(A) /= IDENT_INT(3) THEN FAILED ("INCORRECT VALUE PASSED OUT - 27"); END IF; A := IDENT_INT(2); B := A; IF NEW_INNER4(A) /= IDENT_INT(3) THEN FAILED ("INCORRECT VALUE PASSED OUT - 37"); END IF; OBJ := 1; FLO := 6.25; NEW_INNER5 (OBJ, FLO); IF OBJ /= IDENT_INT(6) THEN FAILED ("INCORRECT VALUE RETURNED FROM FUNCTION - 42"); END IF; IF Y /= 5 THEN FAILED ("INCORRECT VALUE FOR OUTER HOMOGRAPH - 50"); END IF; IF Z /= 5 THEN FAILED ("INCORRECT VALUE FOR OUTER VARIABLE - 51"); END IF; RESULT; END C83025C;