comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Is it possible to build an Ada cross-compiler for an 8-bit embedded target now that gcc 3.X has support for Ada?
Date: Tue, 18 Nov 2003 14:17:47 -0600
Date: 2003-11-18T14:17:47-06:00	[thread overview]
Message-ID: <vrkvm963glk1d4@corp.supernews.com> (raw)
In-Reply-To: uptfp3bpu.fsf@nasa.gov

"Stephen Leake" <Stephe.Leake@nasa.gov> wrote in message
news:uptfp3bpu.fsf@nasa.gov...
> Note that the "no runtime" subset of Ada is still a _far_ better
> language than C. So it is worth persuing, since you already have the
> code-generation part in the gcc back end. The result won't be "Ada",
> but it will be a very useful subset.
>
> GNAT provides a "pragma No_Runtime", which reports errors for any code
> that would use the runtime, so you can tell when you need to change
> the code.

I'm a bit suspicious of this claim, mainly because you'd have to run with
checks suppressed in order to avoid use of the runtime. (Handling/reporting
any failure, even to abort the program, would require some sort of runtime.
Just stopping the program with no indication of why doesn't need any
runtime, but its just as useful as running with checks suppressed.) Runtime
checking is a very important part of Ada, (and one which doesn't add much
overhead in general), and running without it would seem to be writing C with
Ada syntax. After all, it's basic exception handling that makes Ada programs
so bullet-proof. (The AdaIC webserver has yet to log any downtime related to
the program itself - all downtime has been hardware or OS failures.)

                          Randy.






  reply	other threads:[~2003-11-18 20:17 UTC|newest]

Thread overview: 13+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-11-13 19:50 Is it possible to build an Ada cross-compiler for an 8-bit embedded target now that gcc 3.X has support for Ada? Peter Milliken
2003-11-13 21:02 ` Peter Milliken
2003-11-14  9:53 ` Peter Amey
2003-11-14 18:59   ` Mike Silva
2003-11-14 19:52     ` Martin Dowie
2003-11-17 21:57 ` Randy Brukardt
2003-11-18 16:03   ` Stephen Leake
2003-11-18 20:17     ` Randy Brukardt [this message]
2003-11-18 22:10       ` Stephen Leake
2003-11-19 20:12         ` Randy Brukardt
2003-11-19 22:23           ` Chad R. Meiners
2003-11-18 19:55   ` Peter Milliken
2003-11-18 20:11     ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox