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.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,c1131ea1fcd630a
X-Google-Attributes: gid103376,public
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: To Initialise or not
Date: 1996/05/11
Message-ID: <Dr7trv.MJF@world.std.com>#1/1
X-Deja-AN: 154215466
references: <31937B57.5B0@lmtas.lmco.com> <4n0lqa$9dt@butch.lmsc.lockheed.com>
organization: The World Public Access UNIX, Brookline, MA
newsgroups: comp.lang.ada
Date: 1996-05-11T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <4n0lqa$9dt@butch.lmsc.lockheed.com>,
David Kristola <davidk@os1.ese.lmsc.lockheed.com> wrote:
>      if Pointer = Bad_Reference then
>         ...
>      elsif Pointer = null then
>
>In Ada95, you can even have Bad_Reference pointing to a static object.

Sure, but the point is to avoid *accidental* use of a bad reference.
If I write "X := Y;", and Y is Bad_Reference, I won't get any exception.
But I would like to.

- Bob