From: Simon Wright <simon@pushface.org>
Subject: Re: bug or feature
Date: Mon, 06 Oct 2014 18:48:58 +0100
Date: 2014-10-06T18:48:58+01:00 [thread overview]
Message-ID: <ly1tqlay2d.fsf@pushface.org> (raw)
In-Reply-To: 85ppf5xv8c.fsf@stephe-leake.org
Stephen Leake <stephen_leake@stephe-leake.org> writes:
> Simon Wright <simon@pushface.org> writes:
>
>> Looks like a regression.
>>
>> I tried this compilable version of your code
>>
>> <snip>
>> and it fails as you say with GNAT GPL 2014 and FSF GCC 4.9.0. However,
>> GNAT GPL 2013 and FSF GCC 4.8.1 are both happy.
>
> Gnat 7.2.1 gives the error.
>
> In general, I've found that GNAT gets more precise as time goes on. So I
> suspect this is a legitimate error, the check for which was recently
> implemented.
>
> On the other hand, the generalized iterator code is all fairly new, so
> it could also be that something they changed broke this.
>
> Definitely worth reporting.
AdaCore say "This works properly on the development version of GNAT."
prev parent reply other threads:[~2014-10-06 17:48 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-09-07 10:33 bug or feature Charly
2014-09-07 16:59 ` Dirk Heinrichs
2014-09-08 8:48 ` Stephen Leake
2014-09-08 18:07 ` Charly
2014-09-09 4:32 ` Stephen Leake
2014-09-09 4:39 ` Dirk Heinrichs
2014-09-08 8:51 ` Stephen Leake
2014-09-08 9:09 ` J-P. Rosen
2014-09-08 15:31 ` Adam Beneschan
2014-09-08 9:43 ` Simon Wright
2014-09-09 4:40 ` Stephen Leake
2014-10-06 17:48 ` Simon Wright [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox