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-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,71171f53c22d92b5
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-11-13 13:04:12 PST
Path: 
 archiver1.google.com!news2.google.com!news.maxwell.syr.edu!newshosting.com!news-xfer2.atl.newshosting.com!216.166.71.118.MISMATCH!small1.nntp.aus1.giganews.com!border1.nntp.aus1.giganews.com!intern1.nntp.aus1.giganews.com!nntp.giganews.com!nntp.clear.net.nz!news.clear.net.nz.POSTED!not-for-mail
NNTP-Posting-Date: Thu, 13 Nov 2003 15:04:10 -0600
From: Craig Carey <research@ijs.co.nz>
Newsgroups: comp.lang.ada
Subject: Re: C's trikery semantic opens up backdoor in new Linux kernel
Date: Fri, 14 Nov 2003 10:04:02 +1300
Message-ID: <tkr7rvsch7eap70k2jummg4vqf80rposfg@4ax.com>
References: <3FB1A63C.9080200@nowhere.com>
 <mailman.328.1068623355.25614.comp.lang.ada@ada-france.org>
 <bot7vd$1gtgp4$1@ID-175126.news.uni-berlin.de>
 <mailman.332.1068645284.25614.comp.lang.ada@ada-france.org>
 <botf2c$1i2eq5$1@ID-175126.news.uni-berlin.de>
X-Newsreader: Forte Agent 1.93/32.576 English (American)
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Organization: Customer of Mercury Telecommunications Ltd
Cache-Post-Path: drone5.qsi.net.nz!unknown@tnt1-184.quicksilver.net.nz
X-Cache: nntpcache 2.4.0b5 (see http://www.nntpcache.org/)
X-Original-NNTP-Posting-Host: drone5-svc-skyt.qsi.net.nz
X-Original-Trace: 14 Nov 2003 10:04:26 +1300, drone5-svc-skyt.qsi.net.nz
NNTP-Posting-Host: 203.97.37.6
X-Trace: 
 sv3-9NB8j+2z/Kp1XqSd1HT+ssiSwWODBQV5J7H34F2KD2yb2haJXfKEG1MiUcfeWp4RYECVoNfL0L0IFxa!oImODGd4oKuqm5T8xrKbloft6sLM6AumLz7Oe92/zadZp1tnQHtzDbjYcYHKtlGUqmfpMK72dQtz!577iyU4=
X-Complaints-To: Complaints to abuse@clear.net.nz
X-DMCA-Complaints-To: Complaints to abuse@clear.net.nz
X-Abuse-and-DMCA-Info: Please be sure to forward a copy of ALL headers
X-Abuse-and-DMCA-Info: Otherwise we will be unable to process your complaint
 properly
X-Postfilter: 1.1
Xref: archiver1.google.com comp.lang.ada:2461
Date: 2003-11-14T10:04:02+13:00
List-Id: <comp.lang.ada>

On Wed, 12 Nov 2003 15:09:52 +0100, Vinzent 'Gadget' Hoefler wrote:
...
>Duncan Sands wrote:
...
>>> constant value you should always state the constant first:
>>> |if ((__WCLONE|__WALL) == options) && (0 = current->uid))
>>>
>>> wouldn't compile, either.

...
>No. And you? Do you really think that the linux kernel community would
>like the idea of using a *function* to get/set a plain simple integer
>variable? I already hear them scream: "It would be too inefficient.
>Especially in a *kernel*!" ;-)

Ada 95 could be enhanced so that specified record fields could be
read-only. Some one could perhaps produce data showing that it is needed
or else it may not appear.

De-referenced pointers can identify read-only data
  "type Ptr is access constant X;".
Then Ada 95 lacks a limited pointer type, and also a pointer that can
be assigned but which lacks a "=" equality operator.