1 files changed, 124 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/ada/acats/tests/c4/c48004d.ada b/gcc-4.9/gcc/testsuite/ada/acats/tests/c4/c48004d.ada
new file mode 100644
index 000000000..9454327dc
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/ada/acats/tests/c4/c48004d.ada
@@ -0,0 +1,124 @@
+-- C48004D.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 THE FORM "NEW T" IS PERMITTED IF T IS A RECORD, PRIVATE,
+-- OR LIMITED TYPE WITHOUT DISCRIMINANTS.
+
+-- RM  01/12/80
+-- JBG 03/03/83
+-- EG  07/05/84
+
+WITH REPORT;
+
+PROCEDURE C48004D IS
+
+     USE REPORT;
+
+BEGIN
+
+     TEST("C48004D","CHECK THAT THE FORM 'NEW T' IS PERMITTED IF T " &
+                    "IS A RECORD, PRIVATE, OR LIMITED TYPE WITHOUT " &
+                    "DISCRIMINANTS");
+
+     DECLARE
+
+          TYPE  TC  IS
+               RECORD
+                    C : INTEGER := 18;
+               END RECORD;
+          TYPE ATC IS ACCESS TC;
+          VC : ATC;
+
+          PACKAGE  P  IS
+               TYPE   PRIV  IS PRIVATE;
+               TYPE  LPRIV  IS LIMITED PRIVATE;
+               TYPE A_PRIV  IS  ACCESS PRIV;
+               TYPE A_LPRIV  IS  ACCESS LPRIV;
+               PROCEDURE   CHECK( X: A_PRIV  );
+               PROCEDURE  LCHECK( X: A_LPRIV );
+               PROCEDURE LRCHECK( X: LPRIV );
+          PRIVATE
+               TYPE   PRIV  IS
+                    RECORD
+                         Q : INTEGER := 19;
+                    END RECORD;
+               TYPE  LPRIV  IS
+                    RECORD
+                         Q : INTEGER := 20;
+                    END RECORD;
+          END P;
+
+     
+          VP  :  P.A_PRIV;
+          VLP : P.A_LPRIV;
+
+          TYPE LCR IS
+               RECORD
+                    C : P.LPRIV;
+               END RECORD;
+          TYPE A_LCR IS ACCESS LCR;
+          VLCR : A_LCR;
+
+          PACKAGE BODY  P  IS
+
+               PROCEDURE  CHECK( X: A_PRIV )  IS
+               BEGIN
+                    IF  X.Q /= 19  THEN  FAILED( "WRONG VALUES - C2" );
+                    END IF;
+               END CHECK;
+     
+               PROCEDURE  LCHECK( X: A_LPRIV )  IS
+               BEGIN
+                    IF  X.Q /= 20  THEN  FAILED( "WRONG VALUES - C3" );
+                    END IF;
+               END LCHECK;
+
+               PROCEDURE LRCHECK (X : LPRIV) IS
+               BEGIN
+                    IF X.Q /= 20 THEN
+                         FAILED ("WRONG VALUES - C4");
+                    END IF;
+               END LRCHECK;
+
+          END P;
+
+     BEGIN
+
+          VC  :=  NEW TC;
+          IF  VC.C /= 18  THEN FAILED( "WRONG VALUES  -  C1" );
+          END IF;
+          
+          VP  :=  NEW P.PRIV;
+          P.CHECK( VP );
+          VLP :=  NEW P.LPRIV;
+          P.LCHECK( VLP );
+
+          VLCR := NEW LCR;
+          P.LRCHECK( VLCR.ALL.C );
+
+     END;
+
+     RESULT;
+
+END C48004D;