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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.224.205.138 with SMTP id fq10mr2388078qab.1.1369399592345; Fri, 24 May 2013 05:46:32 -0700 (PDT) X-Received: by 10.50.36.99 with SMTP id p3mr3127734igj.4.1369399592265; Fri, 24 May 2013 05:46:32 -0700 (PDT) Path: border1.nntp.dca3.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!nx02.iad01.newshosting.com!newshosting.com!69.16.185.11.MISMATCH!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!ch1no945750qab.0!news-out.google.com!y6ni51184qax.0!nntp.google.com!ch1no945744qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 24 May 2013 05:46:31 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=20.132.64.141; posting-account=rdRzuwoAAAAyW3CSBhs_xgfCUJSc1aNt NNTP-Posting-Host: 20.132.64.141 References: <7cd707ce-ebc5-4df1-9ec3-4f99ce87a07d@googlegroups.com><96af9cd4-3368-4866-a38e-2514a0a7a54d@googlegroups.com><9d131b52-1fe8-4fcb-bb99-c034cefadeee@googlegroups.com><17520a7b-5d05-43d1-bee6-90127a1365f0@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Simple loop with a strange output From: Britt Injection-Date: Fri, 24 May 2013 12:46:32 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 2024 X-Original-Bytes: 2241 Xref: number.nntp.dca.giganews.com comp.lang.ada:181738 Date: 2013-05-24T05:46:31-07:00 List-Id: On Thursday, May 23, 2013 5:34:47 PM UTC-4, Randy Brukardt wrote: > That's the official line, but I think if you asked most people > at AdaCore today, they'd tell you that it was a mistake. But > mistakes like this one aren't really fixable, because of all > of the existing code that would be at risk of breaking if they > changed the default. I also view it was a mistake. I think there may have been an opportunity t= o correct it by making -gnato (overflow checking) implicit when the compile= r is in Ada 2012 mode. Then a new switch would be needed to turn it off. Th= is approach would have had little risk of breaking much existing code. - Britt