aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/ada/acats/tests/cd/cdd1001.a
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/testsuite/ada/acats/tests/cd/cdd1001.a')
-rw-r--r--gcc/testsuite/ada/acats/tests/cd/cdd1001.a94
1 files changed, 0 insertions, 94 deletions
diff --git a/gcc/testsuite/ada/acats/tests/cd/cdd1001.a b/gcc/testsuite/ada/acats/tests/cd/cdd1001.a
deleted file mode 100644
index 3e16f5d4f97..00000000000
--- a/gcc/testsuite/ada/acats/tests/cd/cdd1001.a
+++ /dev/null
@@ -1,94 +0,0 @@
--- 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;
-