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,9adfbb907494972e
X-Google-Attributes: gid103376,public
X-Google-Thread: 1014db,9adfbb907494972e
X-Google-Attributes: gid1014db,public
From: William Clodius <wclodius@lanl.gov>
Subject: Re: Ada to C/C++ translator needed
Date: 1996/09/30
Message-ID: <324FE57C.41C6@lanl.gov>#1/1
X-Deja-AN: 186242795
references: <32499FA0.4B5E@magic.fr> <52e5t5$m28@btmpjg.god.bel.alcatel.be>
 <52feul$os2@goanna.cs.rmit.edu.au> <01bbad6e$67743f20$32ee6fcf@timhome2>
 <52ltk5$qlf@news1.halcyon.com> <01bbae25$67c669a0$32ee6fcf@timhome2>
 <dewar.844055713@schonberg> <01bbae8f$dffbd440$32ee6fcf@timhome2>
content-type: text/plain; charset=us-ascii
organization: Los Alamos National Lab
mime-version: 1.0
newsgroups: comp.lang.c,comp.lang.ada
x-mailer: Mozilla 2.0S (X11; I; IRIX 6.2 IP22)
Date: 1996-09-30T00:00:00+00:00
List-Id: <comp.lang.ada>


Tim Behrendsen wrote:
> 
> <snip>
> 
> I know that Ada does run-time checks of array bounds that C
> doesn't do; that could be one source of loss of performance.
> Does Ada do any other run-time checks that C doesn't do?
> 
> -- Tim Behrendsen (tim@a-sis.com)

I believe that the Ada standard requires that all compilers be able to
perform the equivalent of the runtime checks, but allows the compilers
to have a switch to turn off these checks. Most (all?) compilers contain
such a switch, and most (all?) compilers do sufficient static analysis
to usually eliminate the vast majority of checks even without the
switch.

-- 

William B. Clodius		Phone: (505)-665-9370
Los Alamos National Laboratory	Email: wclodius@lanl.gov
Los Alamos, NM 87545