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=ham autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,5265ce03ee8f5252 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2001-01-07 08:27:36 PST Path: supernews.google.com!sn-xit-02!supernews.com!news.gv.tsc.tdk.com!falcon.america.net!sunqbc.risq.qc.ca!isdnet!grolier!club-internet!not-for-mail From: Laurent Guerby Newsgroups: comp.lang.ada Subject: Re: Ok sorry, it is just a book gives no feedback. Date: 07 Jan 2001 17:25:49 +0100 Organization: Club-Internet (France) Message-ID: <86puhzuy5u.fsf@acm.org> References: <931r2l$4ai5t$2@ID-25716.news.dfncis.de> <931t08$5u5$1@nnrp1.deja.com> <932632$e0e$1@nnrp1.deja.com> <932an8$ijs$1@nnrp1.deja.com> <93421h$2ju$1@nnrp1.deja.com> <934j5c$eu9$1@nnrp1.deja.com> <86hf3c5ure.fsf@acm.org> <937vl0$5gs$1@nnrp1.deja.com> <86snmvv79k.fsf@acm.org> <93a3k8$m08$1@nnrp1.deja.com> NNTP-Posting-Host: nas25-126.vlt.club-internet.fr X-Trace: front4m.grolier.fr 978884395 8983 195.36.224.126 (7 Jan 2001 16:19:55 GMT) NNTP-Posting-Date: 7 Jan 2001 16:19:55 GMT X-Newsreader: Gnus v5.7/Emacs 20.5 Xref: supernews.google.com comp.lang.ada:3753 Date: 2001-01-07T16:19:55+00:00 List-Id: Robert Dewar writes: > Actually you can find uses of this in the GNAT run-time going > way back, and indeed it is much older than that, since DEC > Ada 83 always supported this capability, and the DEC test suite > contains a number of tests that use this capability to bypass > compiler checking that would defeat the test purpose (related > to the optimization point that LG made). I doubt the DEC Ada 83 compiler used this trick to bypass "pragma Pure" since it is an Ada 95 extension. I cannot comment on the use in the GNAT runtime (was this to bypass Pure?). The general trick of using export/import of symbols to bypass compiler sanity checking surely predates all that stuff, that's a part of K&R C ;-). > Laurent Guerby wrote: > > In the "break everything" area you also have stream based code which > > does all sorts of "unchecked" stuff without having "unchecked" in > > its name (well it's obvious, but it breaks the "grep Unchecked" rule > > ;-). > But that's really no different from Sequential_IO ... True (except for the grep "IO" thing ;-). -- Laurent Guerby