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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c615e41a65104004
X-Google-Attributes: gid103376,public
From: "Pat Rogers" <progers@acm.org>
Subject: Re: Ariane 5 failure (Was: Size code Ada and C)
Date: 1998/07/10
Message-ID: <6o5iev$akg$1@uuneo.neosoft.com>#1/1
X-Deja-AN: 370250457
References: <6navqt$shc$1@goanna.cs.rmit.edu.au>
 <slrn6q55i9.7j.pfk@schnecke.offl.uni-jena.de>
 <slrn6q9dnh.9o.pfk@schnecke.offl.uni-jena.de>
 <6o3sid$qn9$1@goanna.cs.rmit.edu.au> <6o4is0$ji5@gcsin3.geccs.gecm.com>
X-MimeOLE: Produced By Microsoft MimeOLE V4.72.2106.4
Organization: NeoSoft, Inc.  
Newsgroups: comp.lang.ada
Date: 1998-07-10T00:00:00+00:00
List-Id: <comp.lang.ada>

John McCabe wrote in message <6o4is0$ji5@gcsin3.geccs.gecm.com>...

<snip>
>
>Also you have the freedom in C to put in your own checks. Certainly Ada
>is easier as it puts them in automatically for you, and will leave them
>out for you if you ask it to, but I would not agree with the suggestion
>that this functionality gives you *more freedom* than C.
>
>(Not that I think C is better of course :-)


Certainly an advantage for language-defined checks is the potential for
optimization that is not possible for hand-coded checks.  For example, if we
code explicit index checks in some language, say in some C++ class, the
compiler cannot remove the check  even when a given index value does not
violate the bounds (i.e. the index value is static).  No problem for an Ada
compiler.