From: Robert A Duff <bobduff@shell01.TheWorld.com>
Subject: Re: Differences between Ada 83 and other revisions
Date: Wed, 19 Feb 2014 17:58:05 -0500
Date: 2014-02-19T17:58:05-05:00 [thread overview]
Message-ID: <wccvbwa3e2q.fsf@shell01.TheWorld.com> (raw)
In-Reply-To: f65461e8-c08d-4b14-aa5d-d22cacccd71a@googlegroups.com
adambeneschan@gmail.com writes:
> On Wednesday, February 19, 2014 2:09:31 PM UTC-8, Robert A Duff wrote:
>
>> (C is far worse in that regard!)
>
> It's actually very easy to list all the unsafe features of C.
>
> 1) C
;-)
Yeah, I guess that's one way to look at it. In C, array indexing,
addition, multiplication, and many other commonly-used features
are all unsafe. In the original K&R C, even function calls were
unsafe, but fortunately they (mostly) fixed that.
To be fair, pointer dereferencing is unsafe in both Ada and C,
so the feature I was asking for ("find all usage of unsafe features")
wouldn't work very well even in Ada -- too many false alarms.
Pointer dereferencing could be made safe.
- Bob
next prev parent reply other threads:[~2014-02-19 22:58 UTC|newest]
Thread overview: 25+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-02-13 15:59 Differences between Ada 83 and other revisions yoursurrogategod
2014-02-13 16:12 ` adambeneschan
2014-02-13 18:00 ` yoursurrogategod
2014-02-13 18:07 ` AdaMagica
2014-02-13 19:44 ` Niklas Holsti
2014-02-13 21:25 ` yoursurrogategod
2014-02-13 22:00 ` Niklas Holsti
2014-02-13 22:18 ` adambeneschan
2014-02-14 13:18 ` yoursurrogategod
2014-02-14 13:53 ` AdaMagica
2014-02-14 14:06 ` Jacob Sparre Andersen
2014-02-14 16:47 ` adambeneschan
2014-02-14 14:08 ` Robert A Duff
2014-02-16 9:36 ` Martin
2014-02-16 14:13 ` Robert A Duff
2014-02-16 15:58 ` J-P. Rosen
2014-02-19 22:09 ` Robert A Duff
2014-02-19 22:23 ` J-P. Rosen
2014-02-19 22:37 ` Robert A Duff
2014-04-19 8:59 ` Jacob Sparre Andersen
2014-02-19 22:34 ` adambeneschan
2014-02-19 22:58 ` Robert A Duff [this message]
2014-02-13 21:28 ` yoursurrogategod
2014-02-13 23:31 ` Randy Brukardt
2014-02-20 10:30 ` john
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox