From 554fd8c5195424bdbcabf5de30fdc183aba391bd Mon Sep 17 00:00:00 2001 From: upstream source tree Date: Sun, 15 Mar 2015 20:14:05 -0400 Subject: obtained gcc-4.6.4.tar.bz2 from upstream website; verified gcc-4.6.4.tar.bz2.sig; imported gcc-4.6.4 source tree from verified upstream tarball. downloading a git-generated archive based on the 'upstream' tag should provide you with a source tree that is binary identical to the one extracted from the above tarball. if you have obtained the source via the command 'git clone', however, do note that line-endings of files in your working directory might differ from line-endings of the respective files in the upstream repository. --- .../gnat.dg/abstract_with_anonymous_result.adb | 37 ++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 gcc/testsuite/gnat.dg/abstract_with_anonymous_result.adb (limited to 'gcc/testsuite/gnat.dg/abstract_with_anonymous_result.adb') diff --git a/gcc/testsuite/gnat.dg/abstract_with_anonymous_result.adb b/gcc/testsuite/gnat.dg/abstract_with_anonymous_result.adb new file mode 100644 index 000000000..af0f43e64 --- /dev/null +++ b/gcc/testsuite/gnat.dg/abstract_with_anonymous_result.adb @@ -0,0 +1,37 @@ +-- { dg-do run } + +procedure Abstract_With_Anonymous_Result is + + package Pkg is + type I is abstract tagged null record; + type Acc_I_Class is access all I'Class; + function Func (V : I) return access I'Class is abstract; + procedure Proc (V : access I'Class); + type New_I is new I with null record; + function Func (V : New_I) return access I'Class; + end Pkg; + + package body Pkg is + X : aliased New_I; + + procedure Proc (V : access I'Class) is begin null; end Proc; + + function Func (V : New_I) return access I'Class is + begin + X := V; + return X'Access; + end Func; + end Pkg; + + use Pkg; + + New_I_Obj : aliased New_I; + + procedure Proc2 (V : access I'Class) is + begin + Proc (Func (V.all)); -- Call to Func causes gigi abort 122 + end Proc2; + +begin + Proc2 (New_I_Obj'Access); +end Abstract_With_Anonymous_Result; -- cgit v1.2.3