Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!uunet!seismo!husc6!cmcl2!brl-adm!brl-smoke!gwyn
From: gwyn@brl-smoke.ARPA (Doug Gwyn )
Newsgroups: comp.lang.c
Subject: Re: Distinguished pointers (was Re: Weird syscall returns)
Message-ID: <6251@brl-smoke.ARPA>
Date: Sat, 8-Aug-87 08:25:24 EDT
Article-I.D.: brl-smok.6251
Posted: Sat Aug  8 08:25:24 1987
Date-Received: Sun, 9-Aug-87 11:06:48 EDT
References: <1437@cullvax.UUCP>
Reply-To: gwyn@brl.arpa (Doug Gwyn (VLD/VMB) <gwyn>)
Organization: Ballistic Research Lab (BRL), APG, MD.
Lines: 7

In article <1437@cullvax.UUCP> drw@cullvax.UUCP (Dale Worley) writes:
>This statement leaves a really nasty ambiguity:  If two pointers
>compare *unequal*, then do they *not* point to the same thing?  ...

This is essentially the "aliasing" problem, which was addressed at
the June X3J11 meeting.  See my previous summary from that meeting
(posted yesterday) for the current rules.