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,803df5f3f60558d5
X-Google-Attributes: gid103376,public
From: bobduff@world.std.com (Robert A Duff)
Subject: Re: Uninitialized "out" parameters
Date: 1996/07/23
Message-ID: <Dv0qo4.JoE@world.std.com>#1/1
X-Deja-AN: 170375924
references: <31EEACDA.64880EEB@sage.inel.gov>
 <4t3f1u$t0u@newsbf02.news.aol.com>
organization: The World Public Access UNIX, Brookline, MA
newsgroups: comp.lang.ada
Date: 1996-07-23T00:00:00+00:00
List-Id: <comp.lang.ada>


In article <4t3f1u$t0u@newsbf02.news.aol.com>,
John Herro <johnherro@aol.com> wrote:
>     I agree!  Perhaps Ada 0Y should test for reads of unititialized
>variables at run time by default; this could be turned off with a pragma.

I agree, too, but I think we can let the market decide, rather than
waiting for Ada 0Y.  Ada 95 compilers are allowed but not required to do
just that.  So, if customers really want it, one would hope that the
compiler vendors will do it.

Please don't remind me of the sad fact that the market doesn't always
decide rational things in the computer business...  ;-)

Also, remember that pragma Initialize_Scalars, or whatever it's called,
comes pretty close to this ideal.

- Bob