1 files changed, 94 insertions, 0 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cd/cdd1001.a b/gcc/testsuite/ada/acats/tests/cd/cdd1001.a
new file mode 100644
index 000000000..3e16f5d4f
--- /dev/null
+++ b/gcc/testsuite/ada/acats/tests/cd/cdd1001.a
@@ -0,0 +1,94 @@
+-- CDD1001.A
+--
+--                             Grant of Unlimited Rights
+--
+--     The Ada Conformity Assessment Authority (ACAA) holds unlimited
+--     rights in the software and documentation contained herein. Unlimited
+--     rights are the same as those granted by the U.S. Government for older
+--     parts of the Ada Conformity Assessment Test Suite, and are defined
+--     in DFAR 252.227-7013(a)(19). By making this public release, the ACAA
+--     intends to confer upon all recipients unlimited rights equal to those
+--     held by the ACAA. 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 components of Stream_Element_Array are aliased.  (Defect
+--    Report 8652/0044).
+--
+-- APPLICABILITY CRITERIA:
+--    All implementations must attempt to compile this test.
+--
+--    For implementations for which Stream_Element'Size is a multiple of
+--    System.Storage_Unit, this test must execute.
+--
+--    For other implementations, if this test compiles without error messages
+--    at compilation, it must bind and execute.
+--
+-- PASS/FAIL CRITERIA:
+--    For implementations for which Stream_Element'Size is a multiple of
+--      System.Storage_Unit, this test must execute, report PASSED, and
+--      complete normally, otherwise the test FAILS.
+--
+--    For other implementations:
+--      PASSING behavior is:
+--        this test executes, reports PASSED, and completes normally
+--      or
+--        this test produces at least one error message at compilation, and
+--        the error message is associated with one of the items marked:
+--           -- N/A => ERROR.
+--
+--      All other behaviors are FAILING.
+--
+--
+-- CHANGE HISTORY:
+--    12 FEB 2001   PHL   Initial version
+--    15 MAR 2001   RLB   Readied for release.
+
+--!
+with Ada.Streams;
+use Ada.Streams;
+with Report;
+use Report;
+procedure CDD1001 is
+
+    type Acc is access all Stream_Element;
+
+    A : Stream_Element_Array
+	   (Stream_Element_Offset (Ident_Int (1)) ..
+	       Stream_Element_Offset (Ident_Int (10)));
+    B : array (A'Range) of Acc;
+begin
+    Test ("CDD1001",
+	  "Check that components of Stream_Element_Array are aliased");
+
+    for I in A'Range loop
+	A (I) := Stream_Element (Ident_Int (Integer (I)) * Ident_Int (3));
+    end loop;
+
+    for I in B'Range loop
+	B (I) := A (I)'Access;                                -- N/A => ERROR.
+    end loop;
+
+    for I in B'Range loop
+	if B (I).all /= Stream_Element
+			   (Ident_Int (Integer (I)) * Ident_Int (3)) then
+	    Failed ("Unable to build access values desginating elements " &
+		    "of a Stream_Element_Array");
+	end if;
+    end loop;
+
+    Result;
+end CDD1001;
+