--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/ada/acats/tests/cc/cc1304b.ada	Fri Oct 27 22:46:09 2017 +0900
@@ -0,0 +1,166 @@
+-- CC1304B.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 GENERIC FORMAL SUBPROGRAMS MAY HAVE A PARAMETER
+--     OF A GENERIC FORMAL TYPE, AND MAY RETURN A GENERIC FORMAL
+--     TYPE.  CHECK MODES IN OUT AND OUT.
+
+-- HISTORY:
+--     BCB 08/04/88  CREATED ORIGINAL TEST.
+
+WITH REPORT; USE REPORT;
+
+PROCEDURE CC1304B IS
+
+BEGIN
+     TEST ("CC1304B", "GENERIC FORMAL SUBPROGRAMS MAY HAVE A " &
+                      "PARAMETER OF A GENERIC FORMAL TYPE, AND MAY  " &
+                      "RETURN A GENERIC FORMAL TYPE.  CHECK MODES IN " &
+                      "OUT AND OUT");
+
+     DECLARE
+          GENERIC
+               TYPE T IS ( <> );
+               WITH PROCEDURE S (P : OUT T);
+               WITH PROCEDURE P (P : IN OUT T);
+               WITH FUNCTION L RETURN T;
+          PROCEDURE PR (PARM1, PARM2, PARM3 : IN OUT T);
+
+          PROCEDURE PR (PARM1, PARM2, PARM3 : IN OUT T) IS
+          BEGIN
+               S (P => PARM1);
+               P (P => PARM2);
+               PARM3 := L;
+          END PR;
+     BEGIN
+          DECLARE
+               C : CHARACTER := 'A';
+               C1 : CHARACTER := 'Y';
+               C2 : CHARACTER := 'I';
+               B : BOOLEAN := FALSE;
+               B1 : BOOLEAN := TRUE;
+               B2 : BOOLEAN := FALSE;
+               I : INTEGER := 5;
+               I1 : INTEGER := 10;
+               I2 : INTEGER := 0;
+               TYPE ENUM IS (E1, E2, E3);
+               F : ENUM := E2;
+               F1 : ENUM := E1;
+               F2 : ENUM := E2;
+
+               PROCEDURE FC (P : OUT CHARACTER) IS
+               BEGIN
+                    P := 'B';
+               END FC;
+
+               PROCEDURE FB (P : OUT BOOLEAN) IS
+               BEGIN
+                    P := NOT B;
+               END FB;
+
+               PROCEDURE FI (P : OUT INTEGER) IS
+               BEGIN
+                    P :=  I + 1;
+               END FI;
+
+               PROCEDURE FE (P : OUT ENUM) IS
+               BEGIN
+                    P := ENUM'SUCC (F);
+               END FE;
+
+               PROCEDURE  PC (P : IN OUT CHARACTER) IS
+               BEGIN
+                    P := 'Z';
+               END PC;
+
+               PROCEDURE PB (P : IN OUT BOOLEAN) IS
+               BEGIN
+                    P := NOT B1;
+               END PB;
+
+               PROCEDURE PI (P : IN OUT INTEGER) IS
+               BEGIN
+                   P := I1 + 1;
+               END PI;
+
+               PROCEDURE PE (P : IN OUT ENUM) IS
+               BEGIN
+                    P := ENUM'SUCC (F1);
+               END PE;
+
+               FUNCTION LC RETURN CHARACTER IS
+               BEGIN
+                    RETURN 'J';
+               END LC;
+
+               FUNCTION LB RETURN BOOLEAN IS
+               BEGIN
+                    RETURN TRUE;
+               END LB;
+
+               FUNCTION LI RETURN INTEGER IS
+               BEGIN
+                    RETURN IDENT_INT(5);
+               END LI;
+
+               FUNCTION LE RETURN ENUM IS
+               BEGIN
+                    RETURN ENUM'SUCC(F2);
+               END LE;
+
+               PACKAGE PKG2 IS
+                    PROCEDURE P1 IS NEW PR (CHARACTER, FC, PC, LC);
+                    PROCEDURE P2 IS NEW PR (BOOLEAN, FB, PB, LB);
+                    PROCEDURE P3 IS NEW PR (INTEGER, FI, PI, LI);
+                    PROCEDURE P4 IS NEW PR (ENUM, FE, PE, LE);
+               END PKG2;
+
+               PACKAGE BODY PKG2 IS
+               BEGIN
+                    P1 (C,C1,C2);
+                    P2 (B,B1,B2);
+                    P3 (I,I1,I2);
+                    P4 (F,F1,F2);
+               END  PKG2;
+          BEGIN
+               IF C /= 'B' OR B /= TRUE OR I /= 6 OR F /= E3 THEN
+                    FAILED ("SUBPROGRAM PARAMETERS OF FORMAL TYPES - " &
+                            "MODE OUT");
+               END IF;
+
+               IF C1 /= 'Z' OR B1 /= FALSE OR I1 /= 11 OR F1 /= E2 THEN
+                    FAILED ("SUBPROGRAM PARAMETERS OF FORMAL TYPES - " &
+                            "MODE IN OUT");
+               END IF;
+
+               IF C2 /= 'J' OR B2 /= TRUE OR I2 /= 5 OR F2 /= E3 THEN
+                    FAILED ("GENERIC FORMAL SUBPROGRAMS RETURNING A " &
+                            "GENERIC FORMAL TYPE");
+               END IF;
+          END;
+     END;
+
+     RESULT;
+END CC1304B;