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-Thread: 103376,80435549e92d4e0c X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!news4.google.com!border1.nntp.dca.giganews.com!nntp.giganews.com!nx01.iad01.newshosting.com!newshosting.com!newsfeed.icl.net!newsfeed.fjserv.net!news.tele.dk!news.tele.dk!small.news.tele.dk!newspeer2.se.telia.net!se.telia.net!masternews.telia.net.!newsb.telia.net.POSTED!not-for-mail From: =?ISO-8859-1?Q?Bj=F6rn_Persson?= User-Agent: Mozilla Thunderbird 1.0.6-1.1.fc4 (X11/20050720) X-Accept-Language: en-us, en MIME-Version: 1.0 Newsgroups: comp.lang.ada Subject: Re: Charles container library usage examples References: <87mzmssqbq.fsf@ludovic-brenta.org> <4321a2e0_3@newsfeed.slurp.net> <43240c16$0$27555$9b4e6d93@newsread4.arcor-online.net> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit Message-ID: <7tJVe.33732$d5.188919@newsb.telia.net> Date: Tue, 13 Sep 2005 23:41:55 GMT NNTP-Posting-Host: 217.209.116.179 X-Complaints-To: abuse@telia.com X-Trace: newsb.telia.net 1126654915 217.209.116.179 (Wed, 14 Sep 2005 01:41:55 CEST) NNTP-Posting-Date: Wed, 14 Sep 2005 01:41:55 CEST Organization: Telia Internet Xref: g2news1.google.com comp.lang.ada:4640 Date: 2005-09-13T23:41:55+00:00 List-Id: David Trudgett wrote: > Georg Bauhaus writes: >>This code isn't necessarily visible to the C compiler as checking >>code, I 'd say, whereas checks implied by the Ada language are >>visible to the compiler in this sense. > > I'm not sure what the point is here. What does being "visible" to the > compiler mean in that sense? Is that more important than the simple > fact of being present (because the Ada compiler ensures it is)? The Ada compiler can omit checks if it can prove that they will never fail. While even the C compiler can optimize away code that will never have any effect, I would think it's a lot more difficult to prove that a hand-coded run-time check is unnecessary when the compiler doesn't know what it's for. -- Bj�rn Persson PGP key A88682FD omb jor ers @sv ge. r o.b n.p son eri nu