--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/gcc/testsuite/ada/acats/tests/c7/c74206a.ada	Fri Oct 27 22:46:09 2017 +0900
@@ -0,0 +1,144 @@
+-- C74206A.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.
+--*
+-- CHECK THAT IF A COMPOSITE TYPE IS DECLARED IN THE PACKAGE AS A
+-- PRIVATE TYPE AND CONTAINS A COMPONENT OF THE PRIVATE TYPE, OPERATIONS
+-- OF THE COMPOSITE TYPE WHICH DO NOT DEPEND ON CHARACTERISTICS OF THE
+-- PRIVATE TYPE ARE AVAILABLE AFTER THE FULL DECLARATION OF THE PRIVATE
+-- TYPE, BUT BEFORE THE EARLIEST PLACE WITHIN THE IMMEDIATE SCOPE OF THE
+-- DECLARATION OF THE COMPOSITE TYPE THAT IS AFTER THE FULL DECLARATION
+-- OF THE PRIVATE TYPE.  IN PARTICULAR, CHECK FOR THE FOLLOWING :
+
+--   'FIRST, 'LAST, 'RANGE, AND 'LENGTH FOR ARRAY TYPES
+--   SELECTED COMPONENTS FOR DISCRIMINANTS AND COMPONENTS OF RECORDS
+--   INDEXED COMPONENTS AND SLICES FOR ARRAYS
+
+-- DSJ 5/5/83
+-- JBG 3/8/84
+
+WITH REPORT; 
+PROCEDURE C74206A IS
+
+     USE REPORT; 
+
+BEGIN
+
+     TEST("C74206A", "CHECK THAT ADDITIONAL OPERATIONS FOR "
+                   & "COMPOSITE TYPES OF PRIVATE TYPES ARE "
+                   & "AVAILABLE AT THE EARLIEST PLACE AFTER THE "
+                   & "FULL DECLARATION OF THE PRIVATE TYPE EVEN "
+                   & "IF BEFORE THE EARLIEST PLACE WITHIN THE "
+                   & "IMMEDIATE SCOPE OF THE COMPOSITE TYPE"); 
+
+     DECLARE
+
+          PACKAGE PACK1 IS
+               TYPE P1  IS PRIVATE; 
+               TYPE LP1 IS LIMITED PRIVATE; 
+
+               PACKAGE PACK_LP IS
+                    TYPE LP_ARR IS ARRAY (1 .. 2) OF LP1; 
+                    TYPE LP_REC (D : INTEGER) IS
+                         RECORD
+                              C1, C2 : LP1; 
+                         END RECORD; 
+               END PACK_LP; 
+
+               PACKAGE PACK2 IS
+                    TYPE ARR IS ARRAY ( 1 .. 2 ) OF P1; 
+                    TYPE REC (D : INTEGER) IS
+                         RECORD
+                              C1, C2 : P1; 
+                         END RECORD; 
+               END PACK2; 
+          PRIVATE
+               TYPE P1  IS NEW BOOLEAN; 
+               TYPE LP1 IS NEW BOOLEAN; 
+          END PACK1; 
+
+          PACKAGE BODY PACK1 IS
+
+               USE PACK_LP; 
+               USE PACK2; 
+
+               A1 : ARR; 
+               L1 : LP_ARR; 
+
+               N1 : INTEGER := ARR'FIRST;           -- LEGAL
+               N2 : INTEGER := ARR'LAST;            -- LEGAL
+               N3 : INTEGER := A1'LENGTH;           -- LEGAL
+               N4 : INTEGER := LP_ARR'FIRST;        -- LEGAL
+               N5 : INTEGER := LP_ARR'LAST;         -- LEGAL
+               N6 : INTEGER := L1'LENGTH;           -- LEGAL
+               B1 : BOOLEAN := 1 IN ARR'RANGE;      -- LEGAL
+               B2 : BOOLEAN := 5 IN LP_ARR'RANGE;   -- LEGAL
+
+               N7 : INTEGER := A1(1)'SIZE;          -- LEGAL: A1(1)
+               N8 : INTEGER := L1(2)'SIZE;          -- LEGAL: L1(2)
+
+               R1 : REC(1); 
+               Q1 : LP_REC(1); 
+
+               K1 : INTEGER := R1.D'SIZE;           -- LEGAL: R1.D
+               K2 : INTEGER := R1.C1'SIZE;          -- LEGAL: R1.C1
+               K3 : INTEGER := Q1.D'SIZE;           -- LEGAL: Q1.D
+               K4 : INTEGER := Q1.C2'SIZE;          -- LEGAL: Q1.C2
+
+          BEGIN
+
+               IF N1 /= 1 OR N4 /= 1 THEN
+                    FAILED ("WRONG VALUE FOR 'FIRST"); 
+               END IF; 
+
+               IF N2 /= 2 OR N5 /= 2 THEN
+                    FAILED ("WRONG VALUE FOR 'LAST"); 
+               END IF; 
+
+               IF N3 /= 2 OR N6 /= 2 THEN
+                    FAILED ("WRONG VALUE FOR 'LENGTH"); 
+               END IF; 
+
+               IF B1 /= TRUE OR B2 /= FALSE THEN
+                    FAILED ("INCORRECT RANGE TEST"); 
+               END IF; 
+
+               IF N7 /= N8 THEN
+                    FAILED ("INCORRECT INDEXED COMPONENTS"); 
+               END IF; 
+
+               IF K1 /= K3 OR K2 /= K4 THEN
+                    FAILED ("INCORRECT COMPONENT SELECTION"); 
+               END IF; 
+
+          END PACK1; 
+
+     BEGIN
+
+          NULL; 
+
+     END; 
+
+     RESULT; 
+
+END C74206A;