Re: C's trikery semantic opens up backdoor in new Linux kernel

[Craig Carey <research@ijs.co.nz>]

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.