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,28cd155693714664
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-06-23 02:13:33 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!mango.news.easynet.net!easynet.net!easynet-post1!not-for-mail
Organization: Linux Unlimited
From: Matthew Woodcraft <mattheww@chiark.greenend.org.uk>
Newsgroups: comp.lang.ada
Subject: Re: Faulty languages and Liability
References: <mailman.1024283823.12299.comp.lang.ada@ada.eu.org>
 <3dk*NGnrp@news.chiark.greenend.org.uk>
 <wccelf05m1z.fsf@shell01.TheWorld.com>
 <%rcR8.6726$cE5.5860@nwrddc02.gnilink.net>
Originator: mattheww@chiark.greenend.org.uk ([212.135.138.206])
Date: 23 Jun 2002 10:13:30 +0100 (BST)
Message-ID: <ohA*orwrp@news.chiark.greenend.org.uk>
NNTP-Posting-Host: 212.135..news.easynet.co.uk
X-Trace: DXC=KdfmM\GE[fLXCJEXf1bC6B\0F8Qd[dGL@GL71[^QKc3LaWei;0FT]hN
Xref: archiver1.google.com comp.lang.ada:26620
Date: 2002-06-23T10:13:30+01:00
List-Id: <comp.lang.ada>

In article <%rcR8.6726$cE5.5860@nwrddc02.gnilink.net>,
Hyman Rosen  <hyrosen@mail.com> wrote:
>Robert A Duff wrote:
>> Yes.  Also, you can't make a pointer to a stack variable (or component,
>> etc) without explicitly declaring it "aliased".
>
>That is only a notational device to inform the reader of the code.

Only in the same sense as any other compile-time check is. Are you
counting the compiler as a reader of the code?


>Notice that in both C and C++ it is illeall to cast away constness
>from an actual const object. You may only do it to something which
>is "accidentally" const because of parameter passing or references.

Illegal as in 'the compiler will complain if you do it', or illegal as
in 'random breakage at runtime'?

-M-