From: William Clodius <wclodius@lanl.gov>
Subject: Re: Ada to C/C++ translator needed
Date: 1996/09/30
Date: 1996-09-30T00:00:00+00:00 [thread overview]
Message-ID: <324FE57C.41C6@lanl.gov> (raw)
In-Reply-To: 01bbae8f$dffbd440$32ee6fcf@timhome2
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
next prev parent reply other threads:[~1996-09-30 0:00 UTC|newest]
Thread overview: 46+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-09-25 0:00 Ada to C/C++ translator needed Emmanuel Champommier
1996-09-25 0:00 ` David Weller
1996-10-02 0:00 ` B|rje Norden
1996-10-04 0:00 ` David Weller
1996-10-05 0:00 ` Robert Dewar
1996-10-05 0:00 ` Frank Manning
1996-10-06 0:00 ` Samuel Tardieu
1996-10-07 0:00 ` Richard Kenner
1996-10-07 0:00 ` Robert Dewar
1996-10-08 0:00 ` Stephen Leake
1996-10-07 0:00 ` Robert Dewar
1996-10-08 0:00 ` Frank Manning
1996-10-07 0:00 ` Erik Magnuson
1996-09-26 0:00 ` Ian Ward
1996-10-02 0:00 ` Jon S Anthony
1996-10-02 0:00 ` Jon S Anthony
[not found] ` <52feul$os2@goanna.cs.rmit.edu.au>
1996-09-28 0:00 ` Tim Behrendsen
1996-09-29 0:00 ` Ken Pizzini
1996-09-29 0:00 ` Tim Behrendsen
1996-09-29 0:00 ` Robert Dewar
1996-09-30 0:00 ` Tim Behrendsen
1996-09-30 0:00 ` Matthew Heaney
1996-09-30 0:00 ` Tim Behrendsen
1996-09-30 0:00 ` William Clodius [this message]
1996-10-01 0:00 ` Richard A. O'Keefe
1996-09-30 0:00 ` Richard A. O'Keefe
1996-09-30 0:00 ` Tim Behrendsen
1996-09-30 0:00 ` Richard A. O'Keefe
1996-09-30 0:00 ` Peter Seebach
1996-10-02 0:00 ` Richard A. O'Keefe
1996-10-05 0:00 ` Lawrence Kirby
1996-09-30 0:00 ` Tim Behrendsen
1996-09-30 0:00 ` Peter Seebach
1996-09-30 0:00 ` Tim Behrendsen
1996-10-01 0:00 ` Richard A. O'Keefe
1996-10-01 0:00 ` Tim Behrendsen
1996-10-02 0:00 ` Ian Ward
1996-10-02 0:00 ` Tim Behrendsen
1996-10-06 0:00 ` Tanmoy Bhattacharya
1996-10-06 0:00 ` Lawrence Kirby
1996-10-08 0:00 ` Peter Seebach
1996-10-07 0:00 ` Tanmoy Bhattacharya
-- strict thread matches above, loose matches on Subject: below --
1996-10-02 0:00 Simon Johnston
1996-10-07 0:00 ` Richard Riehle
1996-10-09 0:00 ` Richard A. O'Keefe
1996-10-15 0:00 ` Tucker Taft
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox