1 files changed, 134 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/ada/acats/tests/c6/c631001.a b/gcc-4.9/gcc/testsuite/ada/acats/tests/c6/c631001.a
new file mode 100644
index 000000000..f8b0c775b
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/ada/acats/tests/c6/c631001.a
@@ -0,0 +1,134 @@
+-- C631001.A
+--
+--                             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 if different forms of a name are used in the default 
+--      expression of a discriminant part, the selector may be an operator
+--      symbol or a character literal.
+--
+-- TEST DESCRIPTION:
+--      This transition test defines private types where their selectors in
+--      the default expression of the discriminant parts at the full type 
+--      declarations are an operator and a literal, respectively. 
+--      The test also declares procedures that use an operator and a literal
+--      as selectors in the formal parts. 
+--
+--      Inspired by B63102A.ADA.
+--
+--
+-- CHANGE HISTORY:
+--      25 Mar 96   SAIC    Initial version for ACVC 2.1.
+--      26 Feb 97   PWB.CTA Removed use of function called before elaboration
+--!
+
+with Report;
+
+procedure C631001 is
+
+   package C631001_0 is 
+
+      type Int_Type is range 1 .. 100;
+      type Enu_Type is ('A', 'B', 'C', 'D');
+
+      type Private_Enu (D : Enu_Type := 'B')       is private;
+
+      function "+" (X, Y : Int_Type) return Int_Type;
+
+      procedure Int_Proc (P1 : in  Int_Type := "+" (10, 15);
+                          P2 : out Int_Type);
+                                    
+      procedure Enu_Proc (P1 : in  Enu_Type := 'C';
+                          P2 : out Enu_Type);
+
+   private
+
+      type Private_Enu (D : Enu_Type := C631001_0.'B') is              -- OK.
+        record
+           C2 : Enu_Type := D;
+        end record;
+
+      -----------------------------------------------------------------
+      PE_Obj  : C631001_0.Private_Enu;
+
+   end C631001_0;
+
+     --==================================================================--
+
+   package body C631001_0 is 
+
+      function "+" (X, Y : Int_Type) return Int_Type is
+      begin
+         return 10;
+      end "+";
+
+      -----------------------------------------------------------------
+      procedure Int_Proc (P1 : in  Int_Type := C631001_0."+" (10, 15); -- OK.
+                          P2 : out Int_Type) is
+                                    
+      begin
+         P2 := P1;
+      end Int_Proc;
+
+      -----------------------------------------------------------------
+      procedure Enu_Proc (P1 : in  Enu_Type := C631001_0.'C';          -- OK.
+                          P2 : out Enu_Type) is
+      begin
+         P2 := P1;
+      end Enu_Proc;
+
+      -----------------------------------------------------------------
+
+   end C631001_0;
+
+   ---------------------------------------------------------------------------
+   Int_Obj : C631001_0.Int_Type := 50;
+   Enu_Obj : C631001_0.Enu_Type := C631001_0.'D';
+
+   -- Direct visibility to operator symbols
+   use type C631001_0.Int_Type;
+   use type C631001_0.Enu_Type;
+
+begin  -- main
+
+   Report.Test ("C631001", "Check that if different forms of a name are " &
+                "used in the default expression of a discriminant part, " &
+                "the selector may be an operator symbol or a character "  &
+                "literal");
+
+   C631001_0.Int_Proc (P2 => Int_Obj);
+
+   if Int_Obj /= 10 then
+     Report.Failed ("Wrong result for Int_Obj");
+   end if;
+
+   C631001_0.Enu_Proc (P2 => Enu_Obj);
+
+   if Enu_Obj /= 'C' then
+     Report.Failed ("Wrong result for Enu_Obj");
+   end if;
+
+   Report.Result;
+
+end C631001;