From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: a07f3367d7,c9d5fc258548b22a
X-Google-Attributes: gida07f3367d7,public,usenet
X-Google-NewGroupId: yes
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!postnews.google.com!y26g2000yqd.googlegroups.com!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: How do I write directly to a memory address?
Date: Tue, 8 Feb 2011 02:14:08 -0800 (PST)
Organization: http://groups.google.com
Message-ID: 
 <db60098c-2569-4efb-aa81-253ba53686b4@y26g2000yqd.googlegroups.com>
References: 
 <67063a5b-f588-45ea-bf22-ca4ba0196ee6@l11g2000yqb.googlegroups.com>
 <05a3673e-fb97-449c-94ed-1139eb085c32@x1g2000yqb.googlegroups.com>
 <iimmvm$tsp$1@news.eternal-september.org> <8r86vgFc3uU1@mid.individual.net>
 <iimrem$udn$1@news.eternal-september.org>
 <19fh1chm74f9.11cws0j5bckze.dlg@40tude.net>
 <fa33fca1-c95b-4558-8a4c-7b3276366ffc@m13g2000yqb.googlegroups.com>
 <4d4ff70e$0$6886$9b4e6d93@newsspool2.arcor-online.net>
 <737a6396-72bd-4a1e-8895-7d50f287960e@d28g2000yqc.googlegroups.com>
 <4d5008a5$0$6879$9b4e6d93@newsspool2.arcor-online.net>
 <eda00084-fcc3-416c-bd3e-8b9e9c1a4b40@o13g2000yql.googlegroups.com>
 <4d5031fe$0$6765$9b4e6d93@newsspool3.arcor-online.net>
 <1f229967-d3cf-42b6-8087-c97ee08652f3@i40g2000yqh.googlegroups.com>
 <4d51169e$0$7657$9b4e6d93@newsspool1.arcor-online.net>
NNTP-Posting-Host: 153.98.68.197
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
X-Trace: posting.google.com 1297160048 24680 127.0.0.1 (8 Feb 2011 10:14:08
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 8 Feb 2011 10:14:08 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: y26g2000yqd.googlegroups.com; posting-host=153.98.68.197;
 posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.0.6)
 Gecko/2009012111 Red Hat/3.0.6-1.el5 Firefox/3.0.6,gzip(gfe)
Xref: g2news1.google.com comp.lang.ada:16974
Date: 2011-02-08T02:14:08-08:00
List-Id: <comp.lang.ada>

Georg Bauhaus wrote:
> On 2/8/11 9:04 AM, Ludovic Brenta wrote:
>> =A0The thing you implemented "easily" had a bug.
>
> No. =A0Stupid programmers can easily misuse foo() just as
> Ada programmers can easily write violations of index
> constraints. =A0Hopefully, they write exception handlers.
> But wait. =A0If the handlers are just as smart as their
> use of indexing variables... Isn't their ambition flawed
> by a logical contradiction? =A0If the handlers are just
> as good as the checked indexing...

No. Stupid programmers use "int" when they really mean "positive", and
they don't even explain that to users of their APIs.  Not even in
comments.  Then they say bugs are every one else's fault but theirs.

--
Ludovic Brenta.