comp.lang.ada
 help / color / mirror / Atom feed
From: Jere <jhb.chat@gmail.com>
Subject: Re: expression functions and raise expressions
Date: Sat, 3 Mar 2018 14:54:33 -0800 (PST)
Date: 2018-03-03T14:54:33-08:00	[thread overview]
Message-ID: <38a501d0-32c2-4d97-ae7c-e32c1ea48ff7@googlegroups.com> (raw)
In-Reply-To: <lya7voj2xf.fsf@pushface.org>

On Saturday, March 3, 2018 at 3:54:06 PM UTC-5, Simon Wright wrote:
> Jere 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)

Ok, thanks for the confirmation.  I worked around it, but it definitely
caught me offguard.


  reply	other threads:[~2018-03-03 22: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
2018-03-03 22:54   ` Jere [this message]
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