comp.lang.ada
 help / color / mirror / Atom feed
From: Keith Thompson <kst@cts.com>
Subject: Re: Does a null pointer always raise Constraint_Error?
Date: 12 Dec 2000 12:27:46 -0800
Date: 2000-12-12T12:27:46-08:00	[thread overview]
Message-ID: <yec1yvdtmf1.fsf@king.cts.com> (raw)
In-Reply-To: 3A36511D.973D82BD@nowhere.com

Wayne Magor <none@nowhere.com> writes:
[...]
> I remember with one Ada compiler I wanted to make null to be a
> pointer to a zero-length segment so the null check would be
> unnecessary (the hardware would do it for you).

Would a zero-length segment be a good way to represent a zero-size
object?  If so, a pointer to a zero-length segment might be valid.

-- 
Keith Thompson (The_Other_Keith) kst@cts.com  <http://www.ghoti.net/~kst>
San Diego Supercomputer Center           <*>  <http://www.sdsc.edu/~kst>
Welcome to the last year of the 20th century.



  reply	other threads:[~2000-12-12 20:27 UTC|newest]

Thread overview: 17+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <Pine.LNX.4.10.10011301306120.793-100000@lexis.di.fct.unl.pt>
     [not found] ` <tgzoihpon4.fsf@mercury.rus.uni-stuttgart.de>
     [not found]   ` <9074fi$93b$1@nnrp1.deja.com>
     [not found]     ` <3A3253B1.AD8F32CF@ebox.tninet.se>
     [not found]       ` <90u1vi$uah$1@nnrp1.deja.com>
     [not found]         ` <90ukfm$c4p$1@nnrp1.deja.com>
2000-12-12 16:23           ` Does a null pointer always raise Constraint_Error? Wayne Magor
2000-12-12 20:27             ` Keith Thompson [this message]
2000-12-13  0:46               ` Robert Dewar
2000-12-13  8:58                 ` Lutz Donnerhacke
2000-12-13 13:56                   ` Ken Garlington
2000-12-13 14:25                     ` Lutz Donnerhacke
2000-12-13 14:58                       ` Florian Weimer
2000-12-13 15:17                         ` Lutz Donnerhacke
2000-12-13 15:40                         ` Robert Dewar
2000-12-13 20:07                           ` Florian Weimer
2000-12-14 13:08                             ` Robert Dewar
2000-12-14 14:29                               ` Ken Garlington
2000-12-15  1:45                                 ` Robert Dewar
2000-12-13 15:37                       ` Robert Dewar
2000-12-12 20:31             ` Keith Thompson
2000-12-13 19:58               ` Florian Weimer
2000-12-13  0:43             ` Robert Dewar
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox