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: buffer2.nntp.dca1.giganews.com!border2.nntp.dca1.giganews.com!nntp.giganews.com!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!feeder.erje.net!us.feeder.erje.net!newsfeed.fsmpi.rwth-aachen.de!newsfeed.straub-nv.de!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Mutating elements of constant list using a container element iterator Date: Thu, 6 Aug 2015 14:02:16 -0500 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: References: <0c1904af-8ede-4694-a50a-ac9f60d7dc63@googlegroups.com> NNTP-Posting-Host: rrsoftware.com X-Trace: loke.gir.dk 1438887738 10498 24.196.82.226 (6 Aug 2015 19:02:18 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Thu, 6 Aug 2015 19:02:18 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 Xref: number.nntp.giganews.com comp.lang.ada:194685 Date: 2015-08-06T14:02:16-05:00 List-Id: wrote in message news:0c1904af-8ede-4694-a50a-ac9f60d7dc63@googlegroups.com... ... > http://www.ada-auth.org/standards/12rat/html/Rat12-8-3.html says: > "If we write > for E of The_List loop > ... -- do something to Element E > end loop; > then we can change the element E unless The_List has been declared as > constant." > > Is this a bug? Definitely a bug. There is an ACATS test for this that was created in June 2014 and corrected in July 2014; presumably GNAT was fixed sometime after that. That would explain why GNATPro properly detects the error, probably GNAT GPL was split off sooner than the fix. Randy.