1 files changed, 106 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/ada/acats/tests/c8/c87b39a.ada b/gcc-4.9/gcc/testsuite/ada/acats/tests/c8/c87b39a.ada
new file mode 100644
index 000000000..75c855962
--- /dev/null
+++ b/gcc-4.9/gcc/testsuite/ada/acats/tests/c8/c87b39a.ada
@@ -0,0 +1,106 @@
+-- C87B39A.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:
+
+--   A) AN OVERLOADED CALL CAN BE RESOLVED BECAUSE AN ALLOCATOR RETURNS
+--      AN ACCESS TYPE WHOSE DESIGNATED TYPE IS THE TYPE REFERRED TO IN
+--      THE ALLOCATOR.
+--
+--   B) IF THE NAME OF THE DESIGNATED TYPE IN AN ALLOCATOR DOES NOT
+--      UNIQUELY DETERMINE THE ACCESS TYPE OF AN ALLOCATOR, THE CONTEXT
+--      MUST DETERMINE THE TYPE.
+
+-- JBG 1/30/84
+
+WITH REPORT; USE REPORT;
+PROCEDURE C87B39A IS
+
+     TYPE S IS (M, F);
+     TYPE R (D : S) IS
+          RECORD NULL; END RECORD;
+     SUBTYPE M1 IS R(M);
+     SUBTYPE M2 IS R(M);
+
+     TYPE ACC_M1 IS ACCESS M1;
+     TYPE ACC_M2 IS ACCESS M2;
+     TYPE ACC_BOOL IS ACCESS BOOLEAN;
+     TYPE ACC_ACC_M1 IS ACCESS ACC_M1;
+     
+     TYPE WHICH IS (IS_M1, IS_M2, IS_BOOL);
+
+     PROCEDURE P (X : ACC_M1; RESOLUTION : WHICH) IS
+     BEGIN
+          IF RESOLUTION /= IS_M1 THEN
+               FAILED ("INCORRECT RESOLUTION -- ACC_M1");
+          END IF;
+     END P;    -- ACC_M1
+
+     PROCEDURE P (X : ACC_M2; RESOLUTION : WHICH) IS
+     BEGIN
+          IF RESOLUTION /= IS_M2 THEN
+               FAILED ("INCORRECT RESOLUTION -- ACC_M2");
+          END IF;
+     END P;    -- ACC_M2
+
+     PROCEDURE P (X : ACC_BOOL; RESOLUTION : WHICH) IS
+     BEGIN
+          IF RESOLUTION /= IS_BOOL THEN
+               FAILED ("INCORRECT RESOLUTION -- ACC_BOOL");
+          END IF;
+     END P;    -- ACC_BOOL
+
+     PROCEDURE P (X : ACC_ACC_M1; RESOLUTION : WHICH) IS
+     BEGIN
+          FAILED ("INCORRECT RESOLUTION -- ACC_ACC_M1");
+     END P;    -- ACC_ACC_M1
+
+     PROCEDURE Q (X : ACC_M1) IS
+     BEGIN
+          NULL;
+     END Q;    -- ACC_M1
+
+     PROCEDURE Q (X : ACC_BOOL) IS
+     BEGIN
+          FAILED ("INCORRECT RESOLUTION -- ACC_BOOL: Q");
+     END Q;    -- ACC_BOOL
+
+BEGIN
+
+     TEST ("C87B39A", "OVERLOADING RESOLUTION FOR ALLOCATORS");
+
+     P (ACC_M1'(NEW R(M)), IS_M1);    -- B
+
+     P (ACC_M2'(NEW M1), IS_M2);      -- B
+
+     P (NEW BOOLEAN'(TRUE), IS_BOOL); -- A
+
+     Q (NEW M2);              -- A
+     Q (NEW M1);              -- A
+     Q (NEW R(M));            -- A
+     Q (NEW R'(D => M));      -- A
+
+     RESULT;
+
+END C87B39A;