From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: border2.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!post02.iad.highwinds-media.com!news.flashnewsgroups.com-b7.4zTQh5tI3A!not-for-mail From: Stephen Leake Newsgroups: comp.lang.ada Subject: Re: bug or feature References: <136dc796-8f60-4fc0-a2f8-70e0ca24c9f1@googlegroups.com> Date: Mon, 08 Sep 2014 23:40:03 -0500 Message-ID: <85ppf5xv8c.fsf@stephe-leake.org> User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.3 (windows-nt) Cancel-Lock: sha1:hJSWyjHV+IzSsBGWYcykX16/ZiI= MIME-Version: 1.0 Content-Type: text/plain X-Complaints-To: abuse@flashnewsgroups.com Organization: FlashNewsgroups.com X-Trace: e3517540e84afe3fb833019638 X-Received-Bytes: 1307 X-Received-Body-CRC: 1629410903 Xref: number.nntp.dca.giganews.com comp.lang.ada:188926 Date: 2014-09-08T23:40:03-05:00 List-Id: Simon Wright writes: > Looks like a regression. > > I tried this compilable version of your code > > > 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