Path: utzoo!attcan!lsuc!sq!msb
From: msb@sq.sq.com (Mark Brader)
Newsgroups: comp.std.c
Subject: Re: Out-of-bounds pointers
Summary: implementation is allowed to initialize uninitialized autos
Message-ID: <1989Oct9.213050.21821@sq.sq.com>
Date: 9 Oct 89 21:30:50 GMT
References: <1009@mtxinu.UUCP> <12570028@hpclwjm.HP.COM> <868@crdos1.crd.ge.COM>
Reply-To: msb@sq.com (Mark Brader)
Organization: SoftQuad Inc., Toronto
Lines: 16

> > It's not even "legal" to compute an invalid address, whether or not
> > it is dereferenced.
> ... if you are allowed to declare an auto pointer at all
> then obviously the hardware supports uninitialized pointers ...

No; the implementation could elect to initialize everything, say to a null
pointer, as part of the action of bringing the variable into existence in
addressable space.  (And remember, a null pointer could be implemented as
a pointer to a particular anonymous object somewhere.)

-- 
Mark Brader			"You have a truly warped mind.
SoftQuad Inc., Toronto	         I admire that in a person."
utzoo!sq!msb, msb@sq.com				-- Bill Davidsen

This article is in the public domain.