From: Tucker Taft <stt@averstar.com>
Subject: Re: Compilers for VAX Was: Ada version of C's 'static'
Date: 1999/08/09
Date: 1999-08-09T00:00:00+00:00 [thread overview]
Message-ID: <37AF1F9C.8BA13C43@averstar.com> (raw)
In-Reply-To: 7on41u$3rf@dfw-ixnews19.ix.netcom.com
Richard D Riehle wrote:
>
> In article <wcc672p6pqt.fsf@world.std.com>,
> Robert A Duff <bobduff@world.std.com> wrote:
>
> ... deleted a bunch of stuff ...
>
> > ... The main point of having a C-generating Ada
> >compiler is to make it easy to port -- but it's not zero work.
>
> Not easy. Not necessarily safe. I just discovered that another
> favorite language that emits intermediate C code fails to detect
> the famous C "integer overflow" problem at run-time.
Our compiler correctly handles integer overflow, despite the
fact that it is generating ANSI-C. And Richard is correct
that this is not trivial to get right and/or efficient. We added
optimizations into our front end to minimize the amount of extra
code generated to handle overflow properly.
> ... Even though
> C is sometimes thought of as a "universal assembler" suitable for
> "C Pass" compilers, one needs to ensure that the rigorous demands
> of Ada are still satisfied. I guess conformance (ACVC) tests are
> still useful. Yes, Dr. Dewar, I realize that conformance testing
> is not completely reliable, but it is better than a ... (fill in
> your favorite metaphor).
>
> Richard Riehle
> richard@adaworks.com
> http://www.adaworks.com
>
--
-Tucker Taft stt@averstar.com http://www.averstar.com/~stt/
Technical Director, Distributed IT Solutions (www.averstar.com/tools)
AverStar (formerly Intermetrics, Inc.) Burlington, MA USA
next prev parent reply other threads:[~1999-08-09 0:00 UTC|newest]
Thread overview: 27+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-07-19 0:00 Ada version of C's 'static' Craig Allen
1999-07-19 0:00 ` David Botton
1999-07-20 0:00 ` Simon Wright
1999-07-23 0:00 ` Tucker Taft
1999-07-30 0:00 ` Craig Allen
1999-08-03 0:00 ` Compilers for VAX Was: " Erdelyi Gaspar
1999-08-03 0:00 ` Larry Kilgallen
1999-08-04 0:00 ` Robert Dewar
1999-08-04 0:00 ` Rod Chapman
1999-08-04 0:00 ` Larry Kilgallen
1999-08-04 0:00 ` Marin David Condic
1999-08-04 0:00 ` Robert Dewar
1999-08-04 0:00 ` Larry Kilgallen
1999-08-04 0:00 ` Robert Dewar
1999-08-04 0:00 ` Robert Dewar
1999-08-04 0:00 ` Chris Miller
1999-08-05 0:00 ` Robert Dewar
1999-08-04 0:00 ` Steve Doiel
1999-08-05 0:00 ` Robert Dewar
1999-08-05 0:00 ` Larry Kilgallen
1999-08-06 0:00 ` Robert A Duff
1999-08-06 0:00 ` Larry Kilgallen
1999-08-09 0:00 ` Robert A Duff
1999-08-09 0:00 ` Richard D Riehle
1999-08-09 0:00 ` Tucker Taft [this message]
1999-08-10 0:00 ` Robert A Duff
1999-08-08 0:00 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox