aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.4.3/gcc/testsuite/gnat.dg/discr4.adb
diff options
context:
space:
mode:
authorJing Yu <jingyu@google.com>2010-07-22 14:03:48 -0700
committerJing Yu <jingyu@google.com>2010-07-22 14:03:48 -0700
commitb094d6c4bf572654a031ecc4afe675154c886dc5 (patch)
tree89394c56b05e13a5413ee60237d65b0214fd98e2 /gcc-4.4.3/gcc/testsuite/gnat.dg/discr4.adb
parentdc34721ac3bf7e3c406fba8cfe9d139393345ec5 (diff)
downloadtoolchain_gcc-b094d6c4bf572654a031ecc4afe675154c886dc5.tar.gz
toolchain_gcc-b094d6c4bf572654a031ecc4afe675154c886dc5.tar.bz2
toolchain_gcc-b094d6c4bf572654a031ecc4afe675154c886dc5.zip
commit gcc-4.4.3 which is used to build gcc-4.4.3 Android toolchain in master.
The source is based on fsf gcc-4.4.3 and contains local patches which are recorded in gcc-4.4.3/README.google. Change-Id: Id8c6d6927df274ae9749196a1cc24dbd9abc9887
Diffstat (limited to 'gcc-4.4.3/gcc/testsuite/gnat.dg/discr4.adb')
-rw-r--r--gcc-4.4.3/gcc/testsuite/gnat.dg/discr4.adb47
1 files changed, 47 insertions, 0 deletions
diff --git a/gcc-4.4.3/gcc/testsuite/gnat.dg/discr4.adb b/gcc-4.4.3/gcc/testsuite/gnat.dg/discr4.adb
new file mode 100644
index 000000000..859daaf7f
--- /dev/null
+++ b/gcc-4.4.3/gcc/testsuite/gnat.dg/discr4.adb
@@ -0,0 +1,47 @@
+-- { dg-do run }
+-- { dg-options "-gnatws" }
+
+procedure discr4 is
+ package Pkg is
+ type Rec_Comp (D : access Integer) is record
+ Data : Integer;
+ end record;
+--
+ type I is interface;
+ procedure Test (Obj : I) is abstract;
+--
+ Num : aliased Integer := 10;
+--
+ type Root (D : access Integer) is tagged record
+ C1 : Rec_Comp (D); -- test
+ end record;
+--
+ type DT is new Root and I with null record;
+--
+ procedure Dummy (Obj : DT);
+ procedure Test (Obj : DT);
+ end;
+--
+ package body Pkg is
+ procedure Dummy (Obj : DT) is
+ begin
+ raise Program_Error;
+ end;
+--
+ procedure Test (Obj : DT) is
+ begin
+ null;
+ end;
+ end;
+--
+ use Pkg;
+--
+ procedure CW_Test (Obj : I'Class) is
+ begin
+ Obj.Test;
+ end;
+--
+ Obj : DT (Num'Access);
+begin
+ CW_Test (Obj);
+end;