From -1974671100737579650
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: f78e5,e94695845965b249
X-Google-Attributes: gidf78e5,public
X-Google-ArrivalTime: 1992-12-09 11:37:12 PST
Newsgroups: comp.std.c++
Path: sparky!uunet!stanford.edu!lucid.com!lucid.com!jss
From: jss@lucid.com (Jerry Schwarz)
Subject: Re: Zero-length structures and pointer comparisons
Message-ID: <1992Dec9.191606.5665@lucid.com>
Sender: usenet@lucid.com
Reply-To: jss@lucid.com (Jerry Schwarz)
Organization: Lucid, Inc.
References: <1992Dec2.111003.23102@jyu.fi> <1992Dec2.205330.10372@meaddata.com> <1992Dec4.070720.13056@lth.se> <1992Dec07.222242.18703@microsoft.com> <1992Dec8.103218.27689@lth.se> <9234423.15066@mulga.cs.mu.OZ.AU> <1992Dec9.133956.29659@lth.se>
Date: Wed, 9 Dec 92 19:16:06 GMT
Lines: 14

In article <1992Dec9.133956.29659@lth.se>, dag@seldon.control.lth.se (Dag Bruck) w|> 
|> Suggested semantics: for any pointers p and q:
|> 
|> 	p == q   <=>   ptrcmp(p,q) == 0
|> 
|> 	p != q   <=>   ptrcmp(p,q) != 0
|> 
|> 	ptrcmp(p,q) < 0   <=>   ptrcmp(q,p) > 0

And

	if p < q is defined,  ptrcmp(p,q) < 0   <=>  p < q 

      -- Jerry Schwarz