From: Simon Wright <simon@pushface.org>
Subject: Re: expression functions and raise expressions
Date: Sat, 03 Mar 2018 20:54:04 +0000
Date: 2018-03-03T20:54:04+00:00 [thread overview]
Message-ID: <lya7voj2xf.fsf@pushface.org> (raw)
In-Reply-To: 60f20df9-4b33-4f29-829e-2fccb89a650a@googlegroups.com
Jere <jhb.chat@gmail.com> writes:
> GNAT GPL 2017 accepts it, but FSF GNAT 7.2 for mingw64 on Win10
> gives some errors:
> test.ads:328:11: (Ada 2005) cannot copy object of a limited type (RM-2005 6.5(5.5/2))
> test.ads:328:11: return by reference not permitted in Ada 2005
>
> NOTE: Reference_Type is untagged limited discriminated null
> record with Implicit_Dereference defined. Also note that a similar
> function that returns an aggregate initialization compiles fine
> on both versions.
>
> I am compiling with Ada2012 mode (-gnat12 option)
>
> I believe this to be a bug in GCC 7.2 for mingw64, but wanted to
> make sure I wasn't misreading the RM.
It's fixed in GCC 8.
It fails in the same way as 7.1.0, same weird error message about 2005,
with GNAT GPL 2016.
(macOS High Sierra)
next prev parent reply other threads:[~2018-03-03 20:54 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-03 18:39 expression functions and raise expressions Jere
2018-03-03 20:03 ` Jeffrey R. Carter
2018-03-03 22:53 ` Jere
2018-03-03 20:54 ` Simon Wright [this message]
2018-03-03 22:54 ` Jere
2018-03-05 20:21 ` Randy Brukardt
2018-03-07 22:39 ` Jere
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox