aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.8.3/gcc/testsuite/gnat.dg/specs/controlled1.ads
diff options
context:
space:
mode:
authorDan Albert <danalbert@google.com>2016-02-24 13:48:45 -0800
committerDan Albert <danalbert@google.com>2016-02-24 13:51:18 -0800
commitb9de1157289455b0ca26daff519d4a0ddcd1fa13 (patch)
tree4c56cc0a34b91f17033a40a455f26652304f7b8d /gcc-4.8.3/gcc/testsuite/gnat.dg/specs/controlled1.ads
parent098157a754787181cfa10e71325832448ddcea98 (diff)
downloadtoolchain_gcc-b9de1157289455b0ca26daff519d4a0ddcd1fa13.tar.gz
toolchain_gcc-b9de1157289455b0ca26daff519d4a0ddcd1fa13.tar.bz2
toolchain_gcc-b9de1157289455b0ca26daff519d4a0ddcd1fa13.zip
Update 4.8.1 to 4.8.3.
My previous drop was the wrong version. The platform mingw is currently using 4.8.3, not 4.8.1 (not sure how I got that wrong). From ftp://ftp.gnu.org/gnu/gcc/gcc-4.8.3/gcc-4.8.3.tar.bz2. Bug: http://b/26523949 Change-Id: Id85f1bdcbbaf78c7d0b5a69e74c798a08f341c35
Diffstat (limited to 'gcc-4.8.3/gcc/testsuite/gnat.dg/specs/controlled1.ads')
-rw-r--r--gcc-4.8.3/gcc/testsuite/gnat.dg/specs/controlled1.ads35
1 files changed, 35 insertions, 0 deletions
diff --git a/gcc-4.8.3/gcc/testsuite/gnat.dg/specs/controlled1.ads b/gcc-4.8.3/gcc/testsuite/gnat.dg/specs/controlled1.ads
new file mode 100644
index 000000000..1ceedaf37
--- /dev/null
+++ b/gcc-4.8.3/gcc/testsuite/gnat.dg/specs/controlled1.ads
@@ -0,0 +1,35 @@
+-- { dg-do compile }
+
+with Ada.Finalization;
+with Controlled1_Pkg; use Controlled1_Pkg;
+
+package Controlled1 is
+
+ type Collection is new Ada.Finalization.Controlled with null record;
+
+ type Object_Kind_Type is (One, Two);
+
+ type Byte_Array is array (Natural range <>) of Integer;
+
+ type Bounded_Byte_Array_Type is record
+ A : Byte_Array (1 .. Value);
+ end record;
+
+ type Object_Type is tagged record
+ A : Bounded_Byte_Array_Type;
+ end record;
+
+ type R_Object_Type is new Object_Type with record
+ L : Collection;
+ end record;
+
+ type Obj_Type (Kind : Object_Kind_Type := One) is record
+ case Kind is
+ when One => R : R_Object_Type;
+ when others => null;
+ end case;
+ end record;
+
+ type Obj_Array_Type is array (Positive range <>) of Obj_Type;
+
+end Controlled1;