From: Stephen Leake <stephen_leake@stephe-leake.org>
Subject: Re: bug or feature
Date: Mon, 08 Sep 2014 23:40:03 -0500
Date: 2014-09-08T23:40:03-05:00 [thread overview]
Message-ID: <85ppf5xv8c.fsf@stephe-leake.org> (raw)
In-Reply-To: lyk35eih10.fsf@pushface.org
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.
--
-- Stephe
next prev parent reply other threads:[~2014-09-09 4:40 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 [this message]
2014-10-06 17:48 ` Simon Wright
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox