comp.lang.ada
 help / color / mirror / Atom feed
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

  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