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.236.43.168 with SMTP id l28mr1366305yhb.19.1386798548609; Wed, 11 Dec 2013 13:49:08 -0800 (PST) X-Received: by 10.182.138.66 with SMTP id qo2mr51723obb.8.1386798548403; Wed, 11 Dec 2013 13:49:08 -0800 (PST) Path: border1.nntp.dca3.giganews.com!backlog3.nntp.dca3.giganews.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!ie8no9380298qab.0!news-out.google.com!9ni7551qaf.0!nntp.google.com!p15no19949517qaj.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Wed, 11 Dec 2013 13:49:07 -0800 (PST) In-Reply-To: <43e724c6-31f5-4ea6-99b4-f7fd6800319a@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=75.161.11.227; posting-account=lJ3JNwoAAAAQfH3VV9vttJLkThaxtTfC NNTP-Posting-Host: 75.161.11.227 References: <52A8677C.7080804@obry.net> <43e724c6-31f5-4ea6-99b4-f7fd6800319a@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: Compiler Revisions Should go Out As Well as Going Up. From: Shark8 Injection-Date: Wed, 11 Dec 2013 21:49:08 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Original-Bytes: 2176 Xref: number.nntp.dca.giganews.com comp.lang.ada:184209 Date: 2013-12-11T13:49:07-08:00 List-Id: On Wednesday, December 11, 2013 8:56:38 AM UTC-7, adambe...@gmail.com wrote= : >=20 > Another somewhat similar issue comes up when a compiler incorrectly accep= ts illegal Ada code, and because of that, the customer gets their program w= orking with illegal Ada in it. Then they run into problems with newer vers= ions of the compiler that have the bug fixed. I've had to add a number of = "compatibility" options to our Ada compiler to get it to accept illegal cod= e that was incorrectly accepted by a 15-year-old version of the compiler. = (Or, sometimes, by some other vendor's compiler.) Yeah, it would have been good if GNAT had altered the defaults (at least in= Ada2012-mode) to support aspects by-default. (The use of many aspects is r= eliant on assertions being in CHECKED-mode, which isn't on by default.)